¿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?

Authors

  • María Morgado

Keywords:

Decidibilidad, Herbrand, Indecidibilidad, Church, Cálculo Por Resolución.

Abstract

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.

Downloads

Issue

Vol. 28 No. 55 (2019): Lógica, Filosofía de la Matemática y Perspectivas Analíticas

Section

Artículos

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.