Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
From MaRDI portal
Publication:873911
DOI10.1007/S00591-006-0012-9zbMATH Open1116.03003OpenAlexW2016234401MaRDI QIDQ873911FDOQ873911
Authors: Reinhard Kahle
Publication date: 20 March 2007
Published in: Mathematische Semesterberichte (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00591-006-0012-9
Recommendations
- On the incompleteness theorems of Kurt Gödel
- scientific article; zbMATH DE number 6810143
- scientific article; zbMATH DE number 205734
- On Gödel's incompleteness theorems
- scientific article; zbMATH DE number 3920465
- On Gödel's incompleteness theorems. IV
- scientific article; zbMATH DE number 2176167
- Gödel's incompleteness theorems
- scientific article; zbMATH DE number 1749189
- scientific article; zbMATH DE number 815055
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)
Cites Work
- Title not available (Why is that?)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
- Extensions of some theorems of Gödel and Church
- The consistency of arithmetics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hilbert's Programs: 1917–1922
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Inexhaustibility: A non-exhaustive treatment
- Title not available (Why is that?)
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- Title not available (Why is that?)
- The incompleteness theorems after 70 years
- Nonstandard models and Kripke's proof of the Gödel theorem
- Title not available (Why is that?)
- Hilbert's paradox
- Gödel, Tarski, Church, and The Liar
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (13)
- Finite sets and Gödel's incompleteness theorems
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
- Title not available (Why is that?)
- Title not available (Why is that?)
- The popular impact of Gödel's incompleteness theorem
- Logical Approaches to Computational Barriers
- Title not available (Why is that?)
- On the incompleteness theorems of Kurt Gödel
- Undefinability of truth. the problem of priority:tarski vs gödel
- Title not available (Why is that?)
- Reflections on Gödel's theorem
- The surprise examination paradox and the second incompleteness theorem
- From Dedekind to Zermelo versus Peano to Gödel
This page was built for publication: Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q873911)