Grigore Moisil
Cet article est une ébauche concernant un mathématicien roumain.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.
| 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) |
Grigore C. Moisil (né le à Tulcea, Roumanie - mort le à Ottawa, Canada) était un mathématicien roumain, membre de l'Académie roumaine.
Biographie
[modifier | modifier le code]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
[modifier | modifier le code]- Grigore Moisil (dir.), Materialismul dialectic si stintele naturii, Bucarest, Editura Politica, 1965
Notes et références
[modifier | modifier le code]- 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 ).
