Godel's theorem :
Moore, A. W.
Godel's theorem : a very short introduction by A. W. Moore - New York : Oxford University Press, ©2022 - xx, 128 p. : ill. ; 18 cm. - Very short introductions ; 718 .
This book includes bibliographical references and an index.
1. What is Gödel's theorem? 2. Axiomatization: its appeal and demands 3. Historical background 4. The key concepts involved in Gödel's theorem 5. The diagonal proof of Gödel's theorem 6. A second proof of Gödel's theorem, and a proof of Gödel's second theorem 7. Hilbert's programme, the human mind, and computers 8. Making sense in and of mathematics
9780192847850
Gödel's theorem
510 / MOO-G
Godel's theorem : a very short introduction by A. W. Moore - New York : Oxford University Press, ©2022 - xx, 128 p. : ill. ; 18 cm. - Very short introductions ; 718 .
This book includes bibliographical references and an index.
1. What is Gödel's theorem? 2. Axiomatization: its appeal and demands 3. Historical background 4. The key concepts involved in Gödel's theorem 5. The diagonal proof of Gödel's theorem 6. A second proof of Gödel's theorem, and a proof of Gödel's second theorem 7. Hilbert's programme, the human mind, and computers 8. Making sense in and of mathematics
9780192847850
Gödel's theorem
510 / MOO-G