Nagel, Ernest
El teorema de Gödel / [por] Ernest Nagel y James R. Newman ; [traducción del inglés por Adolfo Martín]. - Madrid : Tecnos, imp. 1979. - 140 p. ; 23 cm. - Estructura y función ; 31 .
Índices
I. Introducción -- II. El problema de la consistencia -- III. Pruebas absolutas de consistencia -- IV. La codificación sistemática de la lógica formal -- V. Un ejemplo de una prueba absoluta de consistencia -- VI. La idea de representación y su empleo en las matemáticas -- VII. Las pruebas de Gödel -- VIII. Reflexiones finales.
8430908218
bimoBNE19994751906 SpMaBN
PSICOLOGÍA
LÓGICA
TEOREMA DE GÖDEL
164.07
El teorema de Gödel / [por] Ernest Nagel y James R. Newman ; [traducción del inglés por Adolfo Martín]. - Madrid : Tecnos, imp. 1979. - 140 p. ; 23 cm. - Estructura y función ; 31 .
Índices
I. Introducción -- II. El problema de la consistencia -- III. Pruebas absolutas de consistencia -- IV. La codificación sistemática de la lógica formal -- V. Un ejemplo de una prueba absoluta de consistencia -- VI. La idea de representación y su empleo en las matemáticas -- VII. Las pruebas de Gödel -- VIII. Reflexiones finales.
8430908218
bimoBNE19994751906 SpMaBN
PSICOLOGÍA
LÓGICA
TEOREMA DE GÖDEL
164.07