On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions Of Principia Mathematica And Related Systems

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I ("On Formally Undecidable Propositions of Principia Mathematica and Related Systems I") is a paper in mathematical logic by Kurt Gödel. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte für Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers. The paper is famous for the theorems it contains, which have many implications for consistency proofs in mathematics, and for the techniques that Gödel invented to prove these theorems.

Read more about On Formally Undecidable Propositions Of Principia Mathematica And Related Systems:  Outline and Key Results, Published English Translations

Famous quotes containing the words formally, propositions, related and/or systems:

    We find the most terrible form of atheism, not in the militant and passionate struggle against the idea of God himself, but in the practical atheism of everyday living, in indifference and torpor. We often encounter these forms of atheism among those who are formally Christians.
    Nicolai A. Berdyaev (1874–1948)

    The whole race is a poet that writes down
    The eccentric propositions of its fate.
    Wallace Stevens (1879–1955)

    Generally there is no consistent evidence of significant differences in school achievement between children of working and nonworking mothers, but differences that do appear are often related to maternal satisfaction with her chosen role, and the quality of substitute care.
    Ruth E. Zambrana, U.S. researcher, M. Hurst, and R.L. Hite. “The Working Mother in Contemporary Perspectives: A Review of Literature,” Pediatrics (December 1979)

    Before anything else, we need a new age of Enlightenment. Our present political systems must relinquish their claims on truth, justice and freedom and have to replace them with the search for truth, justice, freedom and reason.
    Friedrich Dürrenmatt (1921–1990)