mercoledì, ottobre 25, 2017

Il 23 ottobre è morto Corrado Böhm, uno dei padri dell'informatica teorica

Ho avuto il privilegio di avere Corrado Böhm come professore quando studiavo alla Sapienza. Lui teneva il corso di Teoria e Applicazione delle Macchine Calcolatrici mentre Giuseppe Jacopini, coautore del teorema di Böhm-Jacopini, teneva il corso di Teoria degli Algoritmi e della Calcolabilità.

Credo che fossero tra i pochi a poter insegnare un teorema con il proprio nome nei loro corsi.
Ricordo i divertenti esercizi con il lambda calcolo e i moduli che dovevamo implementare per la sua Cuch-machine.

Ho un buon ricordo di lui anche dal punto di vista umano.

Sul suo sito si trovano altri ricordi.

Nessun commento: