El teorema de Gödel /
por Nagel, Ernest; Newman, James R; Martín, Adolfo.
Tipo de material: LibroSeries: Estructura y función ; 31.Editor: Madrid : Tecnos, imp. 1979Descripción: 140 p. ; 23 cm.ISBN: 8430908218.Títulos uniformes: Gödel's proof Español.Materia(s): PSICOLOGÍA | LÓGICA | TEOREMA DE GÖDEL
Contenidos:
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.
Tipo de ítem | Ubicación actual | Colección | Signatura topográfica | Número de copia | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
---|---|---|---|---|---|---|---|---|---|
Libros |
BIBLIOTECA RIOBAMBA
Biblioteca de Psicologia, Odontologia, Enfermeria e Instrumentacion Quirurgica |
Psicología | 164.07 NAG (Navegar estantería) | 1 | Disponible | Donación Pablo Zöpke | 3370c |
Reservas Totales: 0
Navegando BIBLIOTECA RIOBAMBA Estantes , Código de colección: Psicología Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
164.04 LAD Limitaciones internas de las formalismos : | 164.04 LOR El método axiomático y sus creencias / | 164.05 KUR Introducción a la teoría de conjuntos y a la topología / | 164.07 NAG El teorema de Gödel / | 164:101 PEN Pensar la matemática : | 164.1 BLA Modelos y metáforas / | 164:929 HOF Gödel, Escher, Bach : |
Í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.