Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Григор Константин Мойсил (; 10 января 1906 – 21 мая 1973) — румынский математик, пионер в области вычислительной техники и действительный член Румынской академии. Его исследования проводились главным образом в областях математической логики (алгебра Лукасевича — Мойсила), алгебраической логики, MV-алгебры и дифференциальных уравнений. Он считается отцом информатики в Румынии. Мойсил также был членом Академии наук Болоньи и Международного института философии. В 1996 году Общество компьютерной техники IEEE посмертно наградило его премией «Пионер в области вычислительной техники».
Grigore Constantin Moisil (; 10 January 1906 – 21 May 1973) was a Romanian mathematician, computer pioneer, and titular member of the Romanian Academy. His research was mainly in the fields of mathematical logic (Łukasiewicz–Moisil algebra), algebraic logic, MV algebra, and differential equations. He is viewed as the father of computer science in Romania. Moisil was also a member of the Academy of Sciences of Bologna and of the International Institute of Philosophy. In 1996, the IEEE Computer Society awarded him posthumously the Computer Pioneer Award.
Биография
Григор Мойсил родился в 1906 году в Тульче в семье интеллектуалов. Его прадед, Григор Мойсил (1814–1891), священник, был одним из основателей первой румынской средней школы в Насуде. Его отец, Константин Мойсил (1876–1958), был профессором истории, археологом и нумизматом; как член Румынской академии, он занимал должность директора нумизматического кабинета Академии. Его мать, Елена (1863–1949), была учительницей в Тульче, а затем директором школы "Maidanul Dulapului" в Бухаресте (ныне школа "Ienăchiță Văcărescu"). Григор Мойсил учился в начальной школе в Бухаресте, затем в гимназиях Васлуя и Бухареста (в Colegiul Național „Spiru Haret” din București) с 1916 по 1922 год. В 1924 году он поступил в Школу гражданского строительства Политехнического университета Бухареста, а также в Школу математики Бухарестского университета. Он проявил больший интерес к математике и в 1929 году покинул Политехнический университет, несмотря на то, что уже сдал все экзамены третьего курса. В 1929 году он защитил докторскую диссертацию "La mécanique analytique des systemes continus" (Аналитическая механика непрерывных систем) перед комиссией во главе с Георге Цицейкой, в состав которой входили Димитрие Помпею и Антон Давидоглу. Диссертация была опубликована в том же году издательством Gauthier Villars в Париже и получила положительные отзывы от Вито Вольтерры, Туллио Леви-Чивиты и Поля Леви. В 1930 году Мойсил отправился в Парижский университет для дальнейшего изучения математики, которое завершил в следующем году работой "On a class of systems of equations with partial derivatives" (Об одном классе систем уравнений с частными производными) из математической физики. В 1931 году он вернулся в Румынию, где был назначен преподавателем в Школе математики Ясского университета. Вскоре после этого он получил годовую стипендию Фонда Рокфеллера для обучения в Риме. В 1932 году он вернулся в Яссы, где оставался почти 10 лет, поддерживая тесные отношения с профессором Александру Майллером. Он читал первый в Румынии современный курс алгебры под названием "Логика и теория доказательств" в Ясском университете. В это время он начал писать серию статей, основанных на работах Яна Лукашевича в области многозначной логики. Его исследования в области математической логики заложили основу для значительных работ, выполненных впоследствии в Румынии, а также в Аргентине, Югославии, Чехословакии и Венгрии. Находясь в Яссах, он завершил исследования, примечательные множеством новых идей и умением находить и использовать новые связи между понятиями из различных областей математики. В ноябре 1939 года он был повышен до полного профессора. В 1941 году в Бухарестском университете открылась вакансия профессора, и Мойсил подал заявку. Однако Георге Вранчану, Дан Барбилиан и Мирон Николеску также претендовали на эту должность, и ее получил Вранчану. Мойсил обратился в Министерство образования, утверждая, что назначение всех четырех было бы отличной возможностью для развития математики в Румынии. В результате его обращения все четыре математика были приняты на работу. Мойсил переехал в Бухарест, где 30 декабря 1941 года стал профессором Школы математики (позже Школы математики и информатики) Бухарестского университета. С 1946 по 1948 год Мойсил находился в отпуске по должности полномочного посла в Анкаре. Находясь в Турции, он читал несколько серий лекций по математике в Стамбульском университете и Стамбульском техническом университете. В 1948 году он возобновил преподавание в Бухарестском университете. В том же году он был избран членом Румынской академии и Института математики Румынской академии. После 1965 года один из его учеников, Джордж Жоржеску, тесно сотрудничал с ним в области многозначной логики, а после румынской революции 1989 года в 1991 году стал профессором математики и логики в том же университете и на том же факультете, что и Мойсил. Его ученик также опубликовал обширные оригинальные работы по алгебраической логике, MV-алгебре, алгебре, алгебраической топологии, категориям MV-алгебр, теории категорий и алгебре Лукасевича-Мойсила.
Grigore Moisil was born in 1906 in Tulcea into an intellectual family. His great grandfather, Grigore Moisil (1814–1891), a clergyman, was one of the founders of the first Romanian high school in Năsăud. His father, Constantin Moisil (1876–1958), was a history professor, archaeologist and numismatist; as a member of the Romanian Academy, he filled the position of Director of the Numismatics Office of the Academy. His mother, Elena (1863–1949), was a teacher in Tulcea, later the director of "Maidanul Dulapului" school in Bucharest (now "Ienăchiță Văcărescu" school). Grigore Moisil attended primary school in Bucharest, then high school in Vaslui and Bucharest (at Colegiul Național „Spiru Haret” din București) between 1916 and 1922. In 1924 he was admitted to the Civil Engineering School of the Polytechnic University of Bucharest, and also the Mathematics School of the University of Bucharest. He showed a stronger interest in mathematics, so he quit the Polytechnic University in 1929, despite already having passed all the third year exams. In 1929 he defended his Ph. D. thesis, La mécanique analytique des systemes continus (Analytical mechanics of continuous systems), before a commission led by Gheorghe Țițeica, with Dimitrie Pompeiu and Anton Davidoglu as members. The thesis was published the same year by the Gauthier Villars publishing house in Paris, and received favourable comments from Vito Volterra, Tullio Levi Civita, and Paul Lévy. In 1930 Moisil went to the University of Paris for further study in mathematics, which he finalized the next year with the paper On a class of systems of equations with partial derivatives from mathematical physics. In 1931 he returned to Romania, where he was appointed in a teaching position at the Mathematics School of the University of Iași. Shortly after, he left for a one year Rockefeller Foundation scholarship to study in Rome. In 1932 he returned to Iași, where he remained for almost 10 years, developing a close relationship with professor Alexandru Myller. He taught the first modern algebra course in Romania, named Logic and theory of proof, at the University of Iași. During that time, he started writing a series of papers based on the works of Jan Łukasiewicz in multi valued logic. His research in mathematical logic laid the foundation for significant work done afterwards in Romania, as well as Argentina, Yugoslavia, Czechoslovakia, and Hungary. While in Iași, he completed research remarkable for the many new ideas and for his way of finding and using new connections between concepts from different areas of mathematics. He was promoted to Full Professor in November 1939. In 1941, a position of professor at the University of Bucharest opened up, and Moisil applied for it. However, Gheorghe Vrânceanu, Dan Barbilian, and Miron Nicolescu also applied for the position, and Vrânceanu got it. Moisil approached the Ministry of Education, arguing that it would be a great opportunity for mathematics in Romania if all four could be appointed. As a result of his appeal, all four mathematicians were hired. Moisil moved to Bucharest, where he became a Professor in the School of Mathematics (later the School of Mathematics and Computer Science) at the University of Bucharest, on 30 December 1941. From 1946 to 1948, Moisil took a leave of absence, being named plenipotentiary envoy to Ankara. While in Turkey, he gave several series of mathematics lectures at Istanbul University and Istanbul Technical University. In 1948, he resumed teaching at the University of Bucharest. That same year, he was elected to the Romanian Academy, and a member of the Institute of Mathematics of the Romanian Academy. After 1965, one of his students, George Georgescu, worked closely with him on multi valued logics, and after the Romanian Revolution of 1989, became a Professor of Mathematics and Logic at the same university and department as Moisil in 1991. His student also published extensive, original work on algebraic logic, MV algebra, algebra, algebraic topology, categories of MV algebras, category theory and Łukasiewicz–Moisil algebra.
Работа
Моисил опубликовал статьи по механике, математическому анализу, геометрии, алгебре и математической логике. Он разработал многомерное расширение ареолярной производной Помпею и изучил моногенные функции одной гиперкомплексной переменной с приложениями в механике. Моисил также ввёл некоторые многозначные алгебры, которые он назвал алгебрами Лукашевича (теперь также называемыми алгебрами Лукашевича — Моисила), и использовал их в логике и изучении теории автоматов. Он создал новые методы анализа конечных автоматов и внес значительный вклад в теорию автоматов в алгебре. Если в начале своей карьеры Моисил вносил вклад в математику, то позже он посвятил свою научную деятельность математической логике и информатике. Он был профессором математической логики и информатики в Бухарестском университете, а также преподавал логику Буля в Политехническом университете Бухареста. В 1957 году он участвовал в создании первого румынского компьютера в Институте атомной физики и поощрял нескольких своих студентов к изучению компьютерного программирования. Таким образом, он сыграл фундаментальную роль в развитии информатики в Румынии и в подготовке первых поколений румынских учёных-компьютерщиков. Кроме того, несколько книг Моисила оказали влияние на становление информатики: Încercări Vechi și Noi în Logica Neoclasică [Новые и старые подходы в неоклассической логике], 1953; Teoria Algebrică a Mecanismelor Automate [Алгебраическая теория автоматов], 1959; и Circuite cu Tranzistori [Транзисторные схемы], 1961. Эти книги были переведены на несколько языков, включая русский и чешский. Он также читал лекции в различных университетах Европы и Северной Америки. Моисил был действительным членом Румынской академии и членом Болонской академии. В 1996 году он был посмертно удостоен награды «Компьютерный пионер» Институтом инженеров электротехники и электроники (IEEE) Computer Society.
Moisil published papers on mechanics, mathematical analysis, geometry, algebra and mathematical logic. He developed a multi dimensional extension of Pompeiu's areolar derivative, and studied monogenic functions of one hypercomplex variable with applications to mechanics. Moisil also introduced some many valued algebras, which he called Łukasiewicz algebras (now also named Łukasiewicz–Moisil algebras), and used them in logic and the study of automata theory. He created new methods to analyze finite automata, and had many contributions to the field of automata theory in algebra. Whereas Moisil's early contributions were in mathematics, he later devoted his scientific activity to mathematical logic and computer science. He was a professor of mathematical logic and computer science at the University of Bucharest, and he also taught Boolean logic at the Politehnica University of Bucharest. In 1957 he assisted in setting up the first Romanian computer in the Institute of Atomic Physics, and he encouraged several of his students to learn computer programming. Thus, he played a fundamental role in the development of computer science in Romania, and in raising the first generations of Romanian computer scientists. Furthermore, several of Moisil’s books had an impact on the beginning of computer science: Încercări Vechi și Noi în Logica Neoclasică [New and Old Approaches in Neoclassic Logic], 1953; Teoria Algebrică a Mecanismelor Automate [Algebraic Theory of Automata], 1959; and Circuite cu Tranzistori [Transistorized Circuits], 1961. These books were translated into several languages, including Russian and Czech. He furthermore gave lectures at various universities in Europe and North America. Moisil was a titular member of the Romanian Academy and a member of the Academy of Bologna. In 1996, he was awarded by exception posthumously the Computer Pioneer Award by the Institute of Electrical and Electronics Engineers Computer Society.
Избранные публикации
Логическая модальность, Disquisit. Math. Phys. 2 (1942), 3–98. Введение в алгебру. I. Кольца и идеалы, Editura Academiei Republicii Popular Române, Бухарест, 1954. Алгебраическая теория автоматических машин, Academia Republicii Popular Romîne, Editura Tehnică, Бухарест, 1959. Транзисторные схемы, Editura Academiei Republicii Popular Romîne, Бухарест, 1961–62. Теория структуры конечных автоматов, Gauthier Villars, Париж, 1967. Алгебраическая теория коммутационных схем, Pergamon Press, Оксфорд, Нью-Йорк, 1969.
Logique modale, Disquisit. Math. Phys. 2 (1942), 3–98. Introducere in algebră. I. Inele și ideale [Introduction to algebra. I. Rings and ideals], Editura Academiei Republicii Popular Române, Bucharest, 1954. Teoria algebrică a mecanismelor automate [Algebraic theory of automatic machines], Academia Republicii Popular Romîne, Editura Tehnică, Bucharest, 1959. Circuite cu tranzistori [Transistor Circuits], Editura Academiei Republicii Popular Romîne, Bucharest, 1961–62. Théorie structurelle des automates finis, Gauthier Villars, Paris, 1967. The algebraic theory of switching circuits, Pergamon Press, Oxford, New York, 1969.
Книги и статьи о Moisil
Джордж Жоржеску, Афродита Йоргулеску, Серджио Рудеану, "Григоре К. Мойсил (1906–1973) и его школа алгебраической логики", Международный журнал компьютеров, коммуникаций и управления, т. 1 (2006), № 1, 81–99. Соломон Маркус, "Григоре К. Мойсил: жизнь, превращающаяся в миф", Международный журнал компьютеров, коммуникаций и управления, т. 1 (2006), № 1, 73–79. Виорика Мойсил, "Однажды Григоре Мойсил" (A fost odată Grigore Moisil), Бухарест: Curtea Veche, 2002. Серджио Рудеану, Афродита Йоргулеску, Джордж Жоржеску и Кэтэлин Ионицэ, "Мемориальный выпуск, посвященный Г. К. Мойсилу", Многозначная логика 6 (2001), № 1, 2. Gordon and Breach, Ивердон, 2001.
George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, "Grigore C. Moisil (1906–1973) and his School in Algebraic Logic", International Journal of Computers, Communications & Control, vol. 1 (2006), no.1, 81–99. Solomon Marcus, "Grigore C. Moisil: A life becoming a myth", International Journal of Computers, Communications & Control, vol. 1 (2006), no. 1, 73–79. Viorica Moisil, "Once upon a time Grigore Moisil" (A fost odată Grigore Moisil), Bucharest: Curtea Veche, 2002. Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu and Cătălin Ioniţă, "G. C. Moisil memorial issue", Multiple Valued Logic 6 (2001), no. 1 2. Gordon and Breach, Yverdon, 2001.