Click on a thumbnail to go to Google Books.
Loading... On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931)by Kurt Gödel
Loading...
Sign up for LibraryThing to find out whether you'll like this book. No current Talk conversations about this book. no reviews | add a review
Is a reply toInspiredHas as a study
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 DiscussionsNonePopular covers
Google Books — Loading... GenresMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC ClassificationRatingAverage:
Is this you?Become a LibraryThing Author. |
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. ( )