Una solución moderna para el "Entscheidungsproblem"

Una solución moderna para el "Entscheidungsproblem"

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 lo...

Descripción completa

Detalles Bibliográficos
Autor principal: Piza Volio, Eduardo
Formato: Online
Idioma:spa
Publicado: Universidad de Costa Rica 2005
Acceso en línea:https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504
id FILOSOFIA7504
record_format ojs
spelling FILOSOFIA75042016-07-07T17:25:59Z Una solución moderna para el "Entscheidungsproblem" Piza Volio, Eduardo Entscheidungsproblem lógica de primer orden problema de decisión first order logic decision problem 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". Universidad de Costa Rica 2005-05-01 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Article Text application/pdf https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504 Revista de Filosofía de la Universidad de Costa Rica; Revista de Filosofía : Volumen 43, Número 109-110 Revista de Filosofía de la Universidad de Costa Rica; Revista de Filosofía : Volumen 43, Número 109-110 2215-5589 0034-8252 spa https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504/7175 Derechos de autor 2014 Revista de Filosofía de la Universidad de Costa Rica
institution Universidad de Costa Rica
collection Revista de Filosofía de la Universidad de Costa Rica
language spa
format Online
author Piza Volio, Eduardo
spellingShingle Piza Volio, Eduardo
Una solución moderna para el "Entscheidungsproblem"
author_facet Piza Volio, Eduardo
author_sort Piza Volio, Eduardo
description 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".
title Una solución moderna para el "Entscheidungsproblem"
title_short Una solución moderna para el "Entscheidungsproblem"
title_full Una solución moderna para el "Entscheidungsproblem"
title_fullStr Una solución moderna para el "Entscheidungsproblem"
title_full_unstemmed Una solución moderna para el "Entscheidungsproblem"
title_sort una solución moderna para el "entscheidungsproblem"
publisher Universidad de Costa Rica
publishDate 2005
url https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504
work_keys_str_mv AT pizavolioeduardo unasolucionmodernaparaelentscheidungsproblem
_version_ 1810116440936677376

Ejemplares similares