Grigore Constantin Moisil ( en 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 Computer Pioneer Award.
Grigore Moisil nació en 1906 en Tulcea en 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 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 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 de tercer año. En 1929 defendió su tesis doctoral , 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 ese 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 de 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 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 . Enseñó 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 en lógica multivaluada . Sus investigaciones en lógica matemática sentaron las bases para trabajos importantes que se realizaron posteriormente en Rumania, Argentina , Yugoslavia , Checoslovaquia y Hungría . Durante su estancia en Iași, realizó investigaciones notables por sus numerosas 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 se postuló para ella. 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, los cuatro matemáticos fueron contratados. Moisil se mudó a Bucarest , donde se convirtió en profesor en la Escuela de Matemáticas (más tarde la Escuela de Matemáticas y Ciencias de la Computación) en la Universidad de Bucarest, el 30 de diciembre de 1941.
De 1946 a 1948, Moisil se ausentó del país y fue nombrado enviado plenipotenciario a Ankara . Durante su estancia en Turquía , impartió varias series de conferencias sobre matemáticas en la Universidad de Estambul y en la Universidad Técnica de Estambul .
En 1948, reanudó su labor docente 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, George Georgescu, trabajó estrechamente con él en lógicas multivaluadas 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 estudiante también publicó un extenso trabajo 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 de la derivada areolar de Pompeiu y estudió funciones monogénicas de una variable hipercompleja con aplicaciones a la mecánica. Moisil también introdujo algunas álgebras polivalentes , 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 e hizo 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 y ciencias de la computación en la Universidad de Bucarest , y también enseñó lógica booleana en la Universidad Politécnica de Bucarest . En 1957 ayudó a configurar el primer ordenador rumano en el Instituto de Física Atómica, y animó a varios de sus estudiantes a aprender programación informática. Por tanto, jugó un papel fundamental en el desarrollo de la informática en Rumania 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 el comienzo de la informática: Încercări Vechi și Noi în Logica Neoclasică [Nuevos y viejos enfoques en 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, entre ellos el ruso y el checo . Además, dio conferencias en varias universidades de Europa y América del Norte. [4]
Moisil fue miembro titular de la Academia Rumana y de la Academia de Bolonia. En 1996, recibió de manera excepcional y póstuma el premio Computer Pioneer Award del Instituto de Ingenieros Eléctricos y Electrónicos Computer Society .
Álgebras de Łukasiewicz-Moisil
Lógica categórica , funtores adjuntos