Lenguajes y arquitecturas
Barra lateral del artículo
Contenido principal del artículo
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.
Descargas
Detalles del artículo
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
- Los autores/as conservarán sus derechos de autor y garantizarán a la revista el derecho de primera publicación de su obra, el cual estará simultáneamente sujeto a la Licencia de reconocimiento de Creative Commons que permite a terceros compartir la obra, siempre que se indique su autor y su primera publicación en esta revista.
- Los autores/as podrán adoptar otros acuerdos de licencia no exclusiva de distribución de la versión de la obra publicada (p. ej.: depositarla en un archivo digital institucional o publicarla en un volumen monográfico), siempre que se indique la publicación inicial en esta revista.
- Se permite y recomienda a los autores/as difundir su obra a través de Internet (p. ej.: en archivos digitales institucionales o en su página web) antes y durante el proceso de envío.
Citas
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.