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:
“From a bed in this hotel Seargent S. Prentiss arose in the middle of the night and made a speech in defense of a bedbug that had bitten him. It was heard by a mock jury and judge, and the bedbug was formally acquitted.”
—Federal Writers’ Project Of The Wor, U.S. public relief program (1935-1943)
“All propositions are of equal value.”
—Ludwig Wittgenstein (1889–1951)
“The near explains the far. The drop is a small ocean. A man is related to all nature. This perception of the worth of the vulgar is fruitful in discoveries. Goethe, in this very thing the most modern of the moderns, has shown us, as none ever did, the genius of the ancients.”
—Ralph Waldo Emerson (1803–1882)
“In all systems of theology the devil figures as a male person.... Yes, it is women who keep the church going.”
—Don Marquis (1878–1937)