El libro describe el camino que llevó a Gödel al enunciado de su famoso teorema, sin demasiadas complicaciones y con unas reflexiones finales sobre lo que supuso dicho teorema.
Post en mi blog: http://fon.gs/teoremagodel/
El ego cogito del siglo XX (prefacio por Manuel Garrido)
Agradecimientos
Introducción
El problema de la consistencia
Pruebas absolutas de consistencia
La codificación sistemática de la lógica formal
Un ejemplo de una prueba absoluta de consistencia
La idea de representación y su empleo en las matemáticas
Las pruebas de Gödel:
A) La numeración de Gödel
B) La aritmetización de la metamatemática
C) El núcleo de la argumentación de Gödel
Reflexiones finales
Apéndice. Notas
Bibliografía
Índice de autores y materias
We’re hiding the errata, movie connections, books that influenced this book, books influenced by this book, books that cite this book and books cited by this book sections. If you would like to add content to them, you must first make them visible.