Klik på en miniature for at gå til Google Books
Indlæser... On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931)af Kurt Gödel
Indlæser...
Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog. Der er ingen diskussionstråde på Snak om denne bog. ingen anmeldelser | tilføj en anmeldelse
Is a reply toInspireretIndeholder studiedel
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite. No library descriptions found. |
Current DiscussionsIngenPopulære omslag
Google Books — Indlæser... GenrerMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC-klassificeringVurderingGennemsnit:
Er det dig?Bliv LibraryThing-forfatter. |
I will be reading this again when I can understand it better. Five out of five for turning the establishment on it's head though. Before this paper, mathematicians assumed it was possible to go and explain everything in math. But you can't explain everything in math using math, so there are some things that are just unexplainable. I probably didn't really get that right, but it matters not. ( )