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 |
(à 67 ans) Ottawa |
| 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 Labor (d) () Computer Pioneer Award () |
Łukasiewicz–Moisil algebra (d) |
Biographie
Grigore 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
- Grigore Moisil (dir.), Materialismul dialectic si stintele naturii, Bucarest, Editura Politica, 1965
Notes et références
- 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 ).