Browsing by Author "Lozano Galindo, Edwin Gabriel"

Now showing 1 - 1 of 1
  • Tesis de licenciatura
    Los teoremas de incompletitud de Gödel
    (Benemérita Universidad Autónoma de Puebla, 2025-09) Lozano Galindo, Edwin Gabriel
    "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".