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
    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

    Identifiers