Румыниялық математик және компьютер ғылымының негізін қалаушы Григоре Мойсил
Grigore Moisil
Григоре Константин Мойсил: румыниялық математик, компьютер ғылымының негізін қалаушы. Логика, алгебра, дифференциал теңдеулердегі зерттеулері. IEEE сыйлығы.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Григор Константин Моисил (10 қаңтар 1906 – 21 мамыр 1973) – румын математигі, компьютер саласының пионері және Румын академиясының толық мүшесі. Оның зерттеулері негізінен математикалық логика (Łukasiewicz–Moisil алгебрасы), алгебралық логика, MV алгебрасы және дифференциалдық теңдеулер саласында болды. Ол Румынияда компьютер ғылымының негізін қалаушы деп есептеледі. Моисил сонымен қатар Болонья ғылым академиясының және Халықаралық философия институтының мүшесі болды. 1996 жылы IEEE Computer Society оған қайтыс болғаннан кейін «Компьютер пионері» сыйлығын берді.
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" мектебі). Григор Мойсил бастауыш мектепті Бухарестте, содан кейін 1916–1922 жылдар аралығында Васлуй мен Бухарестте (Colegiul Național „Spiru Haret” din București) орта мектепте оқыды. 1924 жылы Бухарест политехникалық университетінің азаматтық инженерлік мектебіне, сондай-ақ Бухарест университетінің математикалық мектебіне қабылданды. Математикаға деген қызығушылығы арта түскендіктен, 1929 жылы политехникалық университеттің үшінші курстық емтихандарын тапсырғанына қарамастан, оқуын тастады. 1929 жылы «Тұрақты жүйелердің аналитикалық механикасы» (La mécanique analytique des systems continus) тақырыбындағы докторлық диссертациясын Георге Țițeica басқаратын комиссия алдында, мүшелері Дмитрий Помпею және Антон Давидоглу қатысуымен қорғады. Диссертация сол жылы Париждегі Gauthier Villars баспасында жарияланды және Вито Вольтерра, Туллио Леви-Чивита және Поль Левиден жағымды пікірлер алды. 1930 жылы Мойсил математиканы тереңдету үшін Париж университетіне оқуға барып, келесі жылы «Математикалық физикадан алынған жартылай туындылары бар теңдеулер жүйелерінің класы туралы» мақаласын аяқтады. 1931 жылы Румынияға оралып, Яссы университетінің математика мектебінде оқытушылық қызметке тағайындалды. Көп ұзамай ол Рокфеллер қорының бір жылдық стипендиясымен Римге оқуға кетті. 1932 жылы Яссыға оралып, онда 10 жылға жуық уақыт профессор Александру Мюллермен тығыз қарым-қатынас орнатты. Ол Румыниядағы алғашқы қазіргі заманғы алгебра курсын, «Логика және дәлелдеу теориясы» деп атап, Яссы университетінде оқыды. Сол кезде ол Ян Лукашевичтің көп мәнді логикадағы еңбектеріне негізделген бірқатар мақалалар жаза бастады. Оның математикалық логикадағы зерттеулері кейіннен Румынияда, сондай-ақ Аргентинада, Югославияда, Чехословакияда және Венгрияда жасалған маңызды жұмыстардың негізін қалады. Яшиде жүргенде ол көптеген жаңа идеялармен және математиканың әртүрлі салаларындағы тұжырымдамалар арасындағы жаңа байланыстарды табу және пайдалану жолымен ерекше зерттеулер жүргізді. 1939 жылы қарашада профессор атағына ие болды. 1941 жылы Бухарест университетінде профессорлық қызмет ашылды, сондықтан Мойсил оған өтініш берді. Алайда Георге Вранчану, Дан Барбилян және Мирон Николеску де бұл лауазымға өтініш білдірді және Вранчану алды. Мойсил білім министрлігіне жүгінді, егер төрт адам да тағайындалса, бұл Румыниядағы математика үшін үлкен мүмкіндік болар еді деп дәлелдеді. Оның өтініші бойынша төрт математик те жұмысқа алынды. Мойсил Бухарестке көшіп барды, онда ол Бухарест университетінің математика мектебінің профессоры болды (кейін математика және компьютерлік ғылым мектебі), 1941 жылдың 30 желтоқсанында. 1946 жылдан 1948 жылға дейін Мойсил Анкараға өкілетті елші болып тағайындалды. Түркияда жүргенде Стамбул университетінде және Стамбул техникалық университетінде бірнеше математикалық лекциялар берді. 1948 жылы Бухарест университетінде сабақ беруді жалғастырды. Сол жылы ол Румын академиясының мүшесі және Румын академиясының математика институтының мүшесі болып сайланды. 1965 жылдан кейін оның студенттерінің бірі Джордж Жоржеску онымен бірге көп мәнді логика бойынша тығыз жұмыс істеді, ал 1989 жылғы Румын төңкерісінен кейін 1991 жылы Мойсил сияқты сол университет пен кафедрада математика және логика профессоры болды. Оның студенті алгебралық логика, MV алгебра, алгебра, алгебралық топология, MV алгебраларының санаттары, категориялар теориясы және Łukasiewicz–Moisil алгебрасы бойынша ауқымды, түпнұсқалық еңбектер жариялады.
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.
Жұмыс
Моисил механика, математикалық талдау, геометрия, алгебра және математикалық логика салаларында еңбектер жариялады. Ол Помпейудің ареолярлы туындысының көп өлшемді кеңейтуін жасады және механикаға қолданылатын бір гиперкомплексті айнымалының моногендік функцияларын зерттеді. Моисил сондай-ақ көпмәнді алгебраларды енгізді, оларды ол Łukasiewicz алгебралары деп атады (қазір Łukasiewicz–Moisil алгебралары деп те аталады) және оларды логикада және автоматтар теориясын зерттеуде пайдаланды. Ол шекті автоматтарды талдау үшін жаңа әдістер жасады және алгебрадағы автоматтар теориясына көп үлес қосты. Моисилдің алғашқы еңбектері математикаға қатысты болса, кейіннен ол өзінің ғылыми қызметін математикалық логика мен компьютерлік ғылымға арнады. Ол Бухарест университетінде математикалық логика және компьютерлік ғылымдар профессоры болды, сондай-ақ Бухарест политехникалық университетінде Бульдік логиканы оқытты. 1957 жылы ол Атомдық физика институтында Румынияның алғашқы компьютерін орнатуға көмектесті және бірнеше студенттерін компьютерлік бағдарламалауды үйренуге ынталандырды. Осылайша ол Румынияда компьютерлік ғылымның дамуында және румындық компьютерлік ғалымдардың алғашқы буындарын тәрбиелеуде маңызды рөл атқарды. Сонымен қатар, Моисилдің бірнеше кітабы компьютерлік ғылымның бастауына әсер етті: Încercări Vechi și Noi în Logica Neoclasică [Неоклассикалық логикадағы жаңа және ескі тәсілдер], 1953; Teoria Algebrică a Mecanismelor Automate [Автоматтардың алгебралық теориясы], 1959; және Circuite cu Tranzistori [Транзисторлық тізбектер], 1961. Бұл кітаптар бірнеше тілге, оның ішінде орыс және чех тілдеріне аударылды. Ол сондай-ақ Еуропа мен Солтүстік Американың түрлі университеттерінде лекциялар оқыды. Моисил Румын академиясының толық мүшесі және Болонья академиясының мүшесі болды. 1996 жылы ол өлімінен кейін ерекше жағдай бойынша Электр және электроника инженерлерінің компьютерлік қоғамының «Компьютерлік изашар» сыйлығымен марапатталды.
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.
Моизил туралы кітаптар мен мақалалар
Джордж Жоржеску, Афродита Иоргулеску, Сержиу Рудеану, "Григор С. Моисил (1906–1973) және оның алгебралық логика мектебі", International Journal of Computers, Communications & Control, 1 том (2006), №1, 81–99 беттер. Соломон Маркус, "Григор С. Моисил: Мифке айналған өмір", International Journal of Computers, Communications & Control, 1 том (2006), № 1, 73–79 беттер. Виорика Моисил, "Бір кезде Григор Моисил" (A fost odată Grigore Moisil), Бухарест: Curtea Veche, 2002. Сержиу Рудеану, Афродита Иоргулеску, Джордж Жоржеску және Каталин Ионице, "Г. С. Моисилге арналған естелік саны", Көп мәнді логика 6 (2001), № 1, 2. Гордон және Брейч, Ивердон, 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.