Grigore Moisil

Grigore C. Moisil
Grigore Moisil na rumuńskim znaczku z 2006 roku
Urodzić się	10 stycznia 1906 Tulcea , Królestwo Rumunii
Zmarł	21 maja 1973 ( w wieku 67) ( 21.05.1973 ) Ottawa , Ontario , Kanada
Obywatelstwo	Rumunia
Alma Mater	Politechnika w Bukareszcie
Znany z	Algebra Łukasiewicza-Moisila Logika algebraiczna Algebra-MV
Kariera naukowa
Pola	Matematyka , logika i logika matematyczna
Instytucje	Uniwersytet w Bukareszcie
Praca dyplomowa	La mecanique analytique des systemes continus (1929)
Doradcy doktoranci	Gheorghe Țițeica Dimitrie Pompeiu
Doktoranci	Petera L. Hammera

Grigore Constantin Moisil ( rumuński: [ɡriˈɡore mo.iˈsil] ; 10 stycznia 1906 - 21 maja 1973) był rumuńskim matematykiem , pionierem komputerów i tytularnym członkiem Akademii Rumuńskiej . Jego badania dotyczyły głównie logiki matematycznej ( algebra Łukasiewicza-Moisila ), logiki algebraicznej , algebry MV i równań różniczkowych . Uważany jest za ojca informatyki w Rumunii.

Moisil był także członkiem Akademii Nauk w Bolonii i Międzynarodowego Instytutu Filozoficznego. W 1996 roku IEEE Computer Society przyznało mu pośmiertnie nagrodę Computer Pioneer Award.

Biografia

Grigore Moisil urodził się w 1906 roku w Tulczy w rodzinie inteligenckiej . Jego pradziadek Grigore Moisil (1814–1891), duchowny , był jednym z założycieli pierwszej rumuńskiej szkoły średniej w Năsăud . Jego ojciec, Constantin Moisil (1876–1958), był profesorem historii, archeologiem i numizmatykiem ; jako członek Akademii Rumuńskiej objął stanowisko dyrektora Biura Numizmatycznego Akademii. Jego matka Elena (1863–1949) była nauczycielką w Tulcei, później dyrektorem szkoły „Maidanul Dulapului” w Bukareszcie (obecnie szkoła „ Ienăchiță Văcărescu ”).

Grigore Moisil uczęszczał do szkoły podstawowej w Bukareszcie, a następnie do liceum w Vaslui i Bukareszcie (w liceum „ Spiru Haret ”) w latach 1916-1922. W 1924 roku został przyjęty do Szkoły Inżynierii Lądowej Politechniki w Bukareszcie , a także matematyki Szkoła Uniwersytetu w Bukareszcie . Większe zainteresowanie wykazywał matematyką, dlatego w 1929 r. porzucił Politechnikę, mimo zdanych już wszystkich egzaminów trzeciego roku. W 1929 obronił doktorat. Praca dyplomowa, La mécanique analytique des systemes continus (Mechanika analityczna systemów ciągłych), przed komisją kierowaną przez Gheorghe Țițeica , której członkami są Dimitrie Pompeiu i Anton Davidoglu . Teza została opublikowana w tym samym roku przez wydawnictwo Gauthier-Villars w Paryżu i otrzymała pozytywne komentarze od Vito Volterry , Tullio Levi-Civita i Paula Lévy'ego .

W 1930 roku Moisil udał się na Uniwersytet Paryski na dalsze studia z matematyki, które zakończył w następnym roku artykułem O klasie układów równań z pochodnymi cząstkowymi z fizyki matematycznej . W 1931 wrócił do Rumunii, gdzie został powołany na stanowisko nauczyciela w Szkole Matematycznej Uniwersytetu w Jassach . Wkrótce potem wyjechał na roczne Fundacji Rockefellera na studia do Rzymu . W 1932 powrócił do Jass , gdzie pozostał przez prawie 10 lat, rozwijając bliskie stosunki z profesorem Alexandru Myllerem . Prowadził pierwszy w Rumunii kurs nowoczesnej algebry o nazwie Logika i teoria dowodu na Uniwersytecie w Jassach. W tym czasie zaczął pisać serię prac opartych na pracach Jana Łukasiewicza z logiki wielowartościowej . Jego badania nad logiką matematyczną położyły podwaliny pod znaczące prace wykonane później w Rumunii, a także w Argentynie , Jugosławii , Czechosłowacji i Węgry . Podczas pobytu w Jassach ukończył badania wyróżniające się wieloma nowymi pomysłami oraz sposobem znajdowania i wykorzystywania nowych powiązań między pojęciami z różnych dziedzin matematyki. Awansowany na profesora zwyczajnego w listopadzie 1939 r.

otwarto stanowisko profesora na uniwersytecie w Bukareszcie , o które Moisil się ubiegał. Jednak Gheorghe Vrânceanu , Dan Barbilian i Miron Nicolescu również ubiegali się o to stanowisko, a Vrânceanu je otrzymał. Moisil zwrócił się do Ministerstwa Edukacji, argumentując, że powołanie całej czwórki byłoby wielką szansą dla matematyki w Rumunii. W wyniku jego apelu zatrudniono wszystkich czterech matematyków. Moisil przeniósł się do Bukaresztu , gdzie 30 grudnia 1941 został profesorem w Szkole Matematyki (później Szkole Matematyki i Informatyki) Uniwersytetu w Bukareszcie.

Od 1946 do 1948 Moisil wziął urlop, będąc mianowany pełnomocnikiem wysłannika do Ankary . Podczas pobytu w Turcji wygłosił szereg wykładów matematycznych na Uniwersytecie Stambulskim i Uniwersytecie Technicznym w Stambule .

