Corrado Bohm
Corrado Bohm · Technologie & ingénierie
Corrado Böhm était un informaticien italien, pionnier de la programmation structurée : avec Giuseppe Jacopini, il démontra le théorème de Böhm–Jacopini (1966), établissant que tout programme peut s'écrire avec la seule séquence, la sélection et l'itération.
1923, Milan, Italie — 2017, Rome, Italie
Italie · Suisse
Corrado Böhm était un informaticien italien, pionnier de la programmation structurée : avec Giuseppe Jacopini, il démontra le théorème de Böhm–Jacopini (1966), établissant que tout programme peut s'écrire avec la seule séquence, la sélection et l'itération. Il apporta aussi des contributions profondes au lambda-calcul (arbre de Böhm, théorème de Böhm) et à la programmation fonctionnelle. Il figure parmi les informaticiens juifs recensés par Jinfo.org et quitta l'Italie en 1942 sous les lois raciales fascistes.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Corrado Böhm était un informaticien italien, pionnier de la programmation structurée : avec Giuseppe Jacopini, il démontra le théorème de Böhm–Jacopini (1966), établissant que tout programme peut s'écrire avec la seule séquence, la sélection et l'itération.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
