2026-04-27T19:54:57Zhttps://uvadoc.uva.es/oai/requestoai:uvadoc.uva.es:10324/631712023-11-22T20:01:49Zcom_10324_38col_10324_852
Campillo López, Antonio
Infante Adrián, Andrés
Universidad de Valladolid. Facultad de Ciencias
2023-11-22T18:12:16Z
2023-11-22T18:12:16Z
2023
https://uvadoc.uva.es/handle/10324/63171
En este trabajo se presentan los teoremas de incompletitud de Gödel, que certifican que cualquier sistema formal capaz de expresar la aritmética, si es
consistente, es incompleto. Y además, que una proposición indecidible en el sistema es su propia consistencia. Para ello se realiza una aproximación
tanto filosófica como formal, con el objetivo de comprenderlos lo mejor posible. Trataremos las filosofías de la Matemática más importantes y su relación
con los teoremas de incompletitud. Así mismo, estudiaremos detalladamente las teorías formales de primer orden hasta llegar a una demostración de los
teoremas.
Departamento de Algebra, Geometría y Topología
Grado en Matemáticas
application/pdf
spa
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Lógica matemática
Fundamentos
Incompletitud
Teorías formales
Los teoremas de incompletitud de Gödel
info:eu-repo/semantics/bachelorThesis