Grigore Moisil
Grigore C. Moisil (né le à Tulcea, Roumanie - mort le à Ottawa, Canada) était un mathématicien roumain, membre de l'Académie roumaine.
Ambassadeur de Roumanie en Turquie (d) | |
---|---|
- |
Naissance | |
---|---|
Décès | |
Nom de naissance |
Grigore Constantin Moisil |
Nationalités | |
Formation | |
Activités | |
Père |
Constantin Moisil (en) |
Parentèle |
Grigore Moisil (d) (arrière-grand-père) |
A travaillé pour | |
---|---|
Membre de | |
Directeurs de thèse | |
Distinctions |
Prix d'Etat de la République populaire roumaine () Hero of Socialist Labour (d) () Computer Pioneer Award () |
Łukasiewicz–Moisil algebra (d) |
Biographie
modifierGrigore Moisil enseigna à l'Université Alexandre-Jean-Cuza de Iași, la plus ancienne du pays, fondée en 1860 par un décret d'Alexandru Ioan Cuza. Sa recherche a porté principalement sur la logique mathématique, l'algèbre et les équations différentielles. Il a par ailleurs apporté une contribution importante à l'introduction des premiers ordinateurs en Roumanie.
En logique, il a introduit la notion d'algebre trivalente de Lukasiewicz. Il a decrit de maniere axiomatique et algebrique, comme Boole pour la logique bivalente classique, les structures matricielles correspondantes aux theses logiques de Lukasiewicz (un systeme trivalent : vrai, faux, possible)[1]. Moisil a également été membre de l'Académie des sciences de Bologne et de l'Institut international de philosophie.
En 1996 la Société informatique lui a attribué à titre posthume la Récompense de Pionnier informatique.
Bibliographie
modifier- Grigore Moisil (dir.), Materialismul dialectic si stintele naturii, Bucarest, Editura Politica, 1965
Notes et références
modifier- Denise Becchio, « Logique trivalente de Lukasiewicz », Annales scientifiques de l’Université de Clermont-Ferrand 2, tome 66, série Mathématiques,n.16 (1978), p. 33-83, (consulté le ).