Григоре Моисил

Грегори К. Мойсил
Григоре Мойсил на румынской марке 2006 года
Рожденный	10 января 1906 г. Тулча , Королевство Румыния
Умер	21 мая 1973 г. ) ( 1973-05-21 ) ( 67 лет Оттава , Онтарио , Канада
Гражданство	Румыния
Альма-матер	Политехнический университет Бухареста
Известный	Алгебра Лукасевича–Мойсила Алгебраическая логика MV-алгебра
Научная карьера
Поля	Математика , логика и математическая логика
Учреждения	Университет Бухареста
Диссертация	Аналитическая механика непрерывных систем   (1929)
Докторские консультанты	Георге Шицейка Деметрий Помпей
Докторанты	Питер Л. Хаммер

Григоре Константин Моисил (англ. Румынский: [ɡriˈɡore mo.iˈsil] ; 10 января 1906 — 21 мая 1973) — румынский математик , пионер компьютеров и титульный член Румынской академии . Его исследования были в основном в области математической логики ( алгебра Лукасевича-Мойсила ), алгебраической логики , MV-алгебры и дифференциальных уравнений . Его считают отцом информатики в Румынии.

Моисил также был членом Академии наук Болоньи и Международного института философии. В 1996 году Компьютерное общество IEEE посмертно наградило его премией Computer Pioneer Award.

Биография

Григоре Моисил родился в 1906 году в Тулче в интеллигентной семье. Его прадед, Григоре Мойсил (1814–1891), священнослужитель , был одним из основателей первой румынской средней школы в Нэсэуде . Его отец, Константин Мойсил (1876–1958), был профессором истории, археологом и нумизматом ; будучи членом Румынской Академии , он занимал должность директора Отделения нумизматики Академии. Его мать, Елена (1863–1949), была учительницей в Тулче, позже директором школы «Майданул Дулапулуй» в Бухаресте (ныне школа « Йенэчитэ Вэкэреску »).

Григоре Мойсил посещал начальную школу в Бухаресте, затем среднюю школу в Васлуе и Бухаресте (в средней школе Спиру Харет ) в период с 1916 по 1922 год. В 1924 году он был принят в Школу гражданского строительства Политехнического университета Бухареста , а также в Математическая школа Бухарестского университета . Он проявил более сильный интерес к математике, поэтому бросил Политехнический университет в 1929 году, несмотря на то, что уже сдал все экзамены за третий курс. В 1929 году он защитил кандидатскую диссертацию. диссертация «La mécanique analytique des systemes continus » (Аналитическая механика непрерывных систем) перед комиссией под руководством Георгия Цицейки , в состав которой входили Дмитрий Помпейу и Антон Давидоглу . Диссертация была опубликована в том же году издательством Готье-Виллар в Париже и получила положительные отзывы от Вито Вольтерры , Туллио Леви-Чивита и Поля Леви .

В 1930 году Мойсиль поступил в Парижский университет для дальнейшего изучения математики, которое завершил в следующем году статьей « Об одном классе систем уравнений с частными производными из математической физики» . В 1931 году он вернулся в Румынию, где был назначен на преподавательскую должность в математической школе Ясского университета . Вскоре после этого он уехал, получив годовую стипендию Фонда Рокфеллера, на обучение в Рим . В 1932 году он вернулся в Яссы , где оставался почти 10 лет, установив тесные отношения с профессором Александру Мюллером . Он преподавал первый современной алгебры в Румынии курс под названием «Логика и теория доказательства » в Яссском университете. В это время он начал писать серию статей на основе работ Яна Лукасевича по многозначной логике . Его исследования в области математической логики заложили основу для значительной работы, проделанной впоследствии в Румынии, а также в Аргентине , Югославии , Чехословакии и Венгрии . Находясь в Яссах, он завершил исследование, примечательное множеством новых идей, а также своим способом поиска и использования новых связей между концепциями из разных областей математики. В ноябре 1939 года ему было присвоено звание профессора.

должность профессора Бухарестского университета В 1941 году открылась , на которую подал заявку Моисил. Однако Георге Вранчану , Дэн Барбилян и Мирон Николеску на эту должность также претендовали , и Вранчану ее получил. Моисил обратился в Министерство образования, заявив, что назначение всех четверых станет прекрасной возможностью для математики в Румынии. В результате его обращения все четыре математика были приняты на работу. Мойсил переехал в Бухарест , где 30 декабря 1941 года стал профессором Школы математики (позже Школы математики и информатики) Бухарестского университета.

С 1946 по 1948 год Мойсил взял отпуск, назначаясь полномочным посланником в Анкаре . Находясь в Турции , он прочитал несколько циклов лекций по математике в Стамбульском университете и Стамбульском техническом университете .

В 1948 году он возобновил преподавание в Бухарестском университете. В том же году он был избран членом Румынской академии и членом Института математики Румынской академии . После 1965 года один из его учеников, Джордже Джорджеску, тесно работал с ним над многозначной логикой, а после румынской революции 1989 года стал профессором математики и логики в том же университете и на той же кафедре, что и Моисил, в 1991 году. Его ученик также опубликовал обширные оригинальные работы по алгебраической логике , MV-алгебре , алгебре , алгебраической топологии , категориям MV-алгебр , теории категорий и алгебре Лукасевича–Мойсила .

Работа

Мойсил за своим столом

Моисил опубликовал работы по механике , математическому анализу , геометрии , алгебре и математической логике . Он разработал многомерное расширение ареолярной производной Помпейю и изучил моногенные функции одной гиперкомплексной переменной с приложениями к механике. Мойсил также представил некоторые многозначные алгебры , которые он назвал алгебрами Лукасевича (теперь также называемые алгебрами Лукасевича-Мойсила ), и использовал их в логике и изучении теории автоматов . Он создал новые методы анализа конечных автоматов и внес большой вклад в область теории автоматов в алгебре.

Хотя ранние достижения Моисила были связаны с математикой, позже он посвятил свою научную деятельность математической логике и информатике . Он был профессором математической логики и информатики в Бухарестском университете , а также преподавал булеву логику в Политехническом университете Бухареста . В 1957 году он помог создать первый румынский компьютер в Институте атомной физики и призвал нескольких своих студентов изучить компьютерное программирование. Таким образом, он сыграл фундаментальную роль в развитии информатики в Румынии и в воспитании первых поколений румынских ученых-компьютерщиков. Более того, несколько книг Мойсила оказали влияние на зарождение информатики: Încercări Vechi şi Noi în Logica Neoclasică [Новые и старые подходы в неоклассической логике], 1953; Teoria Algebrică a Mecanismelor Automate [Алгебраическая теория автоматов], 1959; и Circuite cu Tranzistori [Транзисторные схемы], 1961. Эти книги были переведены на несколько языков, в том числе на несколько языков. Русский и Чехия . Кроме того, он читал лекции в различных университетах Европы и Северной Америки.

Мойсил был титулярным членом Румынской академии и членом Болонской академии. В 1996 году он был посмертно награжден премией Computer Pioneer Award от Института инженеров по электротехнике и электронике Компьютерного общества .

См. также

• Булева логика
• Алгебра Моргана
• Ян Лукасевич

Логика Лукасевича

• Тернарная логика
• Решетки
• Многозначная логика :

Алгебры Лукасевича–Мойсила

• Квантовая логика :

Квантовые компьютеры

• Алгебраическая логика :

MV-алгебра

• Символическая логика :

Математическая логика

• Алгебра
• Теория категорий :

Категорическая логика , Сопряженные функторы

• Институт инженеров электротехники и электроники

Примечания

Избранные публикации

• Модальная логика , Disquisit. Математика. Физ. 2 (1942), 3–98. МИСТЕР 0020524
• Введение в алгебру. I. Кольца и идеалы [Введение в алгебру. I. Кольца и идеалы], Издательство Академии Румынской Народной Республики, Бухарест, 1954. М.Р. 0069136
• Алгебраическая теория автоматов , Academia Republicii Popular Romine, Техническое издательство, Бухарест, 1959. MR 0120120
• Circuite cu транзисторы [Транзисторные схемы], Издательство Академии Румынской Народной Республики, Бухарест, 1961–62. ОСЛК   15371418
• Структурная теория конечных автоматов , Готье-Виллар, Париж, 1967. ОСЛК   9049760
• Алгебраическая теория коммутационных цепей , Pergamon Press , Оксфорд, Нью-Йорк, 1969. ISBN   0-08-010148-8

Книги и статьи о Мойсиле

• Джорджеску, Афродита Йоргулеску, Серджиу Рудяну, «Григоре К. Мойсил (1906–1973) и его школа алгебраической логики» , Международный журнал компьютеров, коммуникаций и управления, том 1 (2006), № 1, 81–99. .
• Соломон Маркус , «Григоре К. Мойсил: жизнь становится мифом» , Международный журнал компьютеров, коммуникаций и управления , том. 1 (2006), вып. 1, 73–79.
• Виорика Мойсил, « Однажды... Григоре Мойсил» , Бухарест: Curtea Veche, 2002. ISBN   973-8356-09-1
• Серджиу Рудяну, Афродита Йоргулеску, Джордже Джорджеску и Кэтэлин Ионицэ, «Проблема памяти Г.К. Мойсила», Многозначная логика 6 (2001), вып. 1-2. Гордон и Брич , Ивердон, 2001 г. MR 1817431

Внешние ссылки

• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Григор Мойсил» , Архив истории математики MacTutor , Университет Сент-Эндрюс
• Григоре Моисил в проекте «Математическая генеалогия»