𝔖 Scriptorium
✦   LIBER   ✦
📁

Gödel's incompleteness theorems

✍ Scribed by Smullyan, Raymond M

Publisher
Oxford University Press
Year
1992
Tongue
English
Leaves
156
Series
Oxford logic guide 19
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

  1. The general idea behind Godel's proof
    2. Tarski's theorem for arithmetic
    3. The incompleteness of peano arithmetic with exponentation
    4. Arithmetic without the exponential
    5. Godel's proof based on consistency
    6. Rosser systems
    7. Shepherdson's Representation theorems
    8. Definability and diagonalization
    9. The unprovability of consistency
    10. Some general remarks on provability and truth
    11. Self-referential systems

✦ Subjects

Gödel, Teorema de;Lógica simbólica y matemática;Problemas, ejercicios, etc;Lógica simbólica y matemática;Gödel, Teorema de

📜 SIMILAR VOLUMES

Gödel's Incompleteness Theorems
📁 Gödel's Incompleteness Theorems
✍ Raymond M. Smullyan 📂 Library 📅 1992 🏛 Oxford University Press 🌐 English

Kurt Godel, 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

Gödel's Incompleteness Theorems
📁 Gödel's Incompleteness Theorems
✍ Raymond M. Smullyan 📂 Library 📅 1992 🏛 Oxford University Press 🌐 English

Kurt Godel, 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

Gödel's Incompleteness Theorems
📁 Gödel's Incompleteness Theorems
✍ Smullyan, Raymond M. 📂 Library 📅 1992 🏛 Oxford University Press 🌐 English

considered a "concise," "modern classic" by Peter Smith, author of [*An Introduction to Gödel's Theorems*](http://www.godelbook.net/)