Grigore Moisil

Grigore Constantin Moisil (rumano: [ɡriˈɡmena mo.iˈsil]; 10 de enero de 1906–21 de mayo de 1973) fue un matemático rumano, pionero del ordenador, y miembro de la Academia de rumano. Su búsqueda era principalmente en los campos de lógica matemática, lógica algebraica, MV-álgebra, y ecuaciones diferenciales. Es más conocido como el padre de informática en Rumanía.

Moisil, era también un miembro de la Academia de Ciencias de Bologna y del Instituto Internacional de Filosofía.  En 1996, la Sociedad de Ordenador del IEEE le otorgó póstumamente el Premio del Pionero del Ordenador.

Biografía 

Grigore Moisil Nació en 1906 en Tulcea en una familia intelectual. Su bisabuelo, Grigore Moisil (1814–1891),  clérigo, era uno de los fundadores del primer instituto de rumano en Năsăud. Su padre, Constantin Moisil (1876–1958), era un profesor de historia, arqueólogo y numismático; como miembro de la Academia de rumano,  llenó la posición de Director de Numismática Oficina de la Academia. Su madre, Elena (1863–1949), era una profesora en Tulcea y más tarde directora de "Maidanul Dulapului" escuela en Bucarest (ahora "Enăchiţă Văcărescu" escuela).

Grigore Moisil estudió en la escuela primaria de Bucarest, en el instituto Vaslui y Bucarest (en "Spiru Haret" Instituto) entre 1916 y 1922. En 1924, fue admitido en la Escuela de Ingeniería Civil del Polytechnic Universidad de Bucarest, y también en la Escuela de Matemáticas de la Universidad de Bucarest. Mostró un interés más fuerte en las matemáticas, así que  dejó  la Universidad Polytechnic  en 1929, a pesar de ya haber finalizado los últimos exámenes del año. En  1929,  defiende su tesis de Ph.D, La mécanique analytique des systemes continus (mecánica Analítica de sistemas continuos), antes de una comisión dirigida por Gheorghe Ţiţeica, con Dimitrie Pompeiu y Anton Davidoglu como miembros. La tesis estuvo publicada el mismo año por el Gauthier-Villars, casa editorial en 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 un estudio más profundo sobre las matemáticas, el cual finalizó el próximo año con: "En una clase de sistemas de ecuaciones con derivados parciales de física matemática". En 1931 regresó a Rumanía,  donde  fue nombrado maestro en la Escuela de Matemática de la Universidad de Laşi. Poco después,  la dejó por la beca Rockefeller de la Fundación para estudiar en Roma.
En 1932  regresó a Laşi, donde se quedó casi 10 años, desarrollando una relación cercana con el profesor Alexandru Myller. Enseñó la primera álgebra moderna en un curso en Rumanía, teoría y Lógica nombradas de prueba, en la Universidad de Laşi. Durante aquel tiempo, empezó a escribir una serie de artículos en los que se basó en los trabajos de Jan Łukasiewicz en multi-lógica valorada. Su búsqueda en lógica matemática puso la fundación para el trabajo significativo hecho después en Rumanía, así como Argentina, Yugoslavia, Checoslovaquia, y Hungría. Mientras en Iaşi,  complete la búsqueda notable para las muchas ideas nuevas y para su manera de encontrar y utilizando conexiones nuevas entre conceptos de áreas diferentes de matemáticas. Esté promovido a Profesor Lleno en noviembre de 1939.

En 1941, una posición de profesor en la Universidad de Bucarest abrió arriba, y Moisil lo solicitó. Aun así, Gheorghe Vrânceanu, Dan Barbilian, y Miron Nicolescu también solicitó la posición, y Vrânceanu lo consiguió.  Moisil Acercado el Ministerio de Educación, argumentando que lo sería una oportunidad grande para matemáticas en Rumanía si todo cuatro podría ser nombrado. A raíz de su apelación, todo cuatro matemáticos estuvieron contratados.  Moisil Movido a Bucarest, donde  devenga un Profesor  en la Escuela de Matemáticas (más tarde la Escuela de Matemáticas e Informática) en la Universidad de Bucarest, el 30 de diciembre de 1941.

De 1946 a 1948, Moisil tomó un dejar de ausencia, siendo enviado plenipotenciario nombrado a Ankara. Mientras en Turquía,  dé varias serie de conferencias de matemáticas en Universidad de Estambul y Estambul Universidad Técnica.

En 1948, enseñó en la Universidad de Bucarest. Aquel año mismo,  esté fue elegido en la Academia de rumano, y un miembro del Instituto de Matemáticas de la Academia de rumano. Después de que 1965, uno de su alumnado excepcional – George Georgescu – trabajó estrechamente con él encima multi-valoró lógicas, y después de la aparición de Rumanía de dictadura en 1989,  devenga un Profesor  de Matemáticas y Lógica en el mismo universitarios y departamento como Moisil en 1991. Su estudiantil también publicado trabajo extenso , original en lógica algebraica, MV-álgebra, álgebra, topología algebraica, categorías de MV-álgebras, teoría de categoría y Łukasiewicz–Moisil álgebra.

Trabajo 
Moisil publicó documentos de mecánica, análisis matemático, geometría, álgebra y lógica matemática. Desarrolló una multi-extensión dimensional de Pompeiu  areolar derivado, y estudiado monogenic funciones de uno hypercomplex variable con aplicaciones a la mecánica. Moisil también introdujo algunos muchos-valoró álgebras, el cual  llame Łukasiewicz álgebras (ahora también nombrados Łukasiewicz–Moisil álgebras), y les utilizó en lógica y el estudio de automata teoría. Cree métodos nuevos para analizar finito automata, y tuvo muchas contribuciones al campo de autómata de la teoría en el álgebra.

Moisil tuvo contribuciones importantes en la creación de los primeros ordenadores rumanos. Jugó con una función fundamental en el desarrollo de informática en Rumanía, y en levantar las primeras generaciones de científicos de ordenador del rumano. En 1996,  esté fue otorgado por excepción posthumously el Premio de Pionero del Ordenador por el Instituto de Eléctrico y Sociedad de Ordenador de Ingenieros de Electrónica.

Publicaciones selectas 

 Logique modale, Disquisit. Matemática. Phys. 2 (1942), 3–98. SEÑOR0020524
 Introducere En algebră. I. Inele şi ideale [Introducción a álgebra. I. Anillos e ideales], Editura Academiei Republicii Populares Române, Bucarest, 1954.  SEÑOR0069136
 Teoria algebrică Un mecanismelor automatizar [teoría Algebraica de máquinas automáticas], Academia Republicii Populares Romîne, Editura Tehnică, Bucarest, 1959. SEÑOR0120120
 Circuite cu tranzistori [Circuitos de transistor], Editura Academiei Republicii Populares Romîne, Bucarest, 1961@–62.  OCLC 15371418
 Théorie structurelle des Automatiza finis, Gauthier-Villars, París, 1967.  OCLC 9049760
 La teoría algebraica de cambiar circuitos, Pergamon Prensa, Oxford, Nueva York, 1969.   ISBN 0-08-010148-8

Véase también 

 Lógica booleana
 De Morgan álgebra
 Jan Łukasiewicz
 Lógica ternaria
 Enrejados
 Multi-Lógica valorada:
 Ordenadores cuánticos
 Lógica algebraica
 MV-álgebra
 Lógica simbólica
 Álgebra
 Teoría de categoría:
 Instituto de Eléctrico e Ingenieros de Electrónica

Referencias

Bibliografía 

 George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, "Grigore C. Moisil (1906–1973) y su Escuela en Lógica Algebraica", Revista Internacional de Ordenadores, Control & de Comunicaciones, vol. 1 (2006), núm.1, 81–99.
 Solomon Marcus, "Grigore C. Moisil: Una vida que deviene un mito", Revista Internacional de Ordenadores, Control & de Comunicaciones, vol. 1 (2006), núm. 1, 73@–79.
 Viorica Moisil, "Una vez a un tiempo... Grigore Moisil" (Un fost odată... Grigore Moisil), Bucarest: Curtea Veche, 2002.  ISBN 973-8356-09-1
 Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu y Cătălin Ioniţă, "G. C. Moisil Asunto conmemorativo", Múltiple-Lógica Valorada 6 (2001), núm. 1-2. Gordon y Ruptura, Yverdon, 2001.  SEÑOR1817431

Enlaces externos 
 O'Connor, John J.; Robertson, Edmund F., "Grigore Moisil", MacTutor History of Mathematics archive, University of St Andrews.
 Grigore Moisil at the Mathematics Genealogy Project

Inventores del siglo XX
Diplomáticos de Rumania
Profesores de Rumania
Inventores de Rumania
Científicos de Rumania
Medalla de honor del IEEE