on formally undecidable propositions of principia mathematica and related systems
添加释义
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
-
abstract:
Ü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.
以上来源于:
WordNet