Narrativas de la Historia de la Computación

Cómo se descubrió que el pensamiento podía reducirse a operaciones formales. Boole (1847) algebraiza la lógica. Frege (1879) la cuantifica. Gödel (1931) marca sus límites. Turing (1936) la mecaniza. Shannon (1937) la convierte en circuito. Hoy: Lean 4 verifica matemáticas, AlphaProof (2024) trabaja con prueba formal y Gemini Deep Think (2025) resuelve problemas olímpicos en lenguaje natural bajo evaluación humana.

> Sin esta cadena no existe ni un transistor digital ni una línea de código.

De la teoría de juegos de von Neumann (1928) y la decisión secuencial de Bellman (1957) a los algoritmos de búsqueda y planificación que dieron autonomía a Shakey: Dijkstra (1959), A\* (1968) y STRIPS (1971). La cadena continúa por la criptografía (RSA, 1977), los pilares del cloud (MapReduce, 2004), Attention (2017), los algoritmos agénticos (2024) y AlphaEvolve (2025), conservado como resultado provisional mientras madura su evidencia.

> Cada salto de algoritmo es un salto de lo que un ordenador puede hacer útilmente.

La definición conceptual. Babbage (1837) imagina la Analytical Engine. Lovelace (1843) escribe el primer programa. Turing (1936) formaliza qué es computable. von Neumann (1945) define la arquitectura que aún usamos: memoria + CPU + I/O. Autómatas autoreplicantes (1948) anticipan la vida artificial 70 años antes de los virus de ordenador.

> Definir el problema antes que la solución física.

La cadena física. Z3 (Zuse 1941, relés). ENIAC (1946, válvulas, 18.000 tubos). Transistor (Bardeen-Brattain-Shockley 1947). Circuito integrado (Kilby/Noyce 1959). Ley de Moore (1965). El final del Moore clásico (~2019) y los nodos GAA (2022). Almacenamiento exótico: Project Silica (cristal de cuarzo, Microsoft 2019).

> Cada hito acerca el cómputo al límite cuántico de la materia.

Grace Hopper escribe el primer compilador (A-0, 1952). FORTRAN (1957) democratiza la programación científica. COBOL (1959) la empresarial. Unix (Thompson-Ritchie 1969) define el modelo de SO. C (1973), GNU (Stallman 1983), Linux (Torvalds 1991), Git (2005), Docker (2013). En 2024-26: Copilot y coding agents que escriben código casi sin intervención humana.

> El software se construyó hasta poder construirse a sí mismo.

No qué se programa, sino cómo se piensa. Simula (1967) inventa los objetos. Smalltalk (Kay 1980) los populariza. C++ (Stroustrup 1985), Python (van Rossum 1991), Java (Gosling 1995), JavaScript (Eich 1995). TDD/Ágil (2001), funcional (2007), Go+Rust (2010), TypeScript+Swift (2014), microservicios. En 2025: Vibe Coding — código generado por descripción natural, sin teclear lenguaje formal.

> Cada paradigma redefine qué es "fácil de escribir y mantener".

De Intel 4004 (1971, primer microprocesador) al iPhone (Jobs 2007) que cambió la computación móvil para siempre. Pasando por Altair (1975), Apple I/II (Wozniak 1976-77), IBM PC (1981), Mac (1984), arquitectura RISC (Patterson 1980), 386, Pentium, Athlon 64, Ryzen, M1 (Apple 2020), y la revolución RISC-V (2010, ISA libre). 2027: M6 + Vera SoC.

> El cómputo se vuelve íntimo. Está en tu bolsillo, en tu reloj, en tu coche.

Las tortugas ELMER y ELSIE de Grey Walter (1948–49) muestran conducta autónoma con sensores y realimentación. Unimate (1961) industrializa el brazo programable; Shakey (1966–72) integra percepción, A* y STRIPS; SLAM (1986) formaliza la localización probabilística. Europa demuestra conducción asistida a velocidad de autopista con PROMETHEUS (1994), Stanley gana el DARPA Grand Challenge (2005) y, tras Spot y los humanoides, los Robot Foundation Models (2024) buscan transferir habilidades entre cuerpos.

> El cuerpo del cómputo. Empezamos con brazos atornillados; acabamos con humanoides aprendiendo de vídeo.

