Los teoremas de incompletitud de Gödel
Date
2025-09
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"Kurt Gödel ha sido uno de los matemáticos más prolíficos en el ámbito de la Lógica. Es ampliamente reconocido por su trabajo en la completez de las Teorías de Primer Orden, por la consistencia del axioma de elección y la hipótesis del continuo. Además, revolucionó por completo el estudio y concepción que se tenían de las matemáticas en el siglo XX con sus famosos Teoremas de incompletitud. Este trabajo tiene como objetivo hacer un análisis exhaustivo de dichos teoremas que revolucionaron la matemática, construyendo todo lo necesario para poder demostrarlos de la manera más precisa posible. Por ello es que se comenzará introduciendo los números de Gödel, que fue la manera en que Gödel codificó toda la aritmética de Peano, después se analizarán proposiciones fundamentales para poder probar los teoremas de incompletitud y concluiremos con el análisis de los dos teoremas".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading