Abstract
One of the highlights of modern logic is Gödel’s incompleteness theorem. It tells us that, e.g. formal arithmetic is incomplete, i.e. there is a statement φ such that neither φ nor ¬φ. can be proved. It put an end to Hilbert’s optimistic claim that (at least) Peano’s axiom system would prove all its true statements. The proof of Gödel’s theorem makes extensive use of the theory of computable (or recursive) functions. There is a self-contained elegant presentation of the required parts of recursion theory. The basic trick is the arithmetization of formal theories, in particular arithmetic that can treat (coded versions of) statements inside its theory. The arithmetization is carried out for Gentzen’s natural deduction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
P. Hinman. Recursion-Theoretic Hierarchies. Springer, Berlin, 1978
C. Smoryński. Logical Number Theory I. Springer, Berlin, 1991 (volume 2 is forthcoming)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this chapter
Cite this chapter
van Dalen, D. (2013). Gödel’s Theorem. In: Logic and Structure. Universitext. Springer, London. https://doi.org/10.1007/978-1-4471-4558-5_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4558-5_8
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4557-8
Online ISBN: 978-1-4471-4558-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)