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

Autores

  • María Morgado

Palavras-chave:

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

Resumo

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

Edição

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

Secção

Artículos

Artigos mais lidos do(s) mesmo(s) autor(es)

Obs.: Este plugin requer pelo menos um plugin de estatísticas/relatório ativado. Se os seus plugins de estatísticas fornecem mais de uma métrica, selecione também uma métrica principal na área de configurações do administrador e/ou na área de configurações da Revista.

Artigos Similares

1 2 3 4 5 6 7 8 9 10 > >> 

Também poderá iniciar uma pesquisa avançada de similaridade para este artigo.