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.
| Grigore Moisil | ||
|---|---|---|
| Información personal | ||
| Nombre de nacimiento | Grigore Constantin Moisil | |
| Nacimiento | 10 de enero de 1906 o 1906 Tulcea (Reino de Rumania) | |
| Fallecimiento | 21 de mayo de 1973 o 1973 Ottawa (Canadá) | |
| Lengua materna | Rumano | |
| Familia | ||
| Padre | Constantin Moisil | |
| Educación | ||
| Educación | Doctor en Filosofía | |
| Educado en |
| |
| Supervisor doctoral | Dimitrie Pompeiu y Gheorghe Țițeica | |
| Información profesional | ||
| Ocupación | Matemático, informático teórico y diplomático | |
| Área | Lógica matemática | |
| Cargos ocupados | Embajador de Rumanía en Turquía (1946-1948) | |
| Empleador |
| |
| Miembro de | Academia Rumana | |
| Distinciones |
| |
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.[1] 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.[2][3][4][5][6][7]
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
- . Department of Mathematics and Informatics of the Bucharest
- Algebraic Mathematics and Logics. 2009. GNUL contributed book of 500+ contributing authors.
- Georgescu, George; Vraciu, Constantin (1970). «On the characterization of centered Lukasiewicz algebras». Journal of Algebra 16 (4): 486-495. doi:10.1016/0021-8693(70)90002-5.
- Georgescu, G. (2006). «N-Valued Logics and Łukasiewicz–Moisil Algebras». Axiomathes 16: 123. doi:10.1007/s10516-005-4145-6.
- Order convergence and distance on Lukasiewicz–Moisil algebras. planetmath.org
- Quantum ŁM-algebraic Logic. planetmath.org
- Web-generated list of Publications. philpapers.org
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