Godel's theorem : a very short introduction
- Oxford : Oxford University Press, 2022
- xx, 128 p.; ill., 18 cm
Includes bibliographical references and index.
When Kurt Goedel published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth concerning arithmetic, it had a profound impact on mathematical ideas and philosophical thought. Adrian Moore places the theorem in its intellectual and historical context, explaining the key concepts and misunderstandings.
9780192847850
Philosophy Mathematics Axiomatization Computers Decidability Euclid Formal languages Geometry Hillbert,David Logical consequence Mathematical truth Numerical-proof Russell,Bertrand Soundness