Demostrando lo indemostrable

• Autores: Esteban Martínez Vañó
• Localización: Lva2, ISSN-e 3020-4925, Vol. 3, Nº. 2, 2026, págs. 45-68
• Idioma: español
• Títulos paralelos:
  • Proving the unprovable
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    En este artículo, expondremos los conceptos básicos necesarios para entender los famosos teoremas de incompletitud de Gödel. Además, presentaremos algunos resultados de independencia en la aritmética de Peano y en la teoría de conjuntos de Zermelo-Fraenkel.

  • English

    In this paper, we will present the basic concepts needed to understand Gödel’s famous incompleteness theorems. Furthermore, we will also present some independence results in Peano arithmetic and Zermelo-Fraenkel set theory.

• Referencias bibliográficas
  • Goldrei, D. (2005). Propositional and predicate calculus. Springer London. Consultado el 29-4-2026, en http s://link.springer.com/book/10.1007/1-84628-229...
  • Herrlich, H. (2006). Axiom of choice. Springer Berlin, Heidelberg. Consultado el 29-4-2026, en https://lin k.springer.com/book/10.1007/11601562
  • Hrbacek, K. & Jech, T. (1999). Introduction to set theory, revised and expanded (3.a ed.). CRC Press. https://do i.org/10.1201/9781315274096
  • Ivorra Castillo, C. (2024a). El cálculo secuencial de Gentzen. Consultado el 29-4-2026, en https://www.uv .es/ivorra/Libros/CS.pdf
  • Ivorra Castillo, C. (2024b). Lógica matemática. Consultado el 29-4-2026, en https://www.uv.es/ivorra /Libros/LM.pdf
  • Ivorra Castillo, C. (2024c). Teoría de conjuntos. Consultado el 29-4-2026, en https://www.uv.es/ivorra /Libros/TC.pdf