Un compilateur méta-circulaire complet, capable de traduire un langage de programmation tout en étant écrit dans ce même langage, a été décrit pour la première fois dans une thèse de doctorat en 1951. Ce travail pionnier de Corrado Böhm a jeté les bases de l'informatique, comblant le fossé entre la théorie mathématique et l'implémentation pratique sur machine grâce à ses recherches approfondies sur la programmation fonctionnelle, le calcul lambda et la logique de programmation structurée.
Fondations académiques
Né à Milan en 1923, Böhm a conservé la citoyenneté du Royaume d'Italie, puis de l'Italie. Il a poursuivi ses études à l'ETH Zurich et à l'École polytechnique fédérale de Lausanne. Sa formation formelle en mathématiques et en logique a fourni la base de sa carrière académique ultérieure en tant que professeur d'université à Turin et à Rome, où il a servi à l'Université de Rome La Sapienza.
Contributions à la programmation structurée
En 1966, Böhm a co-écrit un article séminal avec Giuseppe Jacopini concernant les organigrammes et les machines de Turing. Cette publication a introduit P'', un langage impératif minimal conçu sans instructions GOTO, qui s'est avéré être Turing-complet. Cet effort a été central pour le développement de la programmation structurée, fournissant un cadre théorique qui reste influent dans la conception et l'implémentation des langages de programmation modernes.
Calcul lambda et recherche théorique
Böhm a réalisé des avancées significatives dans le calcul lambda grâce à ce qui est maintenant connu sous le nom de théorème de Böhm. Ce résultat a établi un théorème de séparation pour les formes normales, démontrant que l'équivalence contextuelle pouvait être déterminée par l'égalité syntaxique. De plus, ses recherches sur l'isomorphisme entre les lambda-termes polymorphes et les types de données algébriques, connu sous le nom de codage de Böhm-Berarducci, ont fait progresser l'étude de la sémantique de la programmation fonctionnelle.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissance professionnelle
Tout au long de son mandat à Rome et à Turin, les contributions de Böhm au constructivisme et à la logique combinatoire lui ont valu une reconnaissance internationale. Il a reçu un doctorat honoris causa de l'Université de Milan en 1994 et a été récompensé par le prix EATCS en 2001 pour sa carrière distinguée. Il a également été membre de l'Academia Europaea jusqu'à sa mort à Rome en 2017.
Faits marquants
- Naissance : 1923, Milan - Décès : 2017, Rome - Éducation : ETH Zurich, École polytechnique fédérale de Lausanne - Prix clé : Prix EATCS (2001) - Membre académique : Academia Europaea - Diplôme honorifique : Université de Milan (1994)
Questions posées par les lecteurs
### Qu'est-ce que le codage de Böhm-Berarducci ?
C'est un isomorphisme entre les types de données algébriques strictement positifs et les lambda-termes polymorphes.
### Qu'a démontré l'article de 1966 avec Giuseppe Jacopini ?
Il a introduit P'', le premier langage impératif sans instruction GOTO qui s'est avéré être Turing-complet.
