RT info:eu-repo/semantics/bachelorThesis
T1 Los teoremas de incompletitud de Gödel
A1 Infante Adrián, Andrés
A2 Universidad de Valladolid. Facultad de Ciencias
K1 Lógica matemática
K1 Fundamentos
K1 Incompletitud
K1 Teorías formales
AB 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 esconsistente, es incompleto. Y además, que una proposición indecidible en el sistema es su propia consistencia. Para ello se realiza una aproximacióntanto 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óncon los teoremas de incompletitud. Así mismo, estudiaremos detalladamente las teorías formales de primer orden hasta llegar a una demostración de losteoremas.
YR 2023
FD 2023
LK https://uvadoc.uva.es/handle/10324/63171
UL https://uvadoc.uva.es/handle/10324/63171
LA spa
NO Departamento de Algebra, Geometría y Topología
DS UVaDOC
RD 29-jun-2024