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
Í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.