Ho incontrato Corrado Bohm quando ero ancora studente di fisica all'Universita' di Roma nel 1964. Il suo corso (l'unico corso di computer science a quel tempo) si chiamava 'Tecnica della programmazione ma era essenzialmente un corso di calcolabilita': macchine di Turing, lambda calcolo, algoritmi di Markov. Un intero nuovo mondo mi si rivelava. Pochi mesi dopo Corrado sedeva nella casa dei miei genitori e mi illustrava i possibili temi della mia tesi: avvolgendo una fascia di Moebius di carta davanti ai miei occhi (e davanti agli occhi stupiti di mia madre!) mi spiegava come quella fascia coglieva il concetto di ricursione. I miei primi anni di lavoro al CNR sotto la sua guida sono stati per me una continua scoperta di nuovi problemi, nuove tecniche algoritmiche, nuovi paradigmi di calcolo, seguendo l'unica rotta della insaziabile curiosita' matematica di Corrado. Apprendere i fondamenti della computer science attraverso i suoi occhi e' stata un'esperienza stupenda. Grazie Corrado!
I first met Corrado Bohm while I still was a student of physics at the University of Rome, in 1964. The title of his course (the only computer science course at that time) was 'Programming Techniques' but it essentially consisted in a computability course: Turing machines, lambda calculus, Markov algorithms.
A whole new world was disclosed to me. A few months later Corrado was sitting in my parents' house discussing possible topics of my Master thesis: twisting a paper Moebius strip in front of my eyes (and in front of the astonished eyes of my mother!) he was explaining me how the Moebius strip could capture the concept of recursion. My first years of work under his guidance at the Italian National Research Council have been for me a continuous discovery of new problems, new clever algorithmic techniques, new computing paradigms, following the unique light of his inexhaustible mathematical curiosity. To learn the foundations of computer science through his eyes has been a wonderful experience. Many thanks, Corrado!