Lenguajes y arquitecturas

Contenido principal del artículo

Pío García
Javier Blanco

Resumen

Como es bien sabido, en la búsqueda de lograr una caracterización no ambigua ni circular de procedimiento efectivo, Alan Turing propuso la noción que hoy consideramos estándar de computación. La descripción de los elementos integrantes de una máquina de Turing vendrían a dar cuenta del comportamiento de un ser humano actuando mecánicamente. De esta manera, el aspecto mecánico aparecía como constitutivo de lo computacional. Aquí proponemos una manera de entender algunos aspectos de la historia de la computación a partir de las ideas de efectividad y programabilidad.

Detalles del artículo

Cómo citar
Sección
Historia y filosofía de las ciencias formales
Biografía del autor/a

Pío García, Universidad Nacional de Córdoba

Universidad Nacional de Córdoba

Javier Blanco, Universidad Nacional de Córdoba

Facultad de Matemática, Astronomía, Física y Computación, Universidad Nacional de Córdoba

Cómo citar

Referencias

Aspray, W. (1990). The stored program concept. IEEE Spectrum, 27(9), 51.

Beyer, K. (2009). Grace Hopper and the invention of the information age. Cambridge, MA.: MIT Press.

Blanco, J., & García, P. (2020). En torno a las nociones de efectividad y programabilidad para comprender la noción de computación. En M. O’Lery, L. Federico, & Y. Ariza (Eds.), Filosofía e historia de la ciencia en el cono sur. Selección de trabajos del XI Encuentro de la

Asociación de Filosofía e Historia de la Ciencia del Cono Sur (pp. 102- 109). São Carlos-Buenos Aires: AFHIC.

Copeland, B. J., & Shagrir, O. (2007). Physical computation: How general are Gandy’s principles for mechanisms? Minds and Machines, 17(2), 217-231.

Copeland, B. J., & Shagrir, O. (2019). The Church-Turing thesis: logical limit or breachable barrier? Communications of the ACM, 62, 1, 66-74

Gandy, R. (1980). Church’s thesis and principles for mechanisms. En J. Barwise, H. J. Keisler, & K. Kunen (Eds.), Studies in logic and the foundations of mathematics (pp. 123-148). Elsevier.

Priestley, M. (2011). A science of operations: machines, logic and the invention of programming. Springer Science & Business Media.