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

• Autores: Joel Torres del Valle, María Ofelia Vásquez Ávila
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 26, Nº. 2, 2019, págs. 113-118
• Idioma: español
• Títulos paralelos:
  • On Incompleteness in Mathematics and the Paris-Harrington Principle
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    This is an explanatory article: in it we make a short review of the problem of incompleteness in mathematics from the end of the 19th century to the 20th century. We discuss the Combinatorial Principle of Paris-Harrington, PH; how can we express it in the language of Arithmetic and the argument of the proof of its independence from the Peano Arithmetic, PA.

• Referencias bibliográficas
  • A. Campos, Epistemología de las matemáticas, Universidad Nacional de Colombia, 2012.
  • J. Dieudonné, Panorama de las matemáticas puras: la elección Bourbakista, Reverté, 1987.
  • P. Fernández and J. Fernández, El desorden absoluto es imposible: la Teoría de Ramsey, La Gaceta, Real Sociedad Matemática Espanola, 1999.
  • G. Frege, Begriffschrift, a formula language, modeled upon that of arithmetic, for pure thought, University of Jena, 1879.
  • G. Frege, Die Grundlagen der Arithmetik, University of Jena, 1884.
  • K. Gödel, Discusión sobre los fundamentos de las matemáticas, En: Kurt Godel, Obras completas, edición por Jesús Monsterin. Alianza editorial,...
  • K. Gödel, La suficiencia del cálculo lógico de primer orden, En: Kurt Godel, Obras completas, edición por Jesús Monsterin. Alianza editorial,...
  • K. Gödel, Sobre sentencias formalmente indecidibles en Principia Mathematica y sistemas afines, En: Kurt Godel, Obras completas, edición por...
  • K. Gödel, Sobre sentencias indecidibles de sistemas formales matemáticos, En: Kurt Godel, Obras completas, edición por Jesús Monsterin. Alianza...
  • R. Kaye, Models of Peano Arithmetic, Oxford Logic guides. Oxford University Press, 1991.
  • K. Kunen, Combinatorics, In: Handbook of mathematical logic, edited by Jon Barwise. North Holland, Amsterdam, 1967.
  • D. Marker, Model theory: an introduction, Primera edition. Springer Verlag, Graduated texts in Mathematics, 2007.
  • J. Paris and L. Harrington, A mathematical incompleteness in Peano Arithmetic, En: Handbook of mathematical logic, editado por Jon Barwise....
  • J. Torres, Aritmética: un enfoque vía Teoría de Modelos, Monografía de grado, Universidad de Cartagena, 2017.
  • V. Tossillo, Some remarks on the mathematical incompleteness of Peano's arithmetic found by Paris and Harrington, En:Set theory and Model...