Por favor, use este identificador para citar o enlazar este ítem: http://repositorio.usfq.edu.ec/handle/23000/8992
Título : Gödel's theorem
Autor : Skukalek, John, dir.
Viteri Puyol, Raúl Andrés
Palabras clave : Lógica simbólica y matemática -- Análisis matemático -- Tesis y disertaciones académicas.
Fecha de publicación : 2020
Editorial : Quito
Citación : Tesis (Licenciado en Matemáticas), Universidad San Francisco de Quito ,Colegio de Ciencias e Ingenierías; Quito, Ecuador, 2019
Resumen : En este trabajo se realizará una exposición del primer Teorema de Gödel. En esta exposición se detallará los preliminares necesarios para entender el teorema y se dará una prueba accesible y teórica más que técnica de cómo funciona la argumentación de Gödel del primer teorema. Aparte se verá un poco de la historia y contexto del Teorema...
Descripción : In this work we are going to present Goidels First Theorem In this presentation we are going to present the necessary preliminaries for understanding Goidels first theorem and we are going to present a theoretical and accessible proof of how the theorem works, more than a technical aspect of the proof. Beside this we are going to see the history and the context of the problem..
URI : http://repositorio.usfq.edu.ec/handle/23000/8992
Aparece en las colecciones: Tesis - Matemáticas

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
109007.pdfTEXTO COMPLETO431.73 kBAdobe PDFVista previa
Visualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons