Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911)
From MaRDI portal
scientific article
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 |
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