Pulse en una miniatura para ir a Google Books.
Cargando... Gödel Without (Too Many) Tearspor Peter Smith
Ninguno Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. Ninguna reseña sin reseñas | añadir una reseña
Kurt Gödel's famous First Incompleteness Theorem shows that for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory cannot prove. How is this remarkable result proved? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. Based on lecture notes for a course given in Cambridge for many years, the aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background. No se han encontrado descripciones de biblioteca. |
Debates activosNinguno
Google Books — Cargando... GénerosValoraciónPromedio: No hay valoraciones.¿Eres tú?Conviértete en un Autor de LibraryThing. |