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

DOI10.1007/s00591-006-0012-9zbMath1116.03003OpenAlexW2016234401MaRDI QIDQ873911

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) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03)

Related Items (1)

From Dedekind to Zermelo versus Peano to Gödel

Cites Work

• The incompleteness theorems after 70 years
• Nonstandard models and Kripke's proof of the Gödel theorem
• Hilbert's paradox
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Hilbert's Programs: 1917–1922
• Gödel, Tarski, Church, and The Liar
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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