Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006

DOI10.1007/S00591-006-0012-9MaRDI QIDQ873911zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)

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

Cites work

• scientific article; zbMATH DE number 1805574 (Why is no real title available?)
• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 107649 (Why is no real title available?)
• scientific article; zbMATH DE number 1215495 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1526722 (Why is no real title available?)
• scientific article; zbMATH DE number 2198106 (Why is no real title available?)
• scientific article; zbMATH DE number 5037237 (Why is no real title available?)
• scientific article; zbMATH DE number 5057388 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Extensions of some theorems of Gödel and Church
• Gödel, Tarski, Church, and The Liar
• Hilbert's Programs: 1917–1922
• Hilbert's paradox
• Inexhaustibility: A non-exhaustive treatment
• Nonstandard models and Kripke's proof of the Gödel theorem
• Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
• The consistency of arithmetics
• The incompleteness theorems after 70 years
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(20)

• Finite sets and Gödel's incompleteness theorems
• Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
• scientific article; zbMATH DE number 1749189 (Why is no real title available?)
• scientific article; zbMATH DE number 815055 (Why is no real title available?)
• Letter games: a metamathematical taster
• The popular impact of Gödel's incompleteness theorem
• Interpreting Gödel. Critical essays
• Gödel's incompleteness theorems
• Logical Approaches to Computational Barriers
• In search of the sources of incompleteness
• scientific article; zbMATH DE number 4148041 (Why is no real title available?)
• Undefinability of truth. the problem of priority:tarski vs gödel
• On the incompleteness theorems of Kurt Gödel
• On Gödel's incompleteness theorems
• On the depth of Gödel's incompleteness theorems
• Truth and provability
• scientific article; zbMATH DE number 1911059 (Why is no real title available?)
• Reflections on Gödel's theorem
• From Dedekind to Zermelo versus Peano to Gödel
• The surprise examination paradox and the second incompleteness theorem

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)