Lenguajes y arquitecturas

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 comportamient...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: García, Pío, Blanco, Javier
Formato: Artículo revista
Lenguaje:Español
Publicado: Jornadas de Epistemología e Historia de la Ciencia 2020
Materias:
Acceso en línea:https://revistas.unc.edu.ar/index.php/jornadaehc/article/view/28592
Aporte de:
Descripción
Sumario: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.