Grigore Moisil: Difference between revisions
No edit summary |
|||
Line 1: | Line 1: | ||
{{Use dmy dates|date=July 2014}} |
|||
{{Infobox scientist |
{{Infobox scientist |
||
|name = Grigore C. Moisil |
|name = Grigore C. Moisil |
||
|image = |
|image =Stamps of Romania, 2006-009.jpg |
||
|image_size = |
|image_size = 280px |
||
|caption = |
|caption = Grigore C. Moisil on a 2006 Romanian stamp |
||
|birth_date = 10 January 1906 |
|birth_date = 10 January 1906 |
||
|birth_place = [[Tulcea]], [[Kingdom of Romania|Romania]] |
|birth_place = [[Tulcea]], [[Kingdom of Romania|Romania]] |
||
Line 24: | Line 25: | ||
}} |
}} |
||
'''Grigore Constantin Moisil''' ({{IPA-ro|ɡriˈɡore mo.iˈsil|lang}}; 10 January 1906 |
'''Grigore Constantin Moisil''' ({{IPA-ro|ɡriˈɡore mo.iˈsil|lang}}; 10 January 1906 – 21 May 1973) was a [[Romania]]n [[mathematician]], [[computer]] pioneer, and member of the [[Romanian Academy]]. His research was mainly in the fields of [[mathematical logic]], ([[Multivalued function|Łukasiewicz–Moisil algebra]]), [[algebraic logic]], [[MV-algebra]], and [[differential equations]]. He is viewed as the father of [[computer science]] in Romania. |
||
Moisil was also a member of the [[Academy of Sciences of Bologna]] and of the International Institute of Philosophy. In 1996, the [[IEEE Computer Society]] awarded him posthumously the ''Computer Pioneer'' Award. |
Moisil was also a member of the [[Academy of Sciences of Bologna]] and of the International Institute of Philosophy. In 1996, the [[IEEE Computer Society]] awarded him posthumously the ''Computer Pioneer'' Award. |
||
Line 31: | Line 32: | ||
Grigore Moisil was born in 1906 in Tulcea into an [[intellectual]] family. His grandfather, Grigore Moisil (1814–1891), a [[clergyman]], was one of the founders of the first Romanian high school in [[Năsăud]]. His father, [[Constantin Moisil]] (1867–1958), was a history professor, [[archaeology|archaeologist]] and [[numismatics|numismatist]]; as a member of the [[Romanian Academy]], he filled the position of Director of the Numismatics Office of the Academy. His mother, Elena (1863–1949), was a teacher in Tulcea, later the director of "Maidanul Dulapului" school in [[Bucharest]] (now "[[Enăchiţă Văcărescu]]" school). |
Grigore Moisil was born in 1906 in Tulcea into an [[intellectual]] family. His grandfather, Grigore Moisil (1814–1891), a [[clergyman]], was one of the founders of the first Romanian high school in [[Năsăud]]. His father, [[Constantin Moisil]] (1867–1958), was a history professor, [[archaeology|archaeologist]] and [[numismatics|numismatist]]; as a member of the [[Romanian Academy]], he filled the position of Director of the Numismatics Office of the Academy. His mother, Elena (1863–1949), was a teacher in Tulcea, later the director of "Maidanul Dulapului" school in [[Bucharest]] (now "[[Enăchiţă Văcărescu]]" school). |
||
Grigore Moisil attended [[primary school]] in Bucharest, then high school in [[Vaslui]] and Bucharest (at "[[Spiru Haret]]" High School) between 1916 |
Grigore Moisil attended [[primary school]] in Bucharest, then high school in [[Vaslui]] and Bucharest (at "[[Spiru Haret]]" High School) between 1916 and 1922. In 1924 he was admitted at the Constructions Faculty of the [[Polytechnic University of Bucharest]], and also the Mathematics Faculty of the [[University of Bucharest]]. He showed a stronger interest in mathematics, so he quit the Polytechnic University in 1929, despite already having passed all the third-year exams. In 1929 he defended his [[Ph.D.]] thesis, ''La mécanique analytique des systemes continus'' (Analytical mechanics of continuous systems), before a commission led by [[Gheorghe Ţiţeica]], with [[Dimitrie Pompeiu]] and [[Anton Davidoglu]] as members. The thesis was published the same year by the Gauthier-Villars publishing house in [[Paris]], and received favourable comments from [[Vito Volterra]], [[Tullio Levi-Civita]], and [[Paul Lévy (mathematician)|Paul Lévy]]. |
||
In 1930 Moisil went to the [[University of Paris]] for further study in mathematics, which he finalized the next year with the paper ''On a class of systems of equations with partial derivatives from mathematical physics''. In 1931 he returned to Romania, where he was appointed in a teaching position at the Mathematics Faculty of the [[University of Iaşi]]. Shortly after, he left for a one-year [[Rockefeller Foundation]] scholarship to study in [[Rome]]. |
In 1930 Moisil went to the [[University of Paris]] for further study in mathematics, which he finalized the next year with the paper ''On a class of systems of equations with partial derivatives from mathematical physics''. In 1931 he returned to Romania, where he was appointed in a teaching position at the Mathematics Faculty of the [[University of Iaşi]]. Shortly after, he left for a one-year [[Rockefeller Foundation]] scholarship to study in [[Rome]]. |
||
In 1932 he returned to Iaşi, where he remained for almost 10 years, developing a close relationship with professor [[Alexandru Myller]]. He taught the first [[Abstract algebra|modern algebra]] course in Romania, named ''Logic and theory of proof'', at the University of Iaşi. During that time, he started writing a series of papers based on the works of [[Jan Łukasiewicz]] in [[multi-valued logic]]. His research in mathematical logic laid the foundation for significant work done afterwards in Romania, as well as [[Argentina]], [[Yugoslavia]], [[Czechoslovakia]], and [[Hungary]]. While in Iaşi, he completed research remarkable for the many new ideas and for his way of finding and using new connections between concepts from different areas of mathematics. He was promoted to Full Professor in November 1939. |
In 1932 he returned to Iaşi, where he remained for almost 10 years, developing a close relationship with professor [[Alexandru Myller]]. He taught the first [[Abstract algebra|modern algebra]] course in Romania, named ''Logic and theory of proof'', at the University of Iaşi. During that time, he started writing a series of papers based on the works of [[Jan Łukasiewicz]] in [[multi-valued logic]]. His research in mathematical logic laid the foundation for significant work done afterwards in Romania, as well as [[Argentina]], [[Yugoslavia]], [[Czechoslovakia]], and [[Hungary]]. While in Iaşi, he completed research remarkable for the many new ideas and for his way of finding and using new connections between concepts from different areas of mathematics. He was promoted to Full Professor in November 1939. |
||
In 1941, a position of professor at the [[University of Bucharest]] opened up, and Moisil applied for it. However, [[Gheorghe Vrânceanu]], [[Ion Barbu|Dan Barbilian]], and [[Miron Nicolescu]] also applied for the position, and Vrânceanu got it. Moisil approached the Ministry of Education, arguing that it would be a great opportunity for mathematics in Romania if all four could be appointed. As a result of his appeal, all four mathematicians were hired. Moisil moved to [[Bucharest]], where he became a Professor in the Faculty of Mathematics (later the Faculty of Mathematics and Computer Science) at the University of Bucharest, on |
In 1941, a position of professor at the [[University of Bucharest]] opened up, and Moisil applied for it. However, [[Gheorghe Vrânceanu]], [[Ion Barbu|Dan Barbilian]], and [[Miron Nicolescu]] also applied for the position, and Vrânceanu got it. Moisil approached the Ministry of Education, arguing that it would be a great opportunity for mathematics in Romania if all four could be appointed. As a result of his appeal, all four mathematicians were hired. Moisil moved to [[Bucharest]], where he became a Professor in the Faculty of Mathematics (later the Faculty of Mathematics and Computer Science) at the University of Bucharest, on 30 December 1941. |
||
From 1946 to 1948, Moisil took a leave of absence, being named [[plenipotentiary]] envoy to [[Ankara]]. While in [[Turkey]], he gave several series of mathematics lectures at [[Istanbul University]] and [[Istanbul Technical University]]. |
From 1946 to 1948, Moisil took a leave of absence, being named [[plenipotentiary]] envoy to [[Ankara]]. While in [[Turkey]], he gave several series of mathematics lectures at [[Istanbul University]] and [[Istanbul Technical University]]. |
||
In 1948, he resumed teaching at the University of Bucharest. That same year, he was elected to the Romanian Academy, and a member of the [[Institute of Mathematics of the Romanian Academy]]. After 1965, one of his outstanding students-- ''George Georgescu'' |
In 1948, he resumed teaching at the University of Bucharest. That same year, he was elected to the Romanian Academy, and a member of the [[Institute of Mathematics of the Romanian Academy]]. After 1965, one of his outstanding students-- ''George Georgescu'' – worked closely with him on multi-valued logics, and after the emergence of Romania from dictatorship in 1989, he became a Professor of Mathematics and Logic at the same university and department as Moisil in 1991.<ref>[http://web.archive.org/web/20060628152508/http://fmi.unibuc.ro/ro/catedre/funinf/georgescu_george/ Prof.dr. Georgescu George]. Department of Mathematics and Informatics of the Bucharest</ref> His student also published extensive, original work on [[algebraic logic]], [[MV-algebra]], [[Algebra]], [[Algebraic topology]], categories of [[MV-algebra]]s, [[category theory]] and [[Multi-valued|Łukasiewicz-Moisil algebra]].<ref>[http://planetphysics.org/?op=getobj&from=books&id=253 Algebraic Mathematics and Logics]. 2009. GNUL contributed book of 500+ contributing authors.</ref><ref>[http://planetphysics.org/encyclopedia/AlgebraicCategoryOfLMnLogicAlgebras.html Algebraic category of LM<sub>n</sub>-logic algebras]. planetphysics.org</ref><ref>{{cite doi|10.1016/0021-8693(70)90002-5 }}</ref><ref>{{cite doi|10.1007/s10516-005-4145-6}}</ref><ref>[http://planetmath.org/?op=getobj&from=lec&id=105 Order convergence and distance on Lukasiewicz-Moisil algebras]. planetmath.org</ref><ref>[http://planetmath.org/?op=getobj&from=objects&id=10756 Quantum ŁM-algebraic Logic]. planetmath.org</ref><ref>[http://philpapers.org/autosense.pl?searchStr=George%20Georgescu Web-generated list of Publications]. philpapers.org</ref> |
||
Georgescu, G. 2006, N-valued Logics and Łukasiewicz-Moisil Algebras, ''Axiomathes'', '''16''' (1-2): 123-136.</ref><ref>http://planetmath.org/?op=getobj&from=lec&id=105 Order convergence and distance on Lukasiewicz-Moisil algebras |
|||
</ref><ref>http://planetmath.org/?op=getobj&from=objects&id=10756 Quantum ŁM-algebraic Logic</ref><ref>http://philpapers.org/autosense.pl?searchStr=George%20Georgescu Web-generated list of Publications</ref> |
|||
==Work== |
==Work== |
||
Line 73: | Line 72: | ||
===Selected publications=== |
===Selected publications=== |
||
* ''Logique modale'', Disquisit. Math. Phys. 2 (1942), |
* ''Logique modale'', Disquisit. Math. Phys. 2 (1942), 3–98. {{MathSciNet|0020524}} |
||
* ''Introducere in algebră. I. Inele şi ideale'' [Introduction to algebra. I. Rings and ideals], Editura Academiei Republicii Popular Române, Bucharest, 1954. {{MathSciNet|0069136}} |
* ''Introducere in algebră. I. Inele şi ideale'' [Introduction to algebra. I. Rings and ideals], Editura Academiei Republicii Popular Române, Bucharest, 1954. {{MathSciNet|0069136}} |
||
* ''Teoria algebrică a mecanismelor automate'' [Algebraic theory of automatic machines], Academia Republicii Popular Romîne, Editura Tehnică, Bucharest, 1959. {{MathSciNet|0120120}} |
* ''Teoria algebrică a mecanismelor automate'' [Algebraic theory of automatic machines], Academia Republicii Popular Romîne, Editura Tehnică, Bucharest, 1959. {{MathSciNet|0120120}} |
||
* ''Circuite cu tranzistori'' [Transistor Circuits], Editura Academiei Republicii Popular Romîne, Bucharest, |
* ''Circuite cu tranzistori'' [Transistor Circuits], Editura Academiei Republicii Popular Romîne, Bucharest, 1961–62. {{oclc|15371418}} |
||
* ''Théorie structurelle des automates finis'', Gauthier-Villars, Paris, 1967. {{oclc|9049760}} |
* ''Théorie structurelle des automates finis'', Gauthier-Villars, Paris, 1967. {{oclc|9049760}} |
||
* ''The algebraic theory of switching circuits'', [[Pergamon Press]], Oxford, New York, 1969. ISBN 0-08-010148-8 |
* ''The algebraic theory of switching circuits'', [[Pergamon Press]], Oxford, New York, 1969. ISBN 0-08-010148-8 |
||
==Books and articles on Moisil== |
==Books and articles on Moisil== |
||
* George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, [http://www.journal.univagora.ro/?page=article_details&id=28 "Grigore C. Moisil ( |
* George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, [http://www.journal.univagora.ro/?page=article_details&id=28 "Grigore C. Moisil (1906–1973) and his School in Algebraic Logic"], International Journal of Computers, Communications & Control, vol. 1 (2006), no.1, 81–99. |
||
* [[Solomon Marcus]], [http://www.journal.univagora.ro/?page=article_details&id=27 "Grigore C. Moisil: A life becoming a myth"], [http://journal.univagora.ro/ International Journal of Computers, Communications & Control], vol. 1 (2006), no. 1, |
* [[Solomon Marcus]], [http://www.journal.univagora.ro/?page=article_details&id=27 "Grigore C. Moisil: A life becoming a myth"], [http://journal.univagora.ro/ International Journal of Computers, Communications & Control], vol. 1 (2006), no. 1, 73–79. |
||
* Viorica Moisil, "Once upon a time... Grigore Moisil" (''A fost odată... Grigore Moisil''), Bucharest: Curtea Veche, 2002. ISBN 973-8356-09-1 |
* Viorica Moisil, "Once upon a time... Grigore Moisil" (''A fost odată... Grigore Moisil''), Bucharest: Curtea Veche, 2002. ISBN 973-8356-09-1 |
||
* Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu and Cătălin Ioniţă, "G. C. Moisil memorial issue", ''Multiple-Valued Logic'' 6 (2001), no. 1-2. [[Taylor and Francis|Gordon and Breach]], Yverdon, 2001. {{MathSciNet|1817431}} |
* Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu and Cătălin Ioniţă, "G. C. Moisil memorial issue", ''Multiple-Valued Logic'' 6 (2001), no. 1-2. [[Taylor and Francis|Gordon and Breach]], Yverdon, 2001. {{MathSciNet|1817431}} |
||
Line 91: | Line 90: | ||
* [http://www.ici.ro/romania/en/stiinta/moisil.html Short bio], at the Romanian National Institute for R&D in Informatics |
* [http://www.ici.ro/romania/en/stiinta/moisil.html Short bio], at the Romanian National Institute for R&D in Informatics |
||
* [http://fmi.unibuc.ro/cniv/2006/centenar-moisil/ Grigore Moisil centenary], at the [[University of Bucharest]] |
* [http://fmi.unibuc.ro/cniv/2006/centenar-moisil/ Grigore Moisil centenary], at the [[University of Bucharest]] |
||
* [http://www.observatorul.com/articles_main.asp?action=articleviewdetail&ID=307 "Grigore Moisil"], ''Observatorul'', Toronto, Canada, |
* [http://www.observatorul.com/articles_main.asp?action=articleviewdetail&ID=307 "Grigore Moisil"], ''Observatorul'', Toronto, Canada, 5 January 2003 |
||
* [http://www.univagora.ro/Arhiva/ArE2006/Simpozion_Moisil.html Symposium on the Grigore Moisil centenary], at [[Agora University]] |
* [http://www.univagora.ro/Arhiva/ArE2006/Simpozion_Moisil.html Symposium on the Grigore Moisil centenary], at [[Agora University]] |
||
*[http://www.iccc.univagora.ro/iccc-2006/index.html International Conference on Computers, Communications & Control, ICCCC 2006], at Agora University. |
*[http://www.iccc.univagora.ro/iccc-2006/index.html International Conference on Computers, Communications & Control, ICCCC 2006], at Agora University. |
||
Line 100: | Line 99: | ||
*{{ro icon}}[http://www.ici.ro/romania/ro/stiinta/moisil.html Grigore C. Moisil] |
*{{ro icon}}[http://www.ici.ro/romania/ro/stiinta/moisil.html Grigore C. Moisil] |
||
*{{ro icon}} [http://fmi.unibuc.ro/cniv/2006/centenar-moisil/ Centenar Grigore C. Moisil] |
*{{ro icon}} [http://fmi.unibuc.ro/cniv/2006/centenar-moisil/ Centenar Grigore C. Moisil] |
||
*{{ro icon}}[http://www.observatorul.com/articles_main.asp?action=articleviewdetail&ID=307 Grigore Moisil |
*{{ro icon}}[http://www.observatorul.com/articles_main.asp?action=articleviewdetail&ID=307 Grigore Moisil – Observatorul (Canada)] |
||
*{{ro icon}}[http://www.univagora.ro/Arhiva/ArE2006/Simpozion_Moisil.html Simpozion "Spiritul moisilian pe meleaguri bihorene"] |
*{{ro icon}}[http://www.univagora.ro/Arhiva/ArE2006/Simpozion_Moisil.html Simpozion "Spiritul moisilian pe meleaguri bihorene"] |
||
*{{ro icon}} [http://www.moisilbrasov.ro/ MoisilBrasov.ro] |
*{{ro icon}} [http://www.moisilbrasov.ro/ MoisilBrasov.ro] – Colegiul National de Informatica "Grigore Moisil" Brasov |
||
*{{ro icon}} [http://www.ltgm.ro/ LTGM.ro] |
*{{ro icon}} [http://www.ltgm.ro/ LTGM.ro] – Liceul Teoretic "Grigore Moisil" Urziceni |
||
{{Authority control|VIAF=25508927}} |
{{Authority control|VIAF=25508927}} |
Revision as of 07:39, 28 July 2014
Grigore C. Moisil | |
---|---|
Born | 10 January 1906 |
Died | May 21, 1973 | (aged 67)
Nationality | Romania |
Alma mater | Polytechnic University of Bucharest |
Known for | Łukasiewicz-Moisil algebra, Algebraic logic and MV-algebra |
Scientific career | |
Fields | Mathematics, logic and mathematical logic |
Institutions | University of Bucharest |
Doctoral advisor | Gheorghe Ţiţeica Dimitrie Pompeiu |
Doctoral students | 25 |
Grigore Constantin Moisil (Romanian: [ɡriˈɡore mo.iˈsil]; 10 January 1906 – 21 May 1973) was a Romanian mathematician, computer pioneer, and member of the Romanian Academy. His research was mainly in the fields of mathematical logic, (Łukasiewicz–Moisil algebra), algebraic logic, MV-algebra, and differential equations. He is viewed as the father of computer science in Romania.
Moisil was also a member of the Academy of Sciences of Bologna and of the International Institute of Philosophy. In 1996, the IEEE Computer Society awarded him posthumously the Computer Pioneer Award.
Biography
Grigore Moisil was born in 1906 in Tulcea into an intellectual family. His grandfather, Grigore Moisil (1814–1891), a clergyman, was one of the founders of the first Romanian high school in Năsăud. His father, Constantin Moisil (1867–1958), was a history professor, archaeologist and numismatist; as a member of the Romanian Academy, he filled the position of Director of the Numismatics Office of the Academy. His mother, Elena (1863–1949), was a teacher in Tulcea, later the director of "Maidanul Dulapului" school in Bucharest (now "Enăchiţă Văcărescu" school).
Grigore Moisil attended primary school in Bucharest, then high school in Vaslui and Bucharest (at "Spiru Haret" High School) between 1916 and 1922. In 1924 he was admitted at the Constructions Faculty of the Polytechnic University of Bucharest, and also the Mathematics Faculty of the University of Bucharest. He showed a stronger interest in mathematics, so he quit the Polytechnic University in 1929, despite already having passed all the third-year exams. In 1929 he defended his Ph.D. thesis, La mécanique analytique des systemes continus (Analytical mechanics of continuous systems), before a commission led by Gheorghe Ţiţeica, with Dimitrie Pompeiu and Anton Davidoglu as members. The thesis was published the same year by the Gauthier-Villars publishing house in Paris, and received favourable comments from Vito Volterra, Tullio Levi-Civita, and Paul Lévy.
In 1930 Moisil went to the University of Paris for further study in mathematics, which he finalized the next year with the paper On a class of systems of equations with partial derivatives from mathematical physics. In 1931 he returned to Romania, where he was appointed in a teaching position at the Mathematics Faculty of the University of Iaşi. Shortly after, he left for a one-year Rockefeller Foundation scholarship to study in Rome. In 1932 he returned to Iaşi, where he remained for almost 10 years, developing a close relationship with professor Alexandru Myller. He taught the first modern algebra course in Romania, named Logic and theory of proof, at the University of Iaşi. During that time, he started writing a series of papers based on the works of Jan Łukasiewicz in multi-valued logic. His research in mathematical logic laid the foundation for significant work done afterwards in Romania, as well as Argentina, Yugoslavia, Czechoslovakia, and Hungary. While in Iaşi, he completed research remarkable for the many new ideas and for his way of finding and using new connections between concepts from different areas of mathematics. He was promoted to Full Professor in November 1939.
In 1941, a position of professor at the University of Bucharest opened up, and Moisil applied for it. However, Gheorghe Vrânceanu, Dan Barbilian, and Miron Nicolescu also applied for the position, and Vrânceanu got it. Moisil approached the Ministry of Education, arguing that it would be a great opportunity for mathematics in Romania if all four could be appointed. As a result of his appeal, all four mathematicians were hired. Moisil moved to Bucharest, where he became a Professor in the Faculty of Mathematics (later the Faculty of Mathematics and Computer Science) at the University of Bucharest, on 30 December 1941.
From 1946 to 1948, Moisil took a leave of absence, being named plenipotentiary envoy to Ankara. While in Turkey, he gave several series of mathematics lectures at Istanbul University and Istanbul Technical University.
In 1948, he resumed teaching at the University of Bucharest. That same year, he was elected to the Romanian Academy, and a member of the Institute of Mathematics of the Romanian Academy. After 1965, one of his outstanding students-- George Georgescu – worked closely with him on multi-valued logics, and after the emergence of Romania from dictatorship in 1989, he became a Professor of Mathematics and Logic at the same university and department as Moisil in 1991.[1] His student also published extensive, original work on algebraic logic, MV-algebra, Algebra, Algebraic topology, categories of MV-algebras, category theory and Łukasiewicz-Moisil algebra.[2][3][4][5][6][7][8]
Work
Moisil published papers on mechanics, mathematical analysis, geometry, algebra and mathematical logic. He developed a multi-dimensional extension of Pompeiu's areolar derivative, and studied monogenic functions of one hypercomplex variable with applications to mechanics. Moisil also introduced some many-valued algebras, which he called Łukasiewicz algebras (now also named Łukasiewicz-Moisil algebras), and used them in logic and the study of automata theory. He created new methods to analyze finite automata, and had many contributions to the field of automata theory in algebra.
Moisil had important contributions in the creation of the first Romanian computers. He played a fundamental role in the development of computer science in Romania, and in raising the first generations of Romanian computer scientists. In 1996, he was awarded by exception posthumously the Computer Pioneer Award by the Institute of Electrical and Electronics Engineers Computer Society.
See also
Categorical logic, Adjoint functors
Notes
- ^ Prof.dr. Georgescu George. Department of Mathematics and Informatics of the Bucharest
- ^ Algebraic Mathematics and Logics. 2009. GNUL contributed book of 500+ contributing authors.
- ^ Algebraic category of LMn-logic algebras. planetphysics.org
- ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/0021-8693(70)90002-5 , please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with
|doi=10.1016/0021-8693(70)90002-5
instead. - ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/s10516-005-4145-6, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with
|doi=10.1007/s10516-005-4145-6
instead. - ^ Order convergence and distance on Lukasiewicz-Moisil algebras. planetmath.org
- ^ Quantum ŁM-algebraic Logic. planetmath.org
- ^ Web-generated list of Publications. philpapers.org
Selected publications
- Logique modale, Disquisit. Math. Phys. 2 (1942), 3–98. MR0020524
- Introducere in algebră. I. Inele şi ideale [Introduction to algebra. I. Rings and ideals], Editura Academiei Republicii Popular Române, Bucharest, 1954. MR0069136
- Teoria algebrică a mecanismelor automate [Algebraic theory of automatic machines], Academia Republicii Popular Romîne, Editura Tehnică, Bucharest, 1959. MR0120120
- Circuite cu tranzistori [Transistor Circuits], Editura Academiei Republicii Popular Romîne, Bucharest, 1961–62. OCLC 15371418
- Théorie structurelle des automates finis, Gauthier-Villars, Paris, 1967. OCLC 9049760
- The algebraic theory of switching circuits, Pergamon Press, Oxford, New York, 1969. ISBN 0-08-010148-8
Books and articles on Moisil
- George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu, "Grigore C. Moisil (1906–1973) and his School in Algebraic Logic", International Journal of Computers, Communications & Control, vol. 1 (2006), no.1, 81–99.
- Solomon Marcus, "Grigore C. Moisil: A life becoming a myth", International Journal of Computers, Communications & Control, vol. 1 (2006), no. 1, 73–79.
- Viorica Moisil, "Once upon a time... Grigore Moisil" (A fost odată... Grigore Moisil), Bucharest: Curtea Veche, 2002. ISBN 973-8356-09-1
- Sergiu Rudeanu, Afrodita Iorgulescu, George Georgescu and Cătălin Ioniţă, "G. C. Moisil memorial issue", Multiple-Valued Logic 6 (2001), no. 1-2. Gordon and Breach, Yverdon, 2001. MR1817431
External links
- 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
- Short bio, at the Romanian National Institute for R&D in Informatics
- Grigore Moisil centenary, at the University of Bucharest
- "Grigore Moisil", Observatorul, Toronto, Canada, 5 January 2003
- Symposium on the Grigore Moisil centenary, at Agora University
- International Conference on Computers, Communications & Control, ICCCC 2006, at Agora University.
- ICCCC 2006: An International Conference dedicated to the centenary of the birth of Academician Grigore C. Moisil
- Jan Łukasiewicz
- International Journal of Computers, Communications & Control, Vol. I (2006), No.1, pp. 73–80 / Grigore C. Moisil: A Life Becoming a Myth, by Solomon Marcus
- International Journal of Computers, Communications & Control, Vol. I (2006), No.1, pp. 81– 99/ Grigore C. Moisil (1906–1973) and his School in Algebraic Logic, by George Georgescu, Afrodita Iorgulescu, Sergiu Rudeanu.
- Template:Ro iconGrigore C. Moisil
- Template:Ro icon Centenar Grigore C. Moisil
- Template:Ro iconGrigore Moisil – Observatorul (Canada)
- Template:Ro iconSimpozion "Spiritul moisilian pe meleaguri bihorene"
- Template:Ro icon MoisilBrasov.ro – Colegiul National de Informatica "Grigore Moisil" Brasov
- Template:Ro icon LTGM.ro – Liceul Teoretic "Grigore Moisil" Urziceni
- 20th-century mathematicians
- Mathematical logicians
- Romanian mathematicians
- Romanian computer scientists
- Romanian scientists
- Romanian inventors
- Romanian academics
- Romanian diplomats
- Romanian schoolteachers
- Titular members of the Romanian Academy
- Politehnica University of Bucharest alumni
- University of Bucharest faculty
- Alexandru Ioan Cuza University faculty
- People from Tulcea
- People from Vaslui
- 1906 births
- 1973 deaths