2026-05-05T18:23:52Zhttps://uvadoc.uva.es/oai/requestoai:uvadoc.uva.es:10324/631712023-11-22T20:01:49Zcom_10324_38col_10324_852
Los teoremas de incompletitud de Gödel
Infante Adrián, Andrés
Campillo López, Antonio
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.
2023
info:eu-repo/semantics/bachelorThesis
spa
Departamento de Algebra, Geometría y Topología
https://uvadoc.uva.es/handle/10324/63171
https://uvadoc.uva.es/bitstream/10324/63171/3/license.txt
289d98c1665ee0d20312360f0e8643c8
https://uvadoc.uva.es/bitstream/10324/63171/1/TFG-G6593.pdf
77cf622536774775aed0114b17d6fd0a
Attribution-NonCommercial-NoDerivatives 4.0 Internacional