TY - BOOK ID - 77865593 TI - Gödel's incompleteness theorems PY - 1992 SN - 0197560032 1280439823 9786610439829 1423735196 0195364376 160129641X 9781423735199 9781601296412 9780195046724 0195046722 0195046722 9781280439827 6610439826 9780195364378 0190281448 PB - New York Oxford University Press DB - UniCat KW - GoÌdel's theorem. KW - Gödel's theorem. KW - Gödel, Kurt. KW - Gödel's incompleteness theorem KW - Undecidable theories KW - Arithmetic KW - Completeness theorem KW - Incompleteness theorems KW - Logic, Symbolic and mathematical KW - Number theory KW - Decidability (Mathematical logic) KW - Foundations KW - Gkentel, Kourt KW - גדל UR - https://www.unicat.be/uniCat?func=search&query=sysid:77865593 AB - Kurt GoÌdel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently 'undecidable.' His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of GoÌdel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the text will appeal to mathematicians, philosophers, and computer scientists. ER -