- El científico de la computación Tony Hoare, conocido por Quicksort y la lógica de Hoare, falleció a los 92 años
- Tras estudiar clásicas y filosofía, participó en la investigación en programación después de pasar por formación en ruso y trabajo inicial en demostraciones de computadoras
- Entre las anécdotas se cuentan la “apuesta de seis peniques” con su jefe, con la que demostró la superioridad de Quicksort, y su costumbre de ir al cine durante su etapa en Microsoft
- Se le describe como una persona de carácter humilde y con buen humor, que incluso en edad avanzada conservó una memoria clara y una agudeza intelectual notable
- Sus logros para el desarrollo de la informática y su lado humano seguirán siendo una inspiración constante para investigadores de distintas generaciones
La vida y los logros de Tony Hoare
- El 5 de marzo de 2026, Tony Hoare, ganador del Premio Turing y profesor de la Universidad de Oxford, falleció a los 92 años
- Se le considera una figura que creó conceptos fundamentales de la informática, como el algoritmo Quicksort, el lenguaje ALGOL y la lógica de Hoare
- El autor del texto cuenta que visitó a Hoare varias veces en Cambridge y mantuvo una relación personal con él
- En su primer encuentro llevó impresa una entrada de blog para iniciar la conversación, y Hoare, recordando las partes donde se mencionaba su investigación, explicó la expansión drástica de la escala de los programas y las diferencias con los métodos de investigación de los primeros años
Formación académica y primeros años de carrera
- Hoare estudió clásicas y filosofía en la universidad, y después aprendió ruso de forma intensiva en la Joint Services School for Linguists
- Por su interés en la estadística y las computadoras, tras el servicio militar trabajó como demostrador de computadoras de primera generación (demonstrator), especialmente en exposiciones internacionales, incluidas algunas en la Unión Soviética
- Recordaba que en ese tiempo un demostrador no era solo alguien que explicaba, sino un especialista con una comprensión tan profunda que incluso participaba en el desarrollo del código de la máquina
La apuesta de Quicksort y su actitud profesional
- Se presenta una anécdota de su etapa en Elliott Brothers Ltd, cuando le dijo a su jefe que conocía un algoritmo de ordenamiento más rápido y propuso una apuesta de seis peniques
- Quedó demostrado que Quicksort era realmente más rápido, y se dice que el monto de la apuesta sí fue pagado
- El hecho de que primero implementara el algoritmo más lento siguiendo la instrucción de su jefe y luego presentara su propia idea muestra su humildad y dedicación profesional
Personalidad y vida cotidiana
- Durante su etapa en Microsoft Cambridge, se dice que tenía la costumbre de ir a un cine de arte durante la jornada laboral para disfrutar películas
- Sobre eso, él mismo confirmó que “era uno de sus placeres y que la empresa lo permitía”
- Respecto a una cita en línea sobre cómo se retrata a los “genios” en el cine que se le atribuía, comentó que no estaba claro si realmente era suya, pero sí estaba de acuerdo con el contenido
- Subrayó que la capacidad matemática no surge como una inspiración instantánea al estilo del cine, sino que es el resultado de años de reflexión y aprendizaje
Sus opiniones sobre la tecnología y el futuro
- En una conversación sobre el desarrollo futuro de la computación, dejó la frase: “La tecnología que posee el gobierno va varios años por delante de lo que imaginamos”
- Ante una pregunta sobre la posibilidad de tecnologías al nivel del descifrado de códigos, evitó dar una respuesta clara y solo sonrió, mostrando una actitud amante del humor y la ironía
- El autor cierra el texto diciendo que extrañará su humor, su paciencia y su aguda inteligencia
- Le rinde homenaje con “RIP Tony Hoare (1934–2026)”
1 comentarios
Opiniones en Hacker News
Una de mis citas favoritas es: “Hay dos maneras de construir un diseño de software. Una es hacerlo tan simple que claramente no tenga defectos, y la otra es hacerlo tan complicado que los defectos no sean evidentes”.
Siempre he pensado que esto aplica no solo al software, sino también a los sistemas complejos o a la lógica en general.
Dice que el primer método es mucho más difícil y requiere dedicación y visión para perseguir la simplicidad dentro de restricciones físicas y lógicas.
Eso aparece en su conferencia del Premio Turing "The Emperor’s Old Clothes".
Yo la cito con frecuencia. Tony es mi científico de la computación favorito.
Enlace relacionado
Es una historia de cuando Dijkstra se preparaba para el final de su vida y organizaba sus documentos y cartas.
Cuando un profesor le preguntó qué correspondencia debía conservar, Dijkstra dijo desde la cama: “Conserva solo las cartas con Tony y tira el resto”.
Ese profesor recordó, con humor seco, que sus propias cartas también estaban en esa “lista para tirar”.
Enlace relacionado
En Oxford existe la tradición de poner nombres de personas importantes a los edificios.
También quisieron ponerle su nombre a un edificio para el Dr. Hoare, pero “Hoare House” resultaba problemático porque suena igual que “whore”.
Según recuerdo, al final quedó como “C.A.R. Hoare Residence”.
Enlace relacionado
La gente del restaurante de al lado sospechaba al ver entrar y salir a puros estudiantes hombres a todas horas; en ese momento habría sido realmente divertido ponerle “Hoare House”.
Considerando que su trabajo trataba sobre sistemas de comunicación sincronizada para reducir la confusión, hasta la confusión con su nombre quizá sea simbólica.
Es famoso por el null pointer, pero CSP (Communicating Sequential Processes) y occam fueron sus verdaderas obras maestras.
El campo del modelo Actor quizá lo vea distinto, pero de cualquier forma es un logro enorme.
Mi cita favorita suya es “Hay dos maneras de construir software…”. De verdad le queda perfecto.
En su momento no logró volverse algo dominante, pero creo que pronto volverá con fuerza.
En la era del código generado, la verificación es el cuello de botella, así que simplemente tenía razón demasiado pronto.
Un enfoque inspirado en memoria transaccional o en bases de datos parece más prometedor.
Yo tuve una entrevista de DPhil con Tony en el PRG (Programming Research Group) de Oxford.
Haciendo investigación relacionada con CSP pasé bastante tiempo con él.
Me entristece pensar que ahora el proceso TonyHoare está en estado STOP.
Una vez lo conocí en Cambridge. De verdad era un gigante intelectual de gran gentileza.
Cito con frecuencia algo de su conferencia del Premio Turing de 1980, ‘The Emperor’s Old Clothes’.
Cuenta cómo la reprimenda de un jefe —“Le pediste a programadores que hicieran algo que tú no entendías”— terminó señalando la esencia del problema.
Mi interpretación es que, aunque deleguemos trabajo a programadores, compiladores o LLM, si no entendemos el resultado al final pagaremos el precio.
Cuenta que hacia la Pascua de 1961 estudió con Dijkstra, Naur y Landin en un curso sobre ALGOL 60 en Brighton.
Ahí aprendió por primera vez recursión (recursion) y escribió Quicksort.
Recordaba que, gracias a la genialidad de los diseñadores de ALGOL 60, pudo expresar sus ideas con elegancia.
Consideraba que la meta suprema del diseño de lenguajes de programación era permitir expresar buenas ideas con elegancia.
El artículo de Tony An Axiomatic Basis for Computer Programming fue el primer artículo académico que entendí por completo cuando estaba en licenciatura.
Esa experiencia fue el momento que me abrió la puerta a la confianza.
Ahora, 35 años después, me cuesta volver a leer la notación, pero pienso estudiarlo otra vez pidiéndole a una IA que me explique párrafo por párrafo.
Enlace al artículo
Enlace a NotebookLM
El artículo retrospectivo de 30 años después Retrospective: An Axiomatic Basis For Computer Programming
y “How Did Software Get So Reliable Without Proof?” Enlace al PDF
Me impresionó su principio de que “los índices de arreglos siempre deben verificar el límite inferior y el superior”.
Decía que incluso los clientes querían verificaciones seguras en tiempo de ejecución más que eficiencia.
Ya en 1980 advirtió que “ignorar incluso esta seguridad básica sería ilegal en cualquier otra rama de la ingeniería”.
— C.A.R. Hoare, conferencia del Premio Turing de la ACM, 1980
En un evento de MSR Cambridge, un ponente dijo que “en el mundo actual los desarrolladores mayores se quedan atrás”.
Entonces un caballero mayor se puso de pie y dijo en voz baja: “Nosotros también sabemos un poco”.
Ese hombre era Tony Hoare.