Grigore Moisil - Grigore Moisil - Wikipedia

Grigore C. Moisil
Známky Rumunska, 2006-009.jpg
Grigore C. Moisil na rumunské známce z roku 2006
narozený10. ledna 1906
Tulcea, Rumunsko
Zemřel21. května 1973(1973-05-21) (ve věku 67)
Ottawa, Ontario, Kanada
NárodnostRumunsko
Alma materPolytechnická univerzita v Bukurešti
Známý jakoŁukasiewicz – Moisil algebra, Algebraická logika a MV-algebra
Vědecká kariéra
PoleMatematika, logika a matematická logika
InstituceUniverzita v Bukurešti
Doktorský poradceGheorghe Ţiţeica
Dimitrie Pompeiu
DoktorandiPeter L. Hammer

Grigore Constantin Moisil (Rumunština:[ɡriˈɡore mo.iˈsil]; 10. ledna 1906 - 21. května 1973) byl a rumunština matematik, počítač průkopník a člen rumunské akademie. Jeho výzkum byl zaměřen hlavně na oblasti matematická logika (Łukasiewicz – Moisil algebra ), algebraická logika, MV-algebra, a diferenciální rovnice. On je viděn jako otec počítačová věda v Rumunsku.

Moisil byl také členem Akademie věd v Bologni a Mezinárodního filozofického institutu. V roce 1996 IEEE Computer Society udělil mu posmrtně Počítačový průkopník Cena.

Životopis

Grigore Moisil se narodil v roce 1906 v Tulcea do města intelektuální rodina. Jeho pradědeček Grigore Moisil (1814–1891), a duchovní, byl jedním ze zakladatelů první rumunská střední škola v Năsăud. Jeho otec, Constantin Moisil (1876–1958), profesor historie, archeolog a numizmatik; jako člen Rumunská akademie, nastoupil na pozici ředitele Numismatické kanceláře Akademie. Jeho matka Elena (1863–1949) byla učitelkou v Tulcei, později ředitelkou školy „Maidanul Dulapului“ v Bukurešť (Nyní "Enăchiţă Văcărescu "škola).

Zúčastnil se Grigore Moisil základní škola v Bukurešti, poté střední škola v Vaslui a Bukurešť (v „Spiru Haret „Střední škola) v letech 1916 až 1922. V roce 1924 byl přijat na Střední školu stavební Polytechnická univerzita v Bukurešti, a také Matematická škola Univerzita v Bukurešti. Ukázal větší zájem o matematiku, a proto v roce 1929 opustil Polytechnickou univerzitu, přestože již složil všechny zkoušky pro třetí ročník. V roce 1929 obhájil své Ph.D. teze, La mécanique analytique des systemes continus (Analytická mechanika spojitých systémů), před komisí pod vedením Gheorghe Ţiţeica, s Dimitrie Pompeiu a Anton Davidoglu jako členové. Práce byla téhož roku vydána nakladatelstvím Gauthier-Villars v Paříž, a obdržel příznivé komentáře od Vito Volterra, Tullio Levi-Civita, a Paul Lévy.

V roce 1930 šel Moisil do University of Paris pro další studium matematiky, které v následujícím roce zakončil referátem Na třídě systémů rovnic s parciálními derivacemi z matematické fyziky. V roce 1931 se vrátil do Rumunska, kde byl jmenován učitelem na Matematické škole v Brně University of Iaşi. Krátce poté odešel na jeden rok Rockefellerova nadace stipendium ke studiu v Řím V roce 1932 se vrátil do Iaşi, kde pobýval téměř 10 let a rozvíjel blízký vztah s profesorem Alexandru Myller. Učil první moderní algebra kurz v Rumunsku, pojmenovaný Logika a teorie důkazuna univerzitě v Iaşi. Během této doby začal psát sérii článků založených na dílech Jan Łukasiewicz v vícehodnotová logika. Jeho výzkum v oblasti matematické logiky položil základ významné práce provedené poté v Rumunsku a také Argentina, Jugoslávie, Československo, a Maďarsko. Zatímco v Iaşi, dokončil výzkum pozoruhodný pro mnoho nových myšlenek a pro jeho způsob hledání a používání nových spojení mezi pojmy z různých oblastí matematiky. V listopadu 1939 byl povýšen na řádného profesora.

V roce 1941 působil jako profesor na Univerzita v Bukurešti otevřel se a Moisil o to požádal. Nicméně, Gheorghe Vrânceanu, Dan Barbilian, a Miron Nicolescu také požádal o pozici a Vrânceanu ji získal. Moisil se obrátil na ministerstvo školství s argumentem, že by to byla velká příležitost pro matematiku v Rumunsku, kdyby mohli být jmenováni všichni čtyři. V důsledku jeho odvolání byli všichni čtyři matematici najati. Moisil se přestěhoval do Bukurešť, kde se dne 30. prosince 1941 stal profesorem na Matematické škole (později Škola matematiky a informatiky) na univerzitě v Bukurešti.

Od roku 1946 do roku 1948 si Moisil vzal volno a byl jmenován zplnomocněný vyslanec pro Ankara. Zatímco v krocan, měl několik sérií matematických přednášek na Istanbulská univerzita a Istanbulská technická univerzita.

V roce 1948 pokračoval ve výuce na univerzitě v Bukurešti. Téhož roku byl zvolen do rumunské akademie a členem Matematický ústav Rumunské akademie. Po roce 1965 jeden z jeho vynikajících studentů - George Georgescu - úzce s ním spolupracoval na vícehodnotové logice a po nástupu Rumunska z diktatury v roce 1989 se stal profesorem matematiky a logiky na stejné univerzitě a katedře jako Moisil v roce 1991.[1] Jeho student také publikoval rozsáhlou originální práci o algebraická logika, MV-algebra, algebra, algebraická topologie, kategorie MV-algebry, teorie kategorií a Łukasiewicz – Moisil algebra.[2][3][4][5][6][7][8]

Práce

Moisil publikoval příspěvky na mechanika, matematická analýza, geometrie, algebra a matematická logika. Vyvinul vícerozměrné rozšíření Pompeiu areolární derivát a studoval monogenní funkce jednoho hyperkomplex proměnná s aplikacemi v mechanice. Moisil také představil některé mnohocenné algebry, kterou nazval Łukasiewiczovy algebry (nyní také pojmenované Łukasiewicz – Moisil algebry ), a použil je v logice a studiu teorie automatů. Vytvořil nové metody pro analýzu konečné automaty, a měl mnoho příspěvků do oblasti teorie automatů v algebře.

Zatímco první příspěvky Moisila byly v matematice, později se věnoval své vědecké činnosti matematická logika a počítačová věda. Byl profesorem matematické logiky a výpočetní techniky na Univerzita v Bukurešti a také učil Logická logika na Politehnica University v Bukurešti. V roce 1957 pomáhal při přípravě prvního rumunského počítače na Ústavu atomové fyziky a povzbudil několik svých studentů, aby se učili počítačové programování. Proto hrál zásadní roli ve vývoji počítačová věda v Rumunsku a při výchově prvních generací rumunských počítačových vědců. Několik Moisilových knih mělo navíc vliv na počátek počítačové vědy: Incercari Vechi Si Noi in Logica Neoclasica [New and Old Approaches in Neoclassic Logic], 1953; Teoria Algebrica a Mecanismelor Automate [Algebraická teorie automatů], 1959; a Circuite cu Tranzistori [Transistorized Circuits], 1961. Tyto knihy byly přeloženy do několika jazyků, včetně ruštiny a češtiny. Dále přednášel na různých univerzitách v Evropě a Severní Americe. [9]

Moisil byl členem akademie v Rumunsku a akademie v Bologni. V roce 1996 mu byla posmrtně udělena výjimka Cena Computer Pioneer podle Institute of Electrical and Electronics Engineers Počítačová společnost.

Viz také

Łukasiewiczova logika

Łukasiewicz – Moisil algebry

Kvantové počítače

MV-algebra

Matematická logika

Kategorická logika,Sloučené funktory

Poznámky

  1. ^ Prof. dr. Georgescu George. Katedra matematiky a informatiky v Bukurešti
  2. ^ Algebraická matematika a logika. 2009. GNUL přispěla knihou více než 500 přispívajících autorů.
  3. ^ Algebraická kategorie LMn-logické algebry Archivováno 15. května 2016 v portugalském webovém archivu. planetphysics.org
  4. ^ Georgescu, George; Vraciu, Constantin (1970). „K charakterizaci centrovaných Lukasiewiczových algeber“. Journal of Algebra. 16 (4): 486–495. doi:10.1016/0021-8693(70)90002-5.
  5. ^ Georgescu, G. (2006). „N-Valued Logics and Łukasiewicz – Moisil Algebras“. Axiomathes. 16: 123. doi:10.1007 / s10516-005-4145-6.
  6. ^ Objednejte konvergenci a vzdálenost na algebrách Lukasiewicz – Moisil. planetmath.org
  7. ^ Kvantová ŁM-algebraická logika. planetmath.org
  8. ^ Seznam publikací vytvořený na webu. philpapers.org
  9. ^ „Grigore C. Moisil | IEEE Computer Society“. Citováno 6. října 2020.

Vybrané publikace

  • Logický model, Disquisit. Matematika. Phys. 2 (1942), 3–98. PAN0020524
  • Představte se v algebře. I. Inele a myšlenka [Úvod do algebry. I. Prsteny a ideály], Editura Academiei Republicii Popular Române, Bukurešť, 1954. PAN0069136
  • Teoria algebrică a mecanismelor automatizovat [Algebraická teorie automatických strojů], Academia Republicii Popular Romîne, Editura Tehnică, Bukurešť, 1959. PAN0120120
  • Circuite cu tranzistori [Transistor Circuits], Editura Academiei Republicii Popular Romîne, Bukurešť, 1961–62. OCLC  15371418
  • Théorie structurelle des automates finisGauthier-Villars, Paříž, 1967. OCLC  9049760
  • Algebraická teorie spínacích obvodů, Pergamon Press, Oxford, New York, 1969. ISBN  0-08-010148-8

Knihy a články o Moisilu

externí odkazy