Grigore Constantin Moisil ( rumano: [ɡriˈɡore mo.iˈsil] ; 10 de enero de 1906 - 21 de mayo de 1973) fue un matemático rumano , pionero de la informática y miembro de la Academia rumana . Su investigación se centró principalmente en los campos de la lógica matemática ( Łukasiewicz-Moisil álgebra ), lógica algebraica , MV-álgebra y ecuaciones diferenciales . Se le considera el padre de la informática en Rumanía.
Grigore C. Moisil | |
---|---|
![]() Grigore Moisil en un sello rumano de 2006 | |
Nació | 10 de enero de 1906 |
Fallecido | 21 de mayo de 1973 | (67 años)
Ciudadanía | Rumania |
alma mater | Universidad Politécnica de Bucarest |
Conocido por | Łukasiewicz – Moisil álgebra Lógica algebraica MV-álgebra |
Carrera científica | |
Campos | Matemáticas , lógica y lógica matemática |
Instituciones | Universidad de Bucarest |
Tesis | La mécanique analytique des systemes continus (1929) |
Consejeros de doctorado | Gheorghe Țițeica Dimitrie Pompeiu |
Estudiantes de doctorado | Peter L. Hammer |
Moisil también fue miembro de la Academia de Ciencias de Bolonia y del Instituto Internacional de Filosofía. En 1996, la IEEE Computer Society le otorgó póstumamente el premio Computer Pioneer .
Biografía
Grigore Moisil nació en 1906 en Tulcea en una familia intelectual . Su bisabuelo, Grigore Moisil (1814–1891), un clérigo , fue uno de los fundadores de la primera escuela secundaria rumana en Năsăud . Su padre, Constantin Moisil (1876-1958), fue profesor de historia, arqueólogo y numismático ; como miembro de la Academia Rumana , ocupó el puesto de Director de la Oficina de Numismática de la Academia. Su madre, Elena (1863-1949), fue maestra en Tulcea, más tarde directora de la escuela "Maidanul Dulapului" en Bucarest (ahora escuela " Ienăchiță Văcărescu ").
Grigore Moisil asistió a la escuela primaria en Bucarest, luego a la escuela secundaria en Vaslui y Bucarest (en la escuela secundaria " Spiru Haret ") entre 1916 y 1922. En 1924 fue admitido en la Escuela de Ingeniería Civil de la Universidad Politécnica de Bucarest , y también en Matemáticas. Escuela de la Universidad de Bucarest . Mostró un mayor interés por las matemáticas, por lo que abandonó la Universidad Politécnica en 1929, a pesar de haber aprobado ya todos los exámenes de tercer año. En 1929 defendió su Ph.D. tesis, La mécanique analytique des systemes continus (Mecánica analítica de sistemas continuos), ante una comisión dirigida por Gheorghe Țițeica , con Dimitrie Pompeiu y Anton Davidoglu como miembros. La tesis fue publicada el mismo año por la editorial Gauthier-Villars de París y recibió comentarios favorables de Vito Volterra , Tullio Levi-Civita y Paul Lévy .
En 1930, Moisil fue a la Universidad de París para continuar sus estudios en matemáticas, que finalizó al año siguiente con el artículo Sobre una clase de sistemas de ecuaciones con derivadas parciales de la física matemática . En 1931 regresó a Rumania, donde fue nombrado profesor en la Escuela de Matemáticas de la Universidad de Iaşi . Poco después, se fue por una beca de un año de la Fundación Rockefeller para estudiar en Roma . En 1932 regresó a Iaşi, donde permaneció durante casi 10 años, desarrollando una estrecha relación con el profesor Alexandru Myller . Impartió el primer curso de álgebra moderna en Rumania, llamado Lógica y teoría de la prueba , en la Universidad de Iaşi. Durante ese tiempo, comenzó a escribir una serie de artículos basados en las obras de Jan Łukasiewicz en lógica multivalor . Su investigación en lógica matemática sentó las bases para un trabajo significativo realizado posteriormente en Rumania, así como en Argentina , Yugoslavia , Checoslovaquia y Hungría . Mientras estuvo en Iaşi, completó una investigación notable por las muchas ideas nuevas y por su forma de encontrar y utilizar nuevas conexiones entre conceptos de diferentes áreas de las matemáticas. Fue ascendido a profesor titular en noviembre de 1939.
En 1941, se abrió un puesto de profesor en la Universidad de Bucarest , y Moisil lo solicitó. Sin embargo, Gheorghe Vrânceanu , Dan Barbilian y Miron Nicolescu también solicitaron el puesto, y Vrânceanu lo consiguió. Moisil se acercó al Ministerio de Educación, argumentando que sería una gran oportunidad para las matemáticas en Rumania si los cuatro pudieran ser nombrados. Como resultado de su apelación, se contrató a los cuatro matemáticos. Moisil se trasladó a Bucarest , donde se convirtió en profesor en la Escuela de Matemáticas (más tarde Escuela de Matemáticas e Informática) de la Universidad de Bucarest, el 30 de diciembre de 1941.
De 1946 a 1948, Moisil tomó una excedencia y fue nombrado enviado plenipotenciario a Ankara . Mientras estuvo en Turquía , dio varias series de conferencias de matemáticas en la Universidad de Estambul y en la Universidad Técnica de Estambul .
En 1948, reanudó la docencia en la Universidad de Bucarest. Ese mismo año, fue elegido miembro de la Academia Rumana y miembro del Instituto de Matemáticas de la Academia Rumana . Después de 1965, uno de sus estudiantes destacados, George Georgescu , trabajó en estrecha colaboración con él en lógicas de múltiples valores, y después del surgimiento de Rumania de la dictadura en 1989, se convirtió en profesor de Matemáticas y Lógica en la misma universidad y departamento que Moisil en 1991. [1] Su alumno también publicó un trabajo extenso y original sobre lógica algebraica , MV-álgebra , álgebra , topología algebraica , categorías de MV-álgebras , teoría de categorías y álgebra Łukasiewicz-Moisil . [2] [3] [4] [5] [6] [7] [8]
Trabaja
Moisil publicó artículos sobre mecánica , análisis matemático , geometría , álgebra y lógica matemática . Desarrolló una extensión multidimensional de la derivada areolar de Pompeiu y estudió las funciones monogénicas de una variable hipercompleja con aplicaciones a la mecánica. Moisil también introdujo algunas álgebras de muchos valores , a las que llamó álgebras de Łukasiewicz (ahora también llamadas álgebras de Łukasiewicz-Moisil ), y las usó en lógica y el estudio de la teoría de autómatas . Creó nuevos métodos para analizar autómatas finitos y tuvo muchas contribuciones al campo de la teoría de autómatas en álgebra.
Mientras que las primeras contribuciones de Moisil fueron en matemáticas, más tarde dedicó su actividad científica a la lógica matemática y la informática . Fue profesor de lógica matemática e informática en la Universidad de Bucarest , y también enseñó lógica booleana en la Universidad Politécnica de Bucarest . En 1957 ayudó a instalar la primera computadora rumana en el Instituto de Física Atómica, y alentó a varios de sus estudiantes a aprender programación de computadoras. Por lo tanto, jugó un papel fundamental en el desarrollo de la informática en Rumania y en la crianza de las primeras generaciones de informáticos rumanos. Además, varios de los libros de Moisil tuvieron un impacto en el comienzo de la informática: Incercari Vechi Si Noi en Logica Neoclasica [Nuevos y viejos enfoques en la lógica neoclásica], 1953; Teoria Algebrica a Mecanismelor Automate [Teoría algebraica de los autómatas], 1959; y Circuite cu Tranzistori [Circuitos transistorizados], 1961. Estos libros fueron traducidos a varios idiomas, incluidos el ruso y el checo . Además, dio conferencias en varias universidades de Europa y América del Norte. [9]
Moisil fue miembro de la Academia de Rumania y de la Academia de Bolonia. En 1996, fue galardonado póstumamente con el premio Computer Pioneer Award otorgado por el Institute of Electrical and Electronics Engineers Computer Society .
Ver también
- lógica booleana
- Álgebra de De Morgan
- Jan Łukasiewicz
Lógica de Łukasiewicz
- Lógica ternaria
- Celosías
- Lógica multivalor :
Łukasiewicz – Moisil álgebras
- Lógica cuántica :
Computadoras cuánticas
- Lógica algebraica :
MV-álgebra
- Lógica simbólica :
Lógica matemática
- Álgebra
- Teoría de categorías :
Lógica categórica , Functores adjuntos
- Instituto de Ingenieros Eléctricos y Electrónicos
Notas
- ^ Prof.dr. Georgescu George . Departamento de Matemáticas e Informática de Bucarest
- ^ Lógica y matemáticas algebraicas . 2009. GNUL contribuyó con un libro de más de 500 autores contribuyentes.
- ^ Categoría algebraica de LM n -álgebras lógicas Archivado el 15 de mayo de 2016 en el Archivo Web Portugués. planetphysics.org
- ^ Georgescu, George; Vraciu, Constantin (1970). "Sobre la caracterización de álgebras de Lukasiewicz centradas" . Revista de álgebra . 16 (4): 486–495. doi : 10.1016 / 0021-8693 (70) 90002-5 .
- ^ Georgescu, G. (2006). "Lógicas con valores N y Łukasiewicz – Moisil Algebras". Axiomates . 16 (1–2): 123-136. doi : 10.1007 / s10516-005-4145-6 .
- ^ Orden de convergencia y distancia en álgebras de Lukasiewicz-Moisil . planetmath.org
- ^ Lógica cuántica ŁM-algebraica . planetmath.org
- ^ Lista de publicaciones generada en la web . philpapers.org
- ^ "Grigore C. Moisil | Sociedad de Informática IEEE" . Consultado el 6 de octubre de 2020 .
Publicaciones Seleccionadas
- Logique modale , Disquisit. Matemáticas. Phys. 2 (1942), 3-98. SEÑOR0020524
- Introducir en algebră. I. Inele şi ideale [Introducción al álgebra. I. Anillos e ideales], Editura Academiei Republicii Popular Române, Bucarest, 1954. MR0069136
- Teoria algebrică a mecanismelor automate [Teoría algebraica de las máquinas automáticas], Academia Republicii Popular Romîne, Editura Tehnică, Bucarest, 1959. MR0120120
- Circuite cu tranzistori [Circuitos de transistores], Editura Academiei Republicii Popular Romîne, Bucarest, 1961–62. OCLC 15371418
- Théorie structurelle des automates finis , Gauthier-Villars, París, 1967. OCLC 9049760
- La teoría algebraica de los circuitos de conmutación , Pergamon Press , Oxford, Nueva York, 1969. ISBN 0-08-010148-8
Libros y artículos sobre Moisil
- George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, "Grigore C. Moisil (1906-1973) y su escuela en lógica algebraica" , Revista Internacional de Computadoras, Comunicaciones y Control, vol. 1 (2006), núm. 1, 81–99.
- Solomon Marcus , "Grigore C. Moisil: Una vida que se convierte en un mito" , Revista Internacional de Computadoras, Comunicaciones y Control , vol. 1 (2006), núm. 1, 73–79.
- Viorica Moisil, "Érase una vez ... Grigore Moisil" ( A fost odată ... Grigore Moisil ), Bucarest: Curtea Veche, 2002. ISBN 973-8356-09-1
- Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu y Cătălin Ioniţă, "GC Moisil memorial issue", Multiple-Valued Logic 6 (2001), no. 1-2. Gordon y Breach , Yverdon, 2001. MR1817431
enlaces externos
- O'Connor, John J .; Robertson, Edmund F. , "Grigore Moisil" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
- Grigore Moisil en el Proyecto de genealogía matemática