Sobre incompletitud en matemáticas y el Principio de Paris-Harrington

Este artículo es de caracter divulgativo: en él hacemos una revisión histórica del problema de incompletitud en matemáticas a partir de finales del siglo xix hasta el siglo xx. Abordamos una discusión sobre el Principio Combinatorio de Paris-Harrington, PH; cómo podremos expresarlo en el lenguaje de la aritmética y el argumento de la prueba de su indenpendencia de la Aritmética de Peano, PA.

• Autores: Torres del Valle, Joel; Vásquez Ávila, María Ofelia
• Tipo de recurso: Contribution to the magazine
• Fecha de publicación: 2020
• Institución: Universidad de Antioquia
• Repositorio: Repositorio UdeA
• Idioma: spa
• OAI Identifier: oai:bibliotecadigital.udea.edu.co:10495/46329
• Acceso en línea: https://hdl.handle.net/10495/46329
• Palabra clave: Teorema de Gödel; Godel's theorem; Teorema de la completitud; Completeness theorem; Aritmética; Arithmetic; Teoría de Ramsey; Ramsey theory; Peano Arithmetic; Aritmética de Peano; Paris-Harrington principle; Peano Arithmetic
• Rights: openAccess
• License: http://creativecommons.org/licenses/by/4.0/