ARPANET (Roberts 1969, 4 nodos). TCP/IP (Cerf-Kahn 1983). WWW (Berners-Lee 1989, en CERN). Mosaic (Andreessen 1993). Google (Page-Brin 1998). AWS (2006) inventa el cloud. Kubernetes (2014) lo orquesta. Edge + Web3 (2020+) lo descentralizan. La red pasó de 4 universidades estadounidenses a 5.500 millones de personas en 56 años.

> Cada salto multiplica por 10× el alcance del cómputo.

Edgar Codd (IBM 1970) inventa el modelo relacional. System R (1974) y Oracle (1979) lo comercializan. Los 80-90: PostgreSQL, MySQL. NoSQL (2007) por escala web. FAISS (2017), vector DBs (2019), pgvector (2023): la era de los embeddings. MCP (Anthropic 2024): protocolo estándar para que LLMs accedan a datos. 2027: agentic memory persistente.

> De filas y columnas a vectores semánticos. La forma de los datos refleja qué tipo de cómputo los consume.

Más de 80 años de avances y retrocesos. McCulloch-Pitts (1943), la cibernética de Wiener (1948) y Hebb (1949) abren tradiciones que conviven con la IA simbólica bautizada en Dartmouth. Samuel muestra aprendizaje en juegos; Neocognitron, las redes bayesianas, Q-learning, las SVM y LSTM explican por qué el campo no se detuvo durante sus inviernos. Después llegan AlexNet (2012), AlphaGo (2016), Transformer (2017), ChatGPT (2022), el reconocimiento Nobel de 2024 y AlphaGenome (2026). La historia deja de ser un duelo entre símbolos y redes para mostrar una ecología de métodos.

> 80 años de altibajos hasta que la economía y el cómputo alinearon. Hoy define la frontera.

GeForce 256 (Nvidia 1999, primera "GPU"). CUDA (Nvidia 2006) abre la GPU al cómputo general. TPU v1 (Google 2015), primer ASIC para inferencia neuronal. Tensor Cores (Nvidia V100, 2017). Cerebras WSE-1 (2019) — chip del tamaño de una oblea. Etched (2024) — primer ASIC dedicado a Transformer. NVIDIA Rubin (2026), TPU v8 (2027), Vera Rubin Ultra (2027).

> El hardware persigue al software. Cada arquitectura nueva nace para una operación dominante (multiply-add masiva, attention, etc.).

Benioff (1980) y Feynman (1981–82) proponen la idea. Deutsch (1985) la formaliza. Shor (1994) muestra cómo factorizar eficientemente en un computador cuántico ideal. QEC (1995–97) introduce el qubit lógico; siguen Grover, los experimentos NMR, Sycamore, IBM Heron y Willow. Microsoft Majorana 1 (2025) mantiene abierta —y discutida— la vía topológica. Las hojas de ruta de IBM para 2027 se conservan como expectativas, no como hechos consumados.

> El cómputo cuántico no es "más rápido". Es otra cosa. Permite resolver problemas que el cómputo clásico no puede ni intentar.

Cray-1 (Seymour Cray 1976). ASCI Red (1997, primer teraflop). Roadrunner (IBM 2008, primer petaflop). Fugaku (Japón 2020, ARM). Frontier (HPE 2022, primer exaflop). Aurora (Intel 2024). El Capitan (HPE 2024, 2.7 EF). JUPITER (EU 2025, primer exaflop europeo). Cada salto x1000 ha tardado ~10 años.

> La punta de lanza del cómputo. Lo que hoy ocupa una sala — en 25 años cabe en tu móvil.

Monte Carlo (Ulam y von Neumann, 1947), meteorología en ENIAC (1950), SPICE (1973), CFD industrial, motores físicos y Omniverse trazan la tradición de simulación programada. Sora y Genie (2024) añaden entornos generados a partir de datos. Aardvark Weather (2025) transforma observaciones en pronósticos globales y locales mediante aprendizaje, mientras NVIDIA Cosmos amplía datos sintéticos para IA física. “Foundation simulation” (2027) se conserva como hipótesis editorial de orquestación, no como modelo universal anunciado.

> La simulación es la inversa del cómputo: en vez de procesar el mundo, lo crea. Es el futuro del entrenamiento de IA y robots.