Behm, Corrado
| Corrado Böhm | |
|---|---|
| Fecha de nacimiento | 17 de enero de 1923 [1] |
| Lugar de nacimiento | |
| Fecha de muerte | 23 de octubre de 2017 [2] (94 años) |
| Un lugar de muerte | |
| País | |
| Esfera científica | ciencias de la computación , programación estructurada , matemáticas constructivas , cálculo lambda , lógica combinacional , programación funcional y la semántica de los lenguajes de programación |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Eduard Stiefel [d] yPaul Bernays |
| Premios y premios | Premio de la Asociación Europea de Informática Teórica [d] ( 2001 ) doctorado honorario de la Universidad de Milán [d] ( 1994 ) |
| Sitio web | corradobohm.it |
| Archivos multimedia en Wikimedia Commons | |
Corrado Böhm ( 17 de enero de 1923 , Milán - 23 de octubre de 2017 , Roma) - Matemático , informático y lógico matemático italiano , que hizo una contribución decisiva a la justificación teórica del paradigma de programación estructurada y obtuvo importantes resultados en el cálculo λ. , lógica combinatoria , semántica de lenguajes de programación ; uno de los primeros investigadores en la teoría de los lenguajes de programación . Profesor de la Universidad Sapienza de Roma , co-fundador de la Facultad de Informática de la Universidad de Turín y Sapienza.
Biografía
Nacido y criado en Milán . En 1942 partió para Suiza, donde ingresó en la Universidad de Lausana . Se graduó en 1946 con un diploma en ingeniería eléctrica , después de lo cual fue aceptado como asistente de investigación en la ETH Zurich [3] .
En 1949-1950, trabajó en el Instituto de Matemáticas Aplicadas de Zurich (parte de la ETH Zurich) en el grupo de Eduard Stiefel ( en alemán: Eduard Stiefel ), Paul Bernays también trabajó entre los líderes de la dirección en el instituto , quien, como señaló más tarde el científico, le había influido una gran influencia, estimulando el interés por las cuestiones teóricas de la computabilidad y las máquinas de Turing . Junto con otro empleado del instituto, Harry Laet, probó la computadora Z4 de Konrad Zuse [4] , que finalmente fue comprada por la Escuela Técnica Superior (y así se convirtió en la primera computadora comercial del mundo). En 1951, bajo la dirección de Stiefel, completó su tesis doctoral, el trabajo se publicó en 1952 y la defensa formal tuvo lugar en 1954.
En 1950 se casa con una artista de Padua , Eva Romanin Yakur, y en 1951 regresa a Italia. En 1953 trabajó en Ivrea en la firma Olivetti , en el mismo año fue aceptado como investigador en el Instituto de Análisis Matemático Aplicado ( en italiano: Istituto per le applicazioni del calcolo ) en Roma . En el instituto, junto con la empresa británica Ferranti , bajo la dirección de Mauro Picone ( italiano: Mauro Picone ), se creó la primera computadora italiana FINAC , y Boehm estaba probando su desempeño [3] . Básicamente, los trabajos del período de la década de 1950 están dedicados a la dirección principal del instituto: cálculo diferencial e integral y sus aplicaciones. En la segunda mitad de la década de 1950 nacieron tres hijas del matrimonio con Eva.
Desde 1960, mientras continuaba trabajando en el Instituto de Análisis Matemático Aplicado, comenzó a impartir cursos de informática en la Universidad Sapienza de Roma , donde aparecieron los primeros estudiantes de posgrado. En 1968 recibió una cátedra.
Desde 1969, fue el director del curso de informática en la Facultad de Ciencias de la Universidad de Turín , en 1974 regresó a Roma en Sapienza. En 1975, organizó una conferencia internacional sobre cálculo λ en la universidad, que se convirtió en el primer evento de este tipo en la dirección y desempeñó un papel importante en su rápido desarrollo en la próxima década. En el mismo año, se unió al consejo editorial de la revista Theoretical Computer Science , donde permaneció hasta sus últimos años; En 1993, la revista dedicó un número especial al 70 aniversario del científico.
En 1990 fue elegido académico de la Academia Europea [5] . En 1994 recibió un título honoris causa de la Universidad de Milán [6] . En 2001 fue galardonado con la Asociación Europea de Ciencias de la Computación Teórica ( Premio EATCS ) [7] por sus logros en el campo de la teoría del lenguaje de programación .
Contribuciones científicas
Como parte de su disertación, creó el lenguaje Formules y un compilador para él. La principal innovación fue que el compilador del lenguaje se desarrolló en el mismo lenguaje, es decir, se convirtió en el primer compilador metacircular completo de la historia [ 8 ] . El texto del compilador tomó sólo 114 líneas de código .
En 1964, creó el lenguaje de programación P′′ , un lenguaje minimalista sin un operador de salto incondicional . En apoyo de la expresividad computacional del lenguaje creado, en colaboración con uno de los estudiantes de la Universidad de La Sapienza, Giuseppe Iacopini, en 1966 demostró la completitud de Turing de P′′, lo que, a su vez, significaba que cualquier algoritmo era expresable con solo tres estructuras de control: control de transmisión secuencial, ramificación y bucle . Este resultado proporcionó una base científica para la programación estructurada: en una nota de 1968, Dijkstra se refirió al teorema de Boehm-Jacopini como una oportunidad para erradicar por completo el operador GOTO de la práctica de programación [9] , después de lo cual el paradigma obtuvo una aceptación general.
Desde mediados de la década de 1960, ha estado trabajando en problemas de cálculo λ. Entre los resultados obtenidos se encuentra un teorema sobre la inconsistencia del enunciado sobre la equivalencia de varios λ-términos en forma -normal (es decir, no tienen subtérminos cerrados de la forma y , donde no es una variable libre en ). Esta declaración implica directamente la integridad de Hilbert-Post del cálculo λ extensional . Además de la importancia del resultado en sí mismo, los métodos para probar la afirmación resultaron estar en demanda: Barendregt utilizó la técnica de inversión de términos de Boehm para asociar cada término con una construcción que llamó el árbol de Boehm , notable por el hecho de que que en la topología de Scott sobre estos árboles todas las funciones definibles del cálculo λ son continuas [10] . Otro trabajo en el campo del cálculo λ que influyó en la teoría de los lenguajes de programación fue la construcción a principios de la década de 1970 con un alumno de Mariangiola Dezani-Ciancaglini ( italiano: Mariangiola Dezani-Ciancaglini ) de una máquina abstracta con un call-by -estrategia de cálculo de nombre con procesamiento automático de -conversión.
Bibliografía seleccionada
- C. Böhm. Calculadoras digitales. Di déchiffrage des formules logico-mathématiques par la machine même dans la concepción du program // Annali di Matematica Pura ed Applicata. - 1954. - T. 37 , N º 4 . - S. 175-217 .
- C. Böhm. Sobre una familia de máquinas de Turing y lenguaje de programación relacionado // Boletín del Centro Internacional de Computación. - 1964. - V. 3 , N º 3 . — publicación sobre P′′
- C. Böhm, G. Jacopini. Diagramas de flujo, máquinas de Turing y lenguajes con solo dos reglas de formación // Comunicaciones de la ACM . - 1966. - V. 5 , N º 9 . - S. 366-371 . - artículo con el teorema de Boehm-Jacopini
- C. Böhm. Alcune proprietà delle forme normali nel calcolo // Publicazioni del'Istituto per le applicazioni del calcolo. - Nº 696 . - un artículo con el teorema de Böhm sobre la separabilidad de términos en forma normal y que contiene la técnica de inversión de términos
- C. Böhm, M. Dezani-Ciancaglini. ¿Se puede ignorar la sintaxis durante la traducción? // Autómatas, Lenguajes y Programación / M. Nivat. - Ámsterdam: Holanda Septentrional, 1972. - S. 197-207 . — un artículo sobre la estrategia de cálculo de call-by-name conconversión
- λ-Cálculo y Teoría de las Ciencias de la Computación / C. Böhm (editor). - Berlín: Springer-Verlag, 1975. - T. 37. - 383 p. — (Apuntes de clase en informática). — ISBN 3-540-07416-3 . - materiales del simposio sobre λ-cálculo en informática, realizado del 25 al 27 de marzo de 1975
Notas
- ↑ 1 2 http://www.corradobohm.it/Corrado_Bohm/Biography.html
- ↑ http://www.cnrs.fr/ins2i/spip.php?article2697
- ↑ 1 2 Biografía, 2013 .
- ↑ Herbert Bruderer. Historia de la computación más allá del Reino Unido y los EE. UU.: puntos de referencia seleccionados de Europa continental // Comunicaciones de la ACM. - 2017. - T. 60 , N º 2 . - S. 76-84 . -doi : 10.1145/ 2959085 .
- ↑ Corrado Böhm . Academia Europaea (24 de octubre de 2017). Consultado el 8 de enero de 2018. Archivado desde el original el 24 de enero de 2021.
- ↑ En memoria de Corrado Böhm (1923-2017) . Università degli Studi di Roma "La Sapienza" (23 de octubre de 2017). Consultado el 8 de enero de 2018. Archivado desde el original el 8 de enero de 2018.
- ↑ Premio EATCS . Asociación Europea de Ciencias de la Computación Teórica (1 de enero de 2018). Consultado el 8 de enero de 2018. Archivado desde el original el 17 de enero de 2018.
- ↑ Donald E. Knuth, Luis Trabb Pardo. El desarrollo temprano de los lenguajes de programación // Una historia de la computación en el siglo XX / N. Metropolis, I. Howlett, Gian-Carlo Rota. N.Y .: Academic Press . - S. 200-276 . — ISBN 0-12-491650-3 .
- ↑ E. Dijkstra. Ir a comunicado considerado nocivo // Comunicaciones de la ACM . - 1968. - T. 11 , N º 3 . — S. 147–148 . -doi : 10.1145/ 362929.362947 .
- ↑ Barendregt, Henk . Capítulo 10. Árboles de Boehm // Cálculo Lambda. Su sintaxis y semántica = El Cálculo Lambda. Su sintaxis y semántica / traducido del inglés por G. E. Mints. - M .: Mir , 1985. - S. 19, 46, 220-276. — 606 pág. - 4800 copias.
Enlaces
- Biografía y bibliografía de Corrado Böhm . corradobohm.it (26 de enero de 2013). Fecha de acceso: 7 de enero de 2017. Archivado desde el original el 17 de febrero de 2017.
 sitios temáticos | ||||
|---|---|---|---|---|
| ||||