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)
“It has often been argued that absolute scepticism is self-contradictory; but this is a mistake: and even if it were not so, it would be no argument against the absolute sceptic, inasmuch as he does not admit that no contradictory propositions are true. Indeed, it would be impossible to move such a man, for his scepticism consists in considering every argument and never deciding upon its validity; he would, therefore, act in this way in reference to the arguments brought against him.”
—Charles Sanders Peirce (18391914)
“So universal and widely related is any transcendent moral greatness, and so nearly identical with greatness everywhere and in every age,as a pyramid contracts the nearer you approach its apex,that, when I look over my commonplace-book of poetry, I find that the best of it is oftenest applicable, in part or wholly, to the case of Captain Brown.”
—Henry David Thoreau (18171862)
“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 (19211990)