Limitaciones internas de las formalismos : estudio sobre la significacion del Teorema de Gödel y teoremas conexos en la teoria de los fundamentos de las matematicas /
por Ladrière, Jean; Blasco, José.
Tipo de material: LibroSeries: Estructura y funcion. El Porvenir Actual de la Ciencia ; 28.Editor: Madrid : Tecnos, [1969]Descripción: 545 p. ; 23 cm.Materia(s): PSICOLOGÍA | TEOREMAS | LÓGICA | TEOREMA DE GÖDEL
Contenidos:
I. Introducción. Los sistemas formales -- II. Sistema formal y metateoría -- III. El Teorema de Gödel -- IV. Las generalizaciones directas del Teorema de Gödel -- V. El corolario de Gödel y la teoría de la demostración -- VI. El Teorema de Church y los problemas de decisión -- VII. La teoría de los predicados de Kleene -- VIII. El método semántico. Teorema de Tarski y de Mostowski -- IX. Otros hechos de limitación -- X. Sugerencias filosóficas.
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.04 LAD (Navegar estantería) | 1 | Disponible | Donación Pablo Zöpke | 3371c |
Reservas Totales: 0
I. Introducción. Los sistemas formales -- II. Sistema formal y metateoría -- III. El Teorema de Gödel -- IV. Las generalizaciones directas del Teorema de Gödel -- V. El corolario de Gödel y la teoría de la demostración -- VI. El Teorema de Church y los problemas de decisión -- VII. La teoría de los predicados de Kleene -- VIII. El método semántico. Teorema de Tarski y de Mostowski -- IX. Otros hechos de limitación -- X. Sugerencias filosóficas.