Spanish (pdf)
Article in xml format
Article references
Automatic translation
Send this article by e-mail
Permalink
Ver contenido en pdf.
Services on Demand
Journal
Article
Indicators
-
Cited by SciELO -
Access statistics
Related links
-
Similars in
SciELO
Share
Revista de Matemática Teoría y Aplicaciones
Print version ISSN 1409-2433
Rev. Mat vol.23 n.1 San José Jan./Jun. 2016
Artículos
Problemas de decisión y recursividad en sistemas lógicos formales
Decision problems and recursiveness in formal logic systems
1IDEN, Universidad de Panamá, Ciudad de Panamá, Panamá. E-Mail: iveth.martinez@up.ac.pa
2CIMPA, Universidad de Costa Rica, San José, Costa Rica. E-Mail: eduardo.piza@ucr.ac.cr
En la teoría de la recursión se dice que un problema de decisión es recursivamente resoluble si existe un procedimiento mecánico para resolverlo. Dentro del contexto de las lógicas formales, el problema de decisión consiste simplemente en determinar si una fórmula bien formada cualquiera del sistema es, o no es, un teorema.
En este trabajo se analizan, entre otros asuntos, primeramente el famoso problema de decisión de la lógica canónica de primer orden F0 (también llamado Entscheidungsproblem) desde una perspectiva moderna. Luego se estudian los problemas de decisión de las lógicas proposicionales parciales. 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 estos problemas de decisión.
Palabras clave: problemas de decisión; lógicas formales; lógicas de primer orden; lógicas proposicionales parciales; Entscheidungsproblem; sistemas productivos semi-Thue
The recursion theory states that a decision problem is recursively solvable if there is a mechanical process to solve it. Within the context of formal logic, the decision problem consist to determine whether any wellformed formula of the system is a theorem or not.
This paper first discusses, among other things, the famous problem of decision of the canonical first-order logic F0 (also called Entscheidungsproblem) from a modern perspective. Then we study the decision problem of the partial propositional logics. It exploits the development achieved by recursion theory and semi-Thue production systems after the work of Post and Kleene in the 40's and Davis in the early 70's, among others, to explain a solution to these decision problems.
Keywords: decision problems; formal logic; first-order logic; Entscheidungsproblem; partial propositional logics; semi-Thue production systems
REFERENCIAS
Church, A.(1936) "A note on the Entscheidungsproblem", The Journal of Symbolic Logic1(1): 40-41. [ Links ]
Church, A.(1956) Introduction to Mathematical Logic, Vol. 1. Princeton University Press, Princeton NJ. [ Links ]
Davis, M. (1958) Computability and Unsolvability. Dover Publications, New York. [ Links ]
Davis, M.; Weyuker, E.(1983) Computability, Complexity, and Languages. Academic Press, Boston. [ Links ]
Dekker, J.C.E.(1976) Equivalencia Recursiva. Editorial CAEM, San José. [ Links ]
Hennie, F.(1977) Introduction to Computability. Addison-Wesley, Boston, MA. [ Links ]
Hopcroft, J.; Ullman, J.(1979) Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading MA. [ Links ]
Kfoury, A.J.; Moll, R.N.; Arbib, M.A.(1982) A Programming Approach to Computability. Springer-Verlag, New York. [ Links ]
Linial, S.; Post, E.(1949) "Recursive unsolvability of the deductibility, Tarsky's completeness and independence of axioms problems of the propositional calculus", Bulletin of the American Mathematical Society55: 50. [ Links ]
Piza, E.(2001) Aritmética Recursiva y Algunas de sus Aplicaciones, Editorial CIMPA, San José. [ Links ]
Rogers, H.(1967) Theory of Recursive Function and Effective Computability. McGraw-Hill, New York. [ Links ]
Soare, R. (1980) Recursive Enumerate Sets and Degrees: a Study of Computable Functions and Computable Generated Sets. Springer-Verlag, Berlin. [ Links ]
Turing, A.(1936) "On computable numbers, with an application to the "Entscheidungsproblem", Proceedings of the London Mathematical Society42(2) 230-265. [ Links ]
Recibido: 30 de Mayo de 2014; Revisado: 28 de Agosto de 2015; Aprobado: 30 de Septiembre de 2015
Este es un artículo publicado en acceso abierto bajo una licencia Creative Commons
