Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.usfq.edu.ec/handle/23000/8992| Tipo de material: | bachelorThesis |
| Título : | Gödel's theorem |
| Autor : | Viteri Puyol, Raúl Andrés |
| Director de Tesis : | Skukalek, John, dir. |
| Descriptores : | 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 |
| Páginas : | 33 h. |
| Acceso: | openAccess Atribución-NoComercial-SinDerivadas 3.0 Ecuador |
| 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.pdf | TEXTO COMPLETO | 431.73 kB | Adobe PDF |  Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
