Godel's Proof

Ernest Nagel og James Newman

Bog | Engelsk

Beskrivelse

Godel's Proof was first published in the US in 1958. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title "On Formally Undecidable propositions of Principia Mathematica and Related Systems&qu…