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

Григоре К. Мойсил
Григоре Моисил на румынской марке 2006 года
Родившийся	10 января 1906 г. Тулча , Королевство Румыния
Умер	21 мая 1973 г. (1973-05-21)(67 лет) Оттава , Онтарио , Канада
Гражданство	Румыния
Альма-матер	Политехнический университет Бухареста
Известен	Алгебра Лукасевича – Мойсила Алгебраическая логика MV-алгебра
Научная карьера
Поля	Математика , логика и математическая логика
Учреждения	Бухарестский университет
Тезис	La mécanique analytique des systemes continus  (1929).
Докторанты	Gheorghe ieica Dimitrie Pompeiu
Докторанты	Питер Л. Хаммер

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

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

Биография [ править ]

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

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

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

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

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

В 1948 году он возобновил преподавание в Бухарестском университете. В том же году он был избран членом Румынской академии и членом Института математики Румынской академии . После 1965 года один из его выдающихся учеников - Джордж Георгеску - тесно сотрудничал с ним над многозначной логикой, а после выхода Румынии из-под диктатуры в 1989 году он стал профессором математики и логики в том же университете и на том же факультете, что и Мойсил. 1991. ^[1] Его ученик также опубликовал обширную оригинальную работу по алгебраической логике , MV-алгебре , алгебре , алгебраической топологии , категориям MV-алгебр , теории категорий.и алгебра Лукасевича – Мойсила . ^{[2] [3] [4] [5] [6] [7] [8]}

Работа [ править ]

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

В то время как ранний вклад Мойсила был в математику, позже он посвятил свою научную деятельность математической логике и информатике . Он был профессором математической логики и информатики в Бухарестском университете , а также преподавал булеву логику в Политехническом университете Бухареста . В 1957 году он помогал в установке первого румынского компьютера в Институте атомной физики и поощрял нескольких своих студентов изучать компьютерное программирование. Таким образом, он сыграл фундаментальную роль в развитии информатики.в Румынии и в воспитании первых поколений румынских ученых-информатиков. Более того, несколько книг Мойсила оказали влияние на зарождение информатики: Incercari Vechi Si Noi в Logica Neoclasica [Новые и старые подходы в неоклассической логике], 1953; Algebrica Mecanismelor Automate [Алгебраическая теория автоматов], 1959; и Circuite cu Tranzistori [Transistorized Circuits], 1961. Эти книги были переведены на несколько языков, включая русский и чешский. Кроме того, он читал лекции в различных университетах Европы и Северной Америки. ^[9]

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

См. Также [ править ]

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

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

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

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

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

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

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

MV-алгебра

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

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

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

Категориальная логика , присоединенные функторы

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

Заметки [ править ]

Избранные публикации [ править ]

• Модальная логика , Disquisit. Математика. Phys. 2 (1942), 3–98. Руководство по ремонту 0020524
• Представьте на алгебре. I. Inele şi ideale [Введение в алгебру. I. Кольца и идеалы], Editura Academiei Republicii Popular Române, Бухарест, 1954. MR 0069136
• Teoria algebrică a mecanismelor automate [Алгебраическая теория автоматов], Academia Republicii Popular Romîne, Editura Tehnică, Бухарест, 1959. MR 0120120
• Circuite cu tranzistori [Транзисторные схемы], Editura Academiei Republicii Popular Romîne, Бухарест, 1961–62. OCLC 15371418 
• Théorie structurelle des automates finis , Готье-Виллар, Париж, 1967. OCLC 9049760 
• Алгебраическая теория коммутационных схем , Pergamon Press , Oxford, New York, 1969. ISBN 0-08-010148-8 

Книги и статьи по Мойсила [ править ]

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

Внешние ссылки [ править ]

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