Revista de Filosofía de la Universidad de Costa Rica ISSN Impreso: 0034-8252 ISSN electrónico: 2215-5589

OAI: https://revistas.ucr.ac.cr/index.php/filosofia/oai
Una solución moderna para el "Entscheidungsproblem"
PDF

Palabras clave

Entscheidungsproblem
lógica de primer orden
problema de decisión
first order logic
decision problem

Cómo citar

Piza Volio, E. (2005). Una solución moderna para el "Entscheidungsproblem". Revista De Filosofía De La Universidad De Costa Rica. Recuperado a partir de https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504

Resumen

En este trabajo se analiza el famoso problema de decisión de la lógica canónica de primer orden F0 (también llamado "Entscheidungsproblem") desde una perspectiva moderna. Se aprovecha el desarrollo alcanzado por la teoría de la recursión y de los sistemas productivos semi-Thue, luego de los trabajos de Post y Kleene en los años 40's y de Davis en la década de los 70's, entre otros, para explicar una solución a este problema de decisión. Todo este instrumental empleado es posterior al planteamiento del "Entscheidungsproblem".
PDF

Comentarios

Descargas

Los datos de descargas todavía no están disponibles.