Ruta de lectura · 12 etapas seleccionadas
Historia de la computación
Un ordenador reúne formas de expresar una tarea, ejecutar instrucciones, almacenar información e intercambiar mensajes. Esta ruta recorre doce publicaciones, experimentos y sistemas para preguntar cómo llegaron a conectarse esos problemas y qué demostró cada desarrollo.
De expresar una regla a ejecutar un programa
Las notas de Lovelace invitan a imaginar una máquina que ejecuta una secuencia de operaciones. Boole estudia cómo analizar matemáticamente el razonamiento, mientras que el modelo de Turing precisa la computación mediante reglas y muestra límites de los procedimientos generales de resolución. La lectura conjunta permite distinguir tres preguntas: cómo describir una tarea, qué constituye un procedimiento de cálculo y si existe tal procedimiento para una tarea determinada. Estas publicaciones abordan problemas relacionados, con objetivos y alcances propios.
El Baby de Mánchester y FORTRAN trasladan la lectura a la relación entre instrucciones y sistemas en funcionamiento. El Baby puso a prueba una máquina capaz de ejecutar un programa guardado en memoria electrónica. El compilador de FORTRAN tradujo expresiones matemáticas a código máquina, con la eficiencia de ejecución como objetivo importante. Conviene comparar dónde se guardan las instrucciones, cómo expresa una persona un cálculo y cómo lo ejecuta la máquina. Distinguir entre un modelo matemático, un lenguaje y un sistema implementado ayuda a entender el alcance de cada aportación.
Dispositivos, comunicación y aprendizaje resuelven problemas distintos
Los relatos del transistor y del circuito integrado tratan de los componentes electrónicos y sus conexiones. La teoría de la información de Shannon estudia cómo medir mensajes y transmitirlos de manera fiable bajo las restricciones de un canal. ARPANET ofrece un caso de intercambio de paquetes entre ordenadores; la Web aborda la navegación por información enlazada sobre internet. Son capas diferentes de un sistema: mejorar un componente no crea por sí solo un protocolo de red, y transmitir un mensaje con fiabilidad no establece su veracidad ni su significado.
La retropropagación y Transformer añaden preguntas sobre el entrenamiento de un modelo y la representación de relaciones dentro de secuencias. El artículo de 1986 debe leerse junto con los antecedentes del método, y el de 2017 junto con el alcance de sus experimentos de traducción automática. Ajustar un modelo hacia un objetivo de entrenamiento deja pendiente evaluar sus resultados. La ruta termina con un artículo de arquitectura seleccionado; quedan fuera muchos usos de la computación y numerosas líneas de investigación. La lógica, la programación, el hardware y la comunicación conservan interés propio, sin estar destinados a culminar en una única forma de inteligencia artificial.
La línea del tiempo de esta ruta
1843 (traducción y Notas)
Lovelace explora las máquinas programables
Empieza distinguiendo la publicación de ideas sobre una máquina programable de la puesta en funcionamiento de un ordenador completo. Las notas permiten preguntar qué operaciones puede expresar un programa, sin perder de vista la colaboración en torno a la Máquina Analítica.
1854 (publicación de Las leyes del pensamiento)
Boole aplica el álgebra a la lógica y la probabilidad
Observa cómo el razonamiento se convierte en objeto de análisis algebraico. Distingue el trabajo matemático de Boole de sus adaptaciones posteriores a la lógica digital y del trabajo específico de Shannon sobre comunicación.
1936 (artículo sobre números computables)
Turing modela los límites de la computación
Pregunta qué significa seguir un procedimiento general de cálculo y por qué algunas tareas carecen de él. El relato también recoge el resultado relacionado de Church y separa el modelo matemático de la construcción de ordenadores electrónicos.
1947 (experimentos con el transistor de contacto puntual)
Un transistor de contacto puntual amplifica una señal
Pasa de las reglas formales a un dispositivo físico que amplifica una señal. Distingue los experimentos con contactos puntuales, su anuncio público posterior y el desarrollo de otros diseños de transistor.
21 de junio de 1948 (ejecución del primer programa)
El Baby de Mánchester ejecuta un programa guardado en memoria electrónica
Sigue un programa desde su almacenamiento en memoria electrónica hasta su ejecución. Esta prueba experimental de la computación con programa almacenado tiene un alcance concreto, más útil para la lectura que un título irrestricto de primer ordenador.
1948 (artículo publicado en dos partes)
Shannon formula matemáticamente la información y la comunicación
Compara transmitir un mensaje de manera fiable con comprender su contenido. La información medida mediante probabilidades no mide directamente la verdad ni el significado.
1957 (entrega del compilador a los usuarios)
FORTRAN convierte expresiones matemáticas en código máquina eficiente
Examina cómo un lenguaje y su compilador cambiaron la forma de expresar cálculos numéricos. La entrega de un sistema de compilación utilizable constituye un hito concreto dentro del desarrollo más amplio de los lenguajes de programación.
1958–1959 (circuito experimental y concepto de integración planar)
Los circuitos integrados reúnen componentes y conexiones en un semiconductor
Compara el circuito experimental con la propuesta posterior de integración planar. Distinguir etapas y colaboradores ayuda a entender por qué reunir componentes en un mismo material también exigía resolver problemas de conexión y fabricación.
1969 (conexión de los primeros nodos)
ARPANET conecta ordenadores de investigación mediante paquetes
Sigue la conexión de ordenadores mediante conmutación de paquetes, incluida la necesidad de depurar la comunicación inicial. Distingue esta red de investigación del desarrollo posterior de internet en su conjunto y de la Web.
9 de octubre de 1986 (publicación en Nature)
La retropropagación muestra cómo una red multicapa aprende representaciones internas
Relaciona la regla de la cadena del cálculo con el ajuste de pesos en una red multicapa. Lee este artículo influyente con sus antecedentes, sin tratar su publicación como la invención simultánea de todas las partes del método.
1989–1991 (propuesta, implementación y difusión)
La Web pasa de una propuesta de hipertexto a un servicio operativo
Desplaza la atención desde conectar ordenadores hasta enlazar documentos y navegar entre ellos. La propuesta, la implementación y la difusión más amplia muestran cómo la Web se desarrolló como un servicio sobre internet.
12 de junio de 2017 (primera versión pública del artículo)
Transformer organiza el modelado de secuencias mediante atención
Examina cómo se organizó la atención en una arquitectura de modelado de secuencias y cómo se probó en traducción automática. Distingue sus resultados de las aplicaciones conversacionales posteriores, de los antecedentes de la atención y de las afirmaciones sobre inteligencia general.
Preguntas para seguir explorando
¿Por qué ARPANET y la Web son paradas distintas?
Permiten ver problemas diferentes. El relato de ARPANET trata de conectar ordenadores de investigación e intercambiar paquetes; el de la Web, de información enlazada, navegadores y servidores que funcionan sobre internet. Leerlos por separado conserva las aportaciones del trabajo en redes, los protocolos compartidos y los servicios de información, sin atribuir a todo internet una única fecha de nacimiento.
¿Cómo conviene interpretar las conexiones entre estos relatos?
Sirven para comparar preguntas y condiciones de desarrollo, sin suponer que cada resultado causó directamente el siguiente. Un modelo matemático, un experimento electrónico, un compilador y una arquitectura de aprendizaje establecen cosas distintas. Los límites de Turing no desaparecen cuando un dispositivo se vuelve más rápido, y el artículo de Transformer no convierte la inteligencia artificial en un destino inevitable de la computación.