A guidebook for reading G???del Kurt G???del's 1931 article on incompleteness revealed some unexpected limitations in systems for proving theorems from axioms. Today we call these results G???del's Incompleteness Theorems. The Annotated G???del is a book for people who want to read G???del's article for themselves. It includes the complete article in a new English translation, broken into more than a hundred pieces and interleaved with commentary explaining each piece, step by step. The translation uses modern ...
Read More
A guidebook for reading G???del Kurt G???del's 1931 article on incompleteness revealed some unexpected limitations in systems for proving theorems from axioms. Today we call these results G???del's Incompleteness Theorems. The Annotated G???del is a book for people who want to read G???del's article for themselves. It includes the complete article in a new English translation, broken into more than a hundred pieces and interleaved with commentary explaining each piece, step by step. The translation uses modern mathematical notation and terminology. It replaces G???del's German-based function names with English equivalents. Its language is less formal than that of the earlier translations, which date from the 1960s. The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.
Read Less
Add this copy of The Annotated Gödel: A Reader's Guide to his Classic to cart. £13.84, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2022 by Homebred Press.
Add this copy of The Annotated Gödel: A Reader's Guide to his Classic to cart. £20.83, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2022 by Homebred Press.
