Un compilador metacircular completo, capaz de traducir un lenguaje de programación mientras está escrito en ese mismo lenguaje, fue descrito por primera vez en una tesis doctoral de 1951. Este trabajo pionero de Corrado Böhm estableció una base para la informática, cerrando la brecha entre la teoría matemática y la implementación práctica en máquinas a través de su extensa investigación en programación funcional, cálculo lambda y lógica de programas estructurados.
Base académica
Nacido en Milán en 1923, Böhm mantuvo la ciudadanía en el Reino de Italia y más tarde en Italia. Cursó sus estudios en la ETH Zúrich y en el Instituto Federal Suizo de Tecnología en Lausana. Su formación formal en matemáticas y lógica proporcionó la base para su posterior carrera académica como profesor universitario en Turín y Roma, donde sirvió en la Universidad de Roma La Sapienza.
Contribuciones a la programación estructurada
En 1966, Böhm fue coautor de un artículo fundamental con Giuseppe Jacopini sobre diagramas de flujo y máquinas de Turing. Esta publicación introdujo P'', un lenguaje imperativo mínimo diseñado sin sentencias GOTO, que demostró ser Turing-completo. Este esfuerzo fue central para el desarrollo de la programación estructurada, proporcionando un marco teórico que sigue siendo influyente en el diseño e implementación de lenguajes de programación modernos.
Cálculo lambda e investigación teórica
Böhm realizó avances significativos en el cálculo lambda a través de lo que ahora se conoce como el teorema de Böhm. Este resultado estableció un teorema de separación para formas normales, demostrando que la equivalencia contextual podía determinarse mediante la igualdad sintáctica. Además, su investigación sobre el isomorfismo entre lambda-términos polimórficos y tipos de datos algebraicos, conocido como la codificación de Böhm-Berarducci, impulsó el estudio de la semántica de la programación funcional.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Reconocimiento profesional
A lo largo de su mandato en Roma y Turín, las contribuciones de Böhm al constructivismo y la lógica combinatoria le valieron reconocimiento internacional. Recibió un doctorado honoris causa de la Universidad de Milán en 1994 y fue galardonado con el Premio EATCS en 2001 por su distinguida carrera. También fue miembro de la Academia Europaea hasta su muerte en Roma en 2017.
Datos rápidos
- Nacimiento: 1923, Milán - Fallecimiento: 2017, Roma - Educación: ETH Zúrich, Instituto Federal Suizo de Tecnología en Lausana - Premio clave: Premio EATCS (2001) - Miembro académico: Academia Europaea - Título honorífico: Universidad de Milán (1994)
Preguntas frecuentes de los lectores
### ¿Qué es la codificación de Böhm-Berarducci?
Es un isomorfismo entre tipos de datos algebraicos estrictamente positivos y lambda-términos polimórficos.
### ¿Qué demostró el artículo de 1966 con Giuseppe Jacopini?
Introdujo P'', el primer lenguaje imperativo sin sentencias GOTO que demostró ser Turing-completo.
