Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
type: Item
instance of: scholarly article
title: Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
zbMATH Open document ID: 1116.03003
author: Reinhard Kahle
published in: Mathematische Semesterberichte
publication date: 2007-03-20T00:00:00Z
review text: The paper is a presentation of Gödel's incompleteness theorems in a popular and non-technical way. Their historical context is discussed, and the first incompleteness theorem is presented (its formulation, idea and method of proof, meaning and connections with Tarski's theorem on the undefinability of truth). At the end, the second incompleteness theorem is briefly discussed.
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 5135822
reviewed by: Roman Murawski
MaRDI profile type: Publication
full work available at URL: s00591-006-0012-9
OpenAlex ID: W2016234401
cites work: Q4215634
cites work: Q5477994
cites work: Q3148848
cites work: Q4397069
cites work: Q4513126
cites work: Q5290924
cites work: Q5466245
cites work: Q4215632
cites work: The consistency of arithmetics
cites work: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: Q3720554
cites work: The incompleteness theorems after 70 years
cites work: Hilbert's paradox
cites work: Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
cites work: Nonstandard models and Kripke's proof of the Gödel theorem
cites work: Q5489367
cites work: Extensions of some theorems of Gödel and Church
cites work: Gödel, Tarski, Church, and The Liar
cites work: Q4023233
cites work: Q5537599
cites work: Hilbert's Programs: 1917–1922
DOI: 10.1007/S00591-006-0012-9
Recommended article: Q3621607
Recommended article: Q4590669
Recommended article: Q4693596
Recommended article: Q5172389
Recommended article: Q3695280
Recommended article: Q4636234
Recommended article: Q4681218
Recommended article: Gödel's Incompleteness Theorems
Recommended article: Q4532190
Recommended article: Q4855394
description: scientific article; zbMATH DE number 5135822