Title Gödel's incompleteness theorems / Raymond M. Smullyan

Published New York : Oxford University Press, 1992

Click on the following:
EBSCO eBooks

Copies

Description 1 online resource (xiii, 139 pages) Series Oxford logic guides ; 19 Oxford logic guides ; 19. Contents I: The General Idea Behind Gödel's Proof; II: Tarski's Theorem for Arithmetic; III: The Incompleteness of Peano Arithmetic With Exponentiation; IV: Arithmetic Without the Exponential; V: Gödel's Proof Based on?-Consistency; VI: Rosser Systems; VII: Shepherdson's Representation Theorems; VIII: Definablity and Diagonalization; IX: The Unprovability of Consistency; X: Some General Remarks on Provability and Truth; XI: Self-Referential Systems; References; Index Summary An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice Analysis Mathematical logic Bibliography Includes bibliographical references and index Notes English Print version record Subject Gödel's theorem. Logic, Symbolic and mathematical. Incompleteness theorems. MATHEMATICS -- Infinity. MATHEMATICS -- Logic. Incompleteness theorems Gödel's theorem Logic, Symbolic and mathematical Gödelscher Unvollständigkeitssatz Onvolledigheidsstelling. Gödel, théorème de. Form Electronic book ISBN 1423735196 9781423735199 160129641X 9781601296412 9780195046724 0195046722 1280439823 9781280439827 9786610439829 6610439826 0195364376 9780195364378

  Permalink