Григоре Моисил - Grigore Moisil

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

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

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

биография

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

Григоре Моисил посетил Начальная школа в Бухаресте, затем в средней школе в Васлуй и Бухарест (на "Спиру Харет "Средняя школа") с 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 году в порядке исключения посмертно награжден Премия Computer Pioneer посредством Институт инженеров по электротехнике и электронике Компьютерное общество.

Смотрите также

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

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

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

MV-алгебра

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

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

Примечания

  1. ^ Проф. Георгеску Джордж. Департамент математики и информатики Бухареста
  2. ^ Алгебраическая математика и логика. 2009. GNUL предоставил книгу более 500 авторов.
  3. ^ Алгебраическая категория LMп-логические алгебры В архиве 15 мая 2016 г. в Португальском веб-архиве. planetphysics.org
  4. ^ Джорджеску, Джордж; Врачу, Константин (1970). «О характеризации центрированных алгебр Лукасевича». Журнал алгебры. 16 (4): 486–495. Дои:10.1016/0021-8693(70)90002-5.
  5. ^ Георгеску, Г. (2006). "N-значные логики и алгебры Лукасевича – Мойсила". Аксиоматы. 16: 123. Дои:10.1007 / s10516-005-4145-6.
  6. ^ Порядковая сходимость и расстояние на алгебрах Лукасевича – Мойсила. planetmath.org
  7. ^ Квантовая ŁM-алгебраическая логика. planetmath.org
  8. ^ Интернет-список публикаций. philpapers.org
  9. ^ "Григоре К. Мойсил | Компьютерное общество IEEE". Получено 6 октября 2020.

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

  • Модальная логика, Disquisit. Математика. Phys. 2 (1942), 3–98. МИСТЕР0020524
  • Представьте на алгебре. I. Inele şi ideale [Введение в алгебру. I. Кольца и идеалы], Editura Academiei Republicii Popular Române, Бухарест, 1954. МИСТЕР0069136
  • Теория алгебры - механический механизм [Алгебраическая теория автоматов], Academia Republicii Popular Romîne, Editura Tehnică, Бухарест, 1959. МИСТЕР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, Оксфорд, Нью-Йорк, 1969. ISBN  0-08-010148-8

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

внешняя ссылка