¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?

• Morgado, María ^[1] ; Franklin Galindo ^[1]
  1. [1] Universidad Central de Venezuela

     Universidad Central de Venezuela

     Venezuela

     
• Localización: Apuntes Filosóficos, ISSN 1316-7553, Vol. 28, Nº. 55, 2019 (Ejemplar dedicado a: Lógica, Filosofía de la Matemática y Perspectivas Analíticas), págs. 67-86
• Idioma: español
• Títulos paralelos:
  • How to use the Herbrand’s Theorem to decide the validity of reasoning on first order language, in accordance whit Church’s Undecidability’s Theorem?
• Enlaces
  • Texto completo
• Resumen
  • español

    El objetivo de este artículo es presentar cuatro ejemplos de aplicación delTeorema de Herbrand para decidir la validez de razonamientos en lenguaje de primerorden, en conformidad con el Teorema de Indecidibiliad de Church. Y además decircuál es el principal problema que se presenta al respecto. En este artículo se trabajacon el cálculo lógico por resolución1, un método utilizado en inteligencia artificial2.

  • English

    This article’s objetive is to present four application examples of Herbrand’s theorem to decide the validity of reasoning on first order language, in accordance whit Church’s Undecidability’s theorem. Also, to tell which is the principal problem around it. The logical resolution calculus will be worked on this article, which is a method used in artificial intelligence.