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 titular de la Academia Rumana . Su investigación se centró principalmente en los campos de la lógica matemática ( álgebra de Łukasiewicz-Moisil ), la lógica algebraica , el álgebra MV y las ecuaciones diferenciales . Se le considera el padre de la informática en Rumania.
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 .
Grigore Moisil nació en 1906 en Tulcea en el seno de una familia intelectual . Su bisabuelo, Grigore Moisil (1814-1891), 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 cargo de Director de la Oficina de Numismática de la Academia. Su madre, Elena (1863-1949), era profesora en Tulcea y 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 la Escuela de Matemáticas 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 del tercer año. En 1929 defendió su doctorado. 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 designado para un puesto docente en la Escuela de Matemáticas de la Universidad de Iași . Poco después partió con 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 los trabajos de Jan Łukasiewicz sobre lógica multivalor . Su investigación en lógica matemática sentó las bases para un importante trabajo 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ó una plaza de profesor en la Universidad de Bucarest y Moisil presentó su solicitud. 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 mudó a Bucarest , donde se convirtió en profesor de 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 se ausentó y fue nombrado enviado plenipotenciario en 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 alumnos, George Georgescu, trabajó estrechamente con él en lógica multivalor y, después de la Revolución rumana de 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 , álgebra MV , álgebra , topología algebraica , categorías de álgebras MV , teoría de categorías y álgebra de Łukasiewicz-Moisil . [2] [3]
Moisil publicó artículos sobre mecánica , análisis matemático , geometría , álgebra y lógica matemática . Desarrolló una extensión multidimensional del derivado areolar de Pompeyo y estudió funciones monogénicas de una variable hipercompleja con aplicaciones a la mecánica. Moisil también introdujo algunas álgebras multivaluadas , a las que llamó álgebras de Łukasiewicz (ahora también llamadas álgebras de Łukasiewicz-Moisil ), y las utilizó en lógica y en el estudio de la teoría de autómatas . Creó nuevos métodos para analizar autómatas finitos y realizó muchas contribuciones al campo de la teoría de autómatas en álgebra.
Si bien 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 animó a varios de sus estudiantes a aprender programación informática. Así, jugó un papel fundamental en el desarrollo de la informática en Rumanía y en la formación de las primeras generaciones de informáticos rumanos. Además, varios de los libros de Moisil tuvieron un impacto en los inicios de la informática: Încercări Vechi și Noi în Logica Neoclasică [Nuevos y antiguos enfoques de la lógica neoclásica], 1953; Teoria Algebrică 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, impartió conferencias en diversas universidades de Europa y América del Norte. [4]
Moisil era miembro titular de la Academia Rumana y miembro de la Academia de Bolonia. En 1996, recibió por excepción y de forma póstuma el premio Computer Pioneer Award de la Institute of Electrical and Electronics Engineers Computer Society .
Álgebras de Łukasiewicz-Moisil
Lógica categórica , funtores adjuntos