Kurt Gödel y el Teorema de Incompletud

• González Fernández, Juan Ignacio ^[1]
  1. [1] Universidad Michoacana de San Nicolás de Hidalgo

     Universidad Michoacana de San Nicolás de Hidalgo

     México

     
• Localización: Devenires: Revista de Filosofía y Filosofía de la Cultura, ISSN-e 2395-9274, Nº. 14, 2006, págs. 183-194
• Idioma: español
• Títulos paralelos:
  • Kurt Gödel and the Incompleteness Theorem
• Enlaces
  • Texto completo
• Resumen
  • español

    El propósito de este artículo es ofrecer una breve introducción a la obra de Kurt Gödel, y especialmente, a su Teorema de Incompletud. Se presenta una explicación general de este Teorema y sus consecuencias para la concepción formalista de las matemáticas y se le compara con una versión de la paradoja de Richard. Se describen muy brevemente así mismo otros de sus trabajos su teoría de universo rotatorio.

  • English

    The purpose of this paper is to provide a brief introduction to the work of Kurt Gödel, and especially to his Incompleteness Theorem. A general explanation of this Theorem, its significance for the formalist view of mathematics and a comparison to a version of the Richard Paradox are presented. Two other of his most important works are here briefly sketched, such as his Completeness Theorem on first order logic and his theory of the rotating universe.