2026-04-27T19:45:08Zhttps://uvadoc.uva.es/oai/request

oai: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 Universidad de Valladolid. Facultad de Ciencias 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-11-22T18:12:16Z 2023-11-22T18:12:16Z 2023 info:eu-repo/semantics/bachelorThesis https://uvadoc.uva.es/handle/10324/63171 spa info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-nd/4.0/ Attribution-NonCommercial-NoDerivatives 4.0 Internacional