El significado de computar

##plugins.themes.bootstrap3.article.main##

Juan C. Hidalgo-Del Vecchio

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 Pre­dicados de Primer Orden aplicada a números enteros.

Descargas

La descarga de datos todavía no está disponible.

##plugins.themes.bootstrap3.article.details##

Cómo citar
Hidalgo-Del VecchioJ. (2020). El significado de computar. Acta Académica, 18(Mayo), 48-53. Recuperado a partir de http://encuestas.uaca.ac.cr/index.php/actas/article/view/830
Sección
Foro Latinoamericano

Citas

Hopcroft J., Ullman J. Introduction to Autómata Theory, Languages, andComputation. Addison-Westluey, Mass. (1979).
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).