OPAC - IUNIR

Vista normal Vista MARC Vista ISBD

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: materialTypeLabelLibroSeries: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Agregar etiquetas
Ingresar para agregar etiquetas.
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 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.