Gödel's Proof

Ernest Nagel og James R. Newman

Bog | Engelsk

Beskrivelse

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary p…