The meaning of computing
Main Article Content
Abstract
At the end of the last century and the beginning of the current the German mathematician David Hilbert (1862-1943) embarked on the task of finding a discrete algorithm to determine the falsehood or veracity of any mathematical proposition. What Hilbert was looking for in particular was a mechanical process for determining the veracity of an arbitrary formula in First Order Predicate Calculus applied to whole numbers.
Downloads
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.
References
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).