Description |
1 online resource (xiii, 139 pages). |
Physical Medium |
polychrome |
Description |
text file |
Series |
Oxford logic guides ; 19
|
|
Oxford logic guides ; 19.
|
Bibliography |
Includes bibliographical references and index. |
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. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Gödel's theorem.
|
|
Gödel's theorem. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
Indexed Term |
Mathematical logic |
Genre/Form |
Electronic books.
|
Other Form: |
Print version: Smullyan, Raymond M. Gödel's incompleteness theorems. New York : Oxford University Press, 1992 (DLC) 92016377 |
ISBN |
1423735196 (electronic book) |
|
9781423735199 (electronic book) |
|
160129641X |
|
9781601296412 |
|
9780195046724 (acid-free paper) |
|
0195046722 (acid-free paper) |
|
0195046722 (acid-free paper) |
|