Algunos Métodos de la lógica: Y una revisión critica de los mismos en relación con los fundamentos de las matemáticas / Franklin César Galindo Marchenes
Tipo de material:
TextoIdioma: Español Detalles de publicación: 2014Descripción: 148 h. ; 28 cmTema(s): Nota de disertación: Trabajo de ascenso (Asociado) -- Universidad Central de Venezuela Resumen: El objetivo de este trabajo es presentar algunos métodos de la Lógica y realizar una revisión crítica de los mismos en relación con los fundamentos de las matemáticas. Entre dichos métodos se encuentran : forma normal prenexa, la demostración de Church de Teorema de completitud Gòdel que usa Forma normal de Skolem, la teoria de Axiomática de Conjuntos de Zermelo-Fruenkel. El Teorema del Colapso Transitivo de Mostowski, el Principio de Reflexión, el Principio de Introducción Matemática, la Técnica de Forcing, etc.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|
|
|
Biblioteca “Miguel Acosta Saignes” | TRA F14 G3 (Navegar estantería(Abre debajo)) | No prestamo Circulante |
Browsing Biblioteca “Miguel Acosta Saignes” shelves Close shelf browser (Hides shelf browser)
Mecanografiado
Referencias Bibliograficas
Trabajo de ascenso (Asociado) -- Universidad Central de Venezuela
El objetivo de este trabajo es presentar algunos métodos de la Lógica y realizar una revisión crítica de los mismos en relación con los fundamentos de las matemáticas. Entre dichos métodos se encuentran : forma normal prenexa, la demostración de Church de Teorema de completitud Gòdel que usa Forma normal de Skolem, la teoria de Axiomática de Conjuntos de Zermelo-Fruenkel. El Teorema del Colapso Transitivo de Mostowski, el Principio de Reflexión, el Principio de Introducción Matemática, la Técnica de Forcing, etc.
02/18 ep.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.