Título: EL TEOREMA DE GÖDEL
Autor:Ernest Nagel y James R. Newman
Año:1979
Editorial: Editorial Tecnos
Rústica editorial. Colección Estructura y Función, El Porvenir Actual de la Ciencia / 31. Traducción por Adolfo Martín. Contenido: Agradecimientos - Introducción - El problema se 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) ...
Rústica editorial. Colección Estructura y Función, El Porvenir Actual de la Ciencia / 31. Traducción por Adolfo Martín. Contenido: Agradecimientos - Introducción - El problema se 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 nuemración de Gödel. B) La aritmetización de la matemática. C) El núcleo de la agumentación de Gödel - Reflexiones finales - Apéndice. Notas - Bibliografía e Índices general, autores y Materias. 140págs