Grigore Constantin Moisil ( rumänisch: [ɡriˈɡore mo.iˈsil] ; 10. Januar 1906 – 21. Mai 1973) war ein rumänischer Mathematiker , Computerpionier und Ehrenmitglied der Rumänischen Akademie . Seine Forschungsschwerpunkte lagen in den Bereichen mathematische Logik ( Łukasiewicz-Moisil-Algebra ), algebraische Logik , MV-Algebra und Differentialgleichungen . Er gilt als Vater der Informatik in Rumänien.

Moisil war außerdem Mitglied der Akademie der Wissenschaften von Bologna und des Internationalen Instituts für Philosophie. 1996 verlieh ihm die IEEE Computer Society posthum den Computer Pioneer Award.

Biographie

Grigore Moisil wurde 1906 in Tulcea in eine intellektuelle Familie geboren. Sein Urgroßvater, Grigore Moisil (1814–1891), ein Geistlicher , war einer der Gründer des ersten rumänischen Gymnasiums in Năsăud . Sein Vater, Constantin Moisil (1876–1958), war Geschichtsprofessor, Archäologe und Numismatiker ; als Mitglied der Rumänischen Akademie leitete er deren numismatisches Büro. Seine Mutter, Elena (1863–1949), war Lehrerin in Tulcea und später Direktorin der Schule „Maidanul Dulapului“ in Bukarest (heute „ Ienăchiță Văcărescu “-Schule).

Grigore Moisil besuchte die Grundschule in Bukarest und anschließend von 1916 bis 1922 das Gymnasium in Vaslui und Bukarest ( Spiru-Haret-Gymnasium ). 1924 wurde er an der Fakultät für Bauingenieurwesen der Polytechnischen Universität Bukarest und gleichzeitig an der Fakultät für Mathematik der Universität Bukarest immatrikuliert . Da er ein stärkeres Interesse an Mathematik zeigte, verließ er die Polytechnische Universität 1929, obwohl er bereits alle Prüfungen des dritten Studienjahres bestanden hatte. Im selben Jahr verteidigte er seine Dissertation „ La mécanique analytique des systemes continus “ (Analytische Mechanik kontinuierlicher Systeme) vor einer Kommission unter der Leitung von Gheorghe Țițeica , der auch Dimitrie Pompeiu und Anton Davidoglu angehörten. Die Dissertation wurde im selben Jahr vom Verlag Gauthier-Villars in Paris veröffentlicht und erhielt positive Kommentare von Vito Volterra , Tullio Levi-Civita und Paul Lévy .

1930 ging Moisil an die Universität Paris , um sein Mathematikstudium fortzusetzen, das er im folgenden Jahr mit der Arbeit „ Über eine Klasse von Gleichungssystemen mit partiellen Ableitungen aus der mathematischen Physik“ abschloss . 1931 kehrte er nach Rumänien zurück und erhielt eine Dozentenstelle an der Mathematischen Fakultät der Universität Iași . Kurz darauf reiste er mit einem Stipendium der Rockefeller-Stiftung für ein Jahr nach Rom , um dort zu studieren . 1932 kehrte er nach Iași zurück , wo er fast zehn Jahre blieb und eine enge Beziehung zu Professor Alexandru Myller aufbaute . An der Universität Iași lehrte er den ersten modernen Algebra- Kurs in Rumänien mit dem Titel „Logik und Beweistheorie“ . Während dieser Zeit begann er, eine Reihe von Aufsätzen zu verfassen, die auf den Arbeiten von Jan Łukasiewicz zur mehrwertigen Logik basierten . Seine Forschungen zur mathematischen Logik legten den Grundstein für bedeutende Arbeiten, die er später in Rumänien, Argentinien , Jugoslawien , der Tschechoslowakei und Ungarn leistete . In Iași schloss er Forschungsarbeiten ab, die sich durch zahlreiche neue Ideen und seine Herangehensweise an die Verknüpfung von Konzepten aus verschiedenen Bereichen der Mathematik auszeichneten. Im November 1939 wurde er zum ordentlichen Professor ernannt.

1941 wurde eine Professur an der Universität Bukarest frei, auf die sich Moisil bewarb. Allerdings bewarben sich auch Gheorghe Vrânceanu , Dan Barbilian und Miron Nicolescu um die Stelle, die schließlich Vrânceanu erhielt. Daraufhin wandte sich Moisil an das Bildungsministerium und argumentierte, dass die Ernennung aller vier eine große Chance für die Mathematik in Rumänien darstellen würde. Dank seines Appells wurden alle vier Mathematiker eingestellt. Moisil zog nach Bukarest , wo er am 30. Dezember 1941 eine Professur an der Fakultät für Mathematik (später Fakultät für Mathematik und Informatik) der Universität Bukarest antrat.

Von 1946 bis 1948 nahm Moisil eine Auszeit, da er zum bevollmächtigten Gesandten in Ankara ernannt worden war . Während seines Aufenthalts in der Türkei hielt er mehrere Vorlesungsreihen in Mathematik an der Universität Istanbul und der Technischen Universität Istanbul .

1948 nahm er seine Lehrtätigkeit an der Universität Bukarest wieder auf. Im selben Jahr wurde er in die Rumänische Akademie gewählt und Mitglied des Mathematischen Instituts der Rumänischen Akademie . Nach 1965 arbeitete einer seiner Schüler, Georgescu, eng mit ihm an mehrwertiger Logik zusammen und wurde nach der Rumänischen Revolution von 1989 im Jahr 1991 Professor für Mathematik und Logik an derselben Universität und demselben Institut wie Moisil. [ 1 ] Sein Schüler veröffentlichte zudem umfangreiche, originelle Arbeiten zur algebraischen Logik , MV-Algebra , Algebra , algebraischer Topologie , Kategorien von MV-Algebren , Kategorientheorie und Łukasiewicz-Moisil-Algebra . [ 2 ] [ 3 ]

Arbeiten

Moisil an seinem Schreibtisch

Moisil veröffentlichte Arbeiten zur Mechanik , Analysis , Geometrie , Algebra und mathematischen Logik . Er entwickelte eine mehrdimensionale Erweiterung der areolaren Ableitung von Pompeius und untersuchte monogene Funktionen einer hyperkomplexen Variablen mit Anwendungen in der Mechanik. Moisil führte außerdem einige mehrwertige Algebren ein, die er Łukasiewicz-Algebren (heute auch Łukasiewicz-Moisil-Algebren genannt ) nannte, und verwendete sie in der Logik und der Automatentheorie . Er entwickelte neue Methoden zur Analyse endlicher Automaten und leistete zahlreiche Beiträge zur Automatentheorie in der Algebra.

Während Moisils frühe Beiträge der Mathematik galten, widmete er sich später der mathematischen Logik und der Informatik . Er war Professor für mathematische Logik und Informatik an der Universität Bukarest und lehrte zudem Boolesche Logik an der Polytechnischen Universität Bukarest . 1957 half er beim Aufbau des ersten rumänischen Computers am Institut für Atomphysik und ermutigte mehrere seiner Studenten, Programmieren zu lernen. Damit spielte er eine grundlegende Rolle in der Entwicklung der Informatik in Rumänien und trug maßgeblich zur Ausbildung der ersten Generationen rumänischer Informatiker bei. Darüber hinaus hatten mehrere seiner Bücher Einfluss auf die Anfänge der Informatik: „ Încercări Vechi și Noi în Logica Neoclasică“ [Neue und alte Ansätze in der neoklassischen Logik], 1953; „ Teoria Algebrică a Mecanismelor Automate“ [Algebraische Theorie der Automaten], 1959; und Circuite cu Tranzistori [Transistorisierte Schaltungen], 1961. Diese Bücher wurden in mehrere Sprachen übersetzt, darunter Russisch und Tschechisch . Er hielt außerdem Vorlesungen an verschiedenen Universitäten in Europa und Nordamerika. [ 4 ]

Moisil war ordentliches Mitglied der Rumänischen Akademie und Mitglied der Akademie von Bologna. 1996 wurde ihm posthum ausnahmsweise der Computer Pioneer Award der Computer Society des Institute of Electrical and Electronics Engineers verliehen .

Siehe auch

Łukasiewicz-Logik

Łukasiewicz-Moisil-Algebren

Quantencomputer

MV-Algebra

Mathematische Logik

Kategorische Logik , Adjungierte Funktoren

Anmerkungen

  1. ^ Prof. Dr. Georgescu George . Fachbereich Mathematik und Informatik der Universität Bukarest
  2. ^ Georgescu, George; Vraciu, Constantin (1970). „Zur Charakterisierung zentrierter Lukasiewicz-Algebren“ . Journal of Algebra . 16 (4): 486–495 . doi : 10.1016/0021-8693(70)90002-5 .
  3. ^ Georgescu, G. (2006). „N-wertige Logiken und Łukasiewicz–Moisil-Algebren“. Axiomathes . 16 ( 1–2 ): 123–136 . doi : 10.1007/s10516-005-4145-6 . S2CID 121264473 . 
  4. ^ „Grigore C. Moisil | IEEE Computer Society“ . Abgerufen am 6. Oktober 2020 .

Ausgewählte Publikationen

  • Modale Logik , Disquisit. Mathe. Physik. 2 (1942), 3–98. HERR 0020524 
  • Einführung in die Algebra. I. Inele și ideale [Einführung in die Algebra. I. Ringe und Ideale], Editura Academiei Republicii Popular Române, Bukarest, 1954. MR 0069136 
  • Teoria algebrică a mecanismelor automate [Algebraische Theorie automatischer Maschinen], Academia Republicii Popular Romîne, Editura Tehnică, Bukarest, 1959. MR 0120120 
  • Circuite cu tranzistori [Transistorschaltungen], Editura Academiei Republicii Popular Romîne, Bukarest, 1961–62. OCLC 15371418 
  • Théorie structurelle des automates finis , Gauthier-Villars, Paris, 1967. OCLC 9049760 
  • Die algebraische Theorie von Schaltkreisen , Pergamon Press , Oxford, New York, 1969. ISBN 0-08-010148-8

Bücher und Artikel über Moisil