Nagel, Ernest
El teorema de Gödel / Ernest Nagel, James R. Newman ; Tr. Adolfo Martín - 3 ed. - 140 p. ; 21 cm. - Colección Filosofía y Ensayo .
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 -- Reflexiones finales --
Gödel´s Proof
84-309-2590-2
Teorema de godel
Logica matematica
511.3 / N147t
El teorema de Gödel / Ernest Nagel, James R. Newman ; Tr. Adolfo Martín - 3 ed. - 140 p. ; 21 cm. - Colección Filosofía y Ensayo .
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 -- Reflexiones finales --
Gödel´s Proof
84-309-2590-2
Teorema de godel
Logica matematica
511.3 / N147t