lunet
Cover of Gödel's proof

Gödel's proof

Ernest Nagel

118 PAGES · 1958

Open in Lunet

About

In 1931 there appeared in a German scientific periodical a relative short paper with the forbidding title “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” (“On Formally Undecidable Propositions of Principia Mathematica and Related Systems”).