Una solución moderna para el "Entscheidungsproblem"
保存先:
| 著者: | |
|---|---|
| フォーマット: | artículo original |
| 状態: | Versión publicada |
| 出版日付: | 2005 |
| その他の書誌記述: | 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". |
| 国: | Portal de Revistas UCR |
| 機関: | Universidad de Costa Rica |
| Repositorio: | Portal de Revistas UCR |
| 言語: | Español |
| OAI Identifier: | oai:portal.ucr.ac.cr:article/7504 |
| オンライン･アクセス: | https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504 |
| キーワード: | Entscheidungsproblem lógica de primer orden problema de decisión first order logic decision problem |