Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 |
scientific article; zbMATH DE number 5135822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 |
scientific article; zbMATH DE number 5135822 |
Statements
Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (English)
0 references
20 March 2007
0 references
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.
0 references
0 references
0 references