W 1948 wznowił nauczanie na uniwersytecie w Bukareszcie. W tym samym roku został wybrany do Akademii Rumuńskiej i członkiem Instytutu Matematyki Akademii Rumuńskiej . Po 1965 roku jeden z jego uczniów, George Georgescu, ściśle z nim współpracował nad logiką wielowartościową, a po rewolucji rumuńskiej w 1989 roku został profesorem matematyki i logiki na tym samym uniwersytecie i wydziale co Moisil w 1991 roku. Jego uczeń również opublikował obszerne, oryginalne prace dotyczące logiki algebraicznej , algebry MV , algebry , topologii algebraicznej , kategorie algebr MV , teoria kategorii i algebra Łukasiewicza-Moisila .

Praca

Moisil przy swoim biurku

Moisil publikował prace z zakresu mechaniki , analizy matematycznej , geometrii , algebry i logiki matematycznej . Opracował wielowymiarowe rozszerzenie pochodnej areolowej Pompeiu i badał funkcje monogeniczne jednej hiperzłożonej zmiennej z zastosowaniami w mechanice. Moisil wprowadził także kilka algebr wielowartościowych , które nazwał algebrami Łukasiewicza (obecnie nazywanymi także algebrami Łukasiewicza-Moisila ) i używał ich w logice i badaniu teoria automatów . Stworzył nowe metody analizy automatów skończonych i miał wiele wkładów w dziedzinie teorii automatów w algebrze.

Podczas gdy wczesne wkłady Moisila dotyczyły matematyki, później poświęcił swoją działalność naukową logice matematycznej i informatyce . Był profesorem logiki matematycznej i informatyki na Uniwersytecie w Bukareszcie , a także wykładał logikę Boole'a na Uniwersytecie Politehnica w Bukareszcie . W 1957 r. pomagał w ustawianiu pierwszego rumuńskiego komputera w Instytucie Fizyki Atomowej i zachęcał kilkoro swoich studentów do nauki programowania. Odegrał więc zasadniczą rolę w rozwoju tzw informatyki w Rumunii oraz wychowania pierwszych pokoleń rumuńskich informatyków. Ponadto kilka książek Moisila miało wpływ na początek informatyki: Încercări Vechi și Noi în Logica Neoclasică [Nowe i stare podejścia w logice neoklasycznej], 1953; Teoria Algebrică a Mecanismelor Automate [Algebraiczna teoria automatów], 1959; i Circuite cu Tranzistori [Obwody tranzystorowe], 1961. Książki te zostały przetłumaczone na kilka języków, w tym rosyjski i czeski . Ponadto prowadził wykłady na różnych uniwersytetach w Europie i Ameryce Północnej.

Moisil był członkiem tytularnym Akademii Rumuńskiej i członkiem Akademii Bolońskiej. W 1996 roku, wyjątkowo, pośmiertnie otrzymał nagrodę Computer Pioneer Award przyznawaną przez Instytut Inżynierów Elektryków i Elektroników Towarzystwa Komputerowego .

Zobacz też

• Logika boolowska
• algebry De Morgana
• Jana Łukasiewicza

Logika Łukasiewicza

• Logika trójskładnikowa
• Kraty
• Logika wielowartościowa :

Algebry Łukasiewicza-Moisila

• Logika kwantowa :

Komputery kwantowe

• Logika algebraiczna :

Algebra MV

• Logika symboliczna :

Logika matematyczna

• Algebra
• Teoria kategorii :

Logika kategorialna , funktory sprzężone

• Instytut Inżynierii Elektrycznej i Elektroniki

Notatki

Wybrane publikacje

• Tryb logiczny , Disquisit. Matematyka fizyka 2 (1942), 3–98. MR 0020524
• Wprowadzenie do algebry. I. Inele și ideale [Wprowadzenie do algebry. I. Pierścienie i ideały], Editura Academiei Republicii Popular Române, Bukareszt, 1954. MR 0069136
• Teoria algebrică a mecanismelor automate [Algebraiczna teoria maszyn automatycznych], Academia Republicii Popular Romîne, Editura Tehnică, Bukareszt, 1959. MR 0120120
•   Circuite cu tranzistori [Obwody tranzystorowe], Editura Academiei Republicii Popular Romîne, Bukareszt, 1961–62. OCLC 15371418
•   Théorie structurelle des automates finis , Gauthier-Villars, Paryż, 1967. OCLC 9049760
•   Algebraiczna teoria obwodów przełączających , Pergamon Press , Oxford, New York, 1969. ISBN 0-08-010148-8

Książki i artykuły na temat Moisil

• George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, „Grigore C. Moisil (1906–1973) i jego szkoła logiki algebraicznej” , International Journal of Computers, Communications & Control, tom. 1 (2006), nr 1, 81–99.
• Solomon Marcus , „Grigore C. Moisil: życie staje się mitem” , International Journal of Computers, Communications & Control , tom. 1 (2006), nr. 1, 73–79.
•   Viorica Moisil, „Dawno, dawno temu… Grigore Moisil” ( A fost odată… Grigore Moisil ), Bukareszt: Curtea Veche, 2002. ISBN 973-8356-09-1
• Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu i Cătălin Ioniţă, „Wydanie pamięci GC Moisil”, Multiple-Valued Logic 6 (2001), no. 1-2. Gordon and Breach , Yverdon, 2001. MR 1817431

Linki zewnętrzne

• O'Connor, John J.; Robertson, Edmund F. , „Grigore Moisil” , archiwum MacTutor History of Mathematics , University of St Andrews
• Grigore Moisil w Mathematics Genealogy Project