Algunos Métodos de la lógica:
Galindo Marchenes, Franklin César
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 - 2014 - 148 h. ; 28 cm.
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.
LÓGICA MATEMÁTICA--MÉTODOS
MODELOS MATEMÁTICOS
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 - 2014 - 148 h. ; 28 cm.
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.
LÓGICA MATEMÁTICA--MÉTODOS
MODELOS MATEMÁTICOS