El significado de computar
##plugins.themes.bootstrap3.article.main##
Resumen
A finales del siglo pasado y principios del corriente el matemático alemán David Hilbert (1862-1943) se embarcó en la tarea de encontrar un algoritmo discreto para determinar la falsedad o veracidad de cualquier proposición matemática. Lo que Hilbert buscaba en particular era un proceso mecánico para determinar la veracidad de una fórmula arbitraria en Cálculo de Predicados de Primer Orden aplicada a números enteros.
Descargas
##plugins.themes.bootstrap3.article.details##
Los autores que publiquen en la Revista ACTA ACADÉMICA aceptan las siguientes condiciones:
De acuerdo con la legislación de derechos de autor, la Revista ACTA ACADÉMICA reconoce y respeta el derecho moral de los autores, así como la titularidad del derecho patrimonial, el cual será cedido a la revista para su difusión en acceso abierto.
La Revista ACTA ACADÉMICA no realiza cargos a las/los autoras/es por enviar y procesar artículos para su publicación.
Todos los textos publicados por la Revista ACTA ACADÉMICA –sin excepción– se distribuyen amparados bajo la licencia Creative Commons que permite a terceros utilizar lo publicado siempre que mencionen la autoría del trabajo y a la primera publicación en esta revista.
Citas
Lewis H, Papadimitriou C. Elements of the Theory of Computation. Prentice Hall, New Jersey (1981).
MacNaughton, R. Elementary Computability, Formal Lan¬guages and Autómata. Prentice Hall, New Jersey (1982).
Rogers, H. Theory of Recursive Functions and Effective Computability. MIT Press, Mass. (1987).
Rosser, B. "Highlights in the History of Lambda Calculus", Communications of ACM, (1982) pp. 216-225.
Selman, A. Complexity Theory Restrospectíve. Springer-Verlag, New York (1990).