Pulse en una miniatura para ir a Google Books.
Cargando... On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931)por Kurt Gödel
Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. sin reseñas | añadir una reseña
En respuesta aInspiradoTiene como estudio a
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 se han encontrado descripciones de biblioteca. |
Debates activosNingunoCubiertas populares
Google Books — Cargando... GénerosSistema Decimal Melvil (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClasificación de la Biblioteca del CongresoValoraciónPromedio:
¿Eres tú?Conviértete en un Autor de LibraryThing. |
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. ( )