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

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

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)

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)