HOME

TheInfoList



OR:

Grigore Constantin Moisil (; 10 January 1906 – 21 May 1973) was a
Romania Romania ( ; ro, România ) is a country located at the crossroads of Central, Eastern, and Southeastern Europe. It borders Bulgaria to the south, Ukraine to the north, Hungary to the west, Serbia to the southwest, Moldova to the east, and ...
n
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History O ...
, computer pioneer, and titular member of the Romanian Academy. His research was mainly in the fields of
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal sy ...
( Łukasiewicz–Moisil algebra), algebraic logic,
MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewi ...
, and
differential equations In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, a ...
. 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 The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operatio ...
awarded him posthumously the ''Computer Pioneer'' Award.


Biography

Grigore Moisil was born in 1906 in Tulcea into an
intellectual An intellectual is a person who engages in critical thinking, research, and reflection about the reality of society, and who proposes solutions for the normative problems of society. Coming from the world of culture, either as a creator or a ...
family. His great-grandfather, Grigore Moisil (1814–1891), a
clergyman Clergy are formal leaders within established religions. Their roles and functions vary in different religious traditions, but usually involve presiding over specific rituals and teaching their religion's doctrines and practices. Some of the ter ...
, was one of the founders of the first Romanian high school in
Năsăud Năsăud (; german: Nassod, ''Nußdorf''; hu, Naszód) is a town in Bistrița-Năsăud County in Romania located in the historical region of Transylvania. The town administers two villages, Liviu Rebreanu (until 1958 ''Prislop''; ''Priszlop'') a ...
. His father, Constantin Moisil (1876–1958), was a history professor,
archaeologist Archaeology or archeology is the scientific study of human activity through the recovery and analysis of material culture. The archaeological record consists of artifacts, architecture, biofacts or ecofacts, sites, and cultural landscap ...
and
numismatist A numismatist is a specialist in numismatics ("of coins"; from Late Latin ''numismatis'', genitive of ''numisma''). Numismatists include collectors, specialist dealers, and scholars who use coins and other currency in object-based research. Altho ...
; as a member of the
Romanian Academy The Romanian Academy ( ro, Academia Română ) is a cultural forum founded in Bucharest, Romania, in 1866. It covers the scientific, artistic and literary domains. The academy has 181 active members who are elected for life. According to its by ...
, 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 Bucharest ( , ; ro, București ) is the capital and largest city of Romania, as well as its cultural, industrial, and financial centre. It is located in the southeast of the country, on the banks of the Dâmbovița River, less than north of ...
(now " Ienăchiță Văcărescu" school). Grigore Moisil attended
primary school A primary school (in Ireland, the United Kingdom, Australia, Trinidad and Tobago, Jamaica, and South Africa), junior school (in Australia), elementary school or grade school (in North America and the Philippines) is a school for primary ed ...
in Bucharest, then high school in
Vaslui Vaslui (), a city in eastern Romania, is the seat of Vaslui County, in the historical region of Western Moldavia. The city administers five villages: Bahnari, Brodoc, Moara Grecilor, Rediu, and Viișoara. History Archaeological surveys indicate ...
and Bucharest (at "
Spiru Haret Spiru C. Haret (; 15 February 1851 – 17 December 1912) was a Romanian mathematician, astronomer, and politician. He made a fundamental contribution to the ''n''-body problem in celestial mechanics by proving that using a third degree approx ...
" High School) between 1916 and 1922. In 1924 he was admitted to the Civil Engineering School of the Polytechnic University of Bucharest, and also the Mathematics School of the
University of Bucharest The University of Bucharest ( ro, Universitatea din București), commonly known after its abbreviation UB in Romania, is a public university founded in its current form on by a decree of Prince Alexandru Ioan Cuza to convert the former Princely ...
. 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. A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...
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 Paris () is the capital and most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), making it the 30th most densely populated city in the world in 2020. S ...
, and received favourable comments from
Vito Volterra Vito Volterra (, ; 3 May 1860 – 11 October 1940) was an Italian mathematician and physicist, known for his contributions to mathematical biology and integral equations, being one of the founders of functional analysis. Biography Born in An ...
,
Tullio Levi-Civita Tullio Levi-Civita, (, ; 29 March 1873 – 29 December 1941) was an Italian mathematician, most famous for his work on absolute differential calculus (tensor calculus) and its applications to the theory of relativity, but who also made signific ...
, and Paul Lévy. In 1930 Moisil went to the
University of Paris The University of Paris (french: link=no, Université de Paris), metonymically known as the Sorbonne (), was the leading university in Paris, France, active from 1150 to 1970, with the exception between 1793 and 1806 under the French Revolution. ...
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 School of the University of Iași. Shortly after, he left for a one-year
Rockefeller Foundation The Rockefeller Foundation is an American private foundation and philanthropic medical research and arts funding organization based at 420 Fifth Avenue, New York City. The second-oldest major philanthropic institution in America, after the Carne ...
scholarship to study in
Rome , established_title = Founded , established_date = 753 BC , founder = King Romulus (Romulus and Remus, legendary) , image_map = Map of comune of Rome (metropolitan city of Capital Rome, region Lazio, Italy).svg ...
. In 1932 he returned to
Iași Iași ( , , ; also known by other #Etymology and names, alternative names), also referred to mostly historically as Jassy ( , ), is the second largest city in Romania and the seat of Iași County. Located in the historical region of Western M ...
, 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 Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. H ...
in
multi-valued logic Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false" ...
. His research in mathematical logic laid the foundation for significant work done afterwards in Romania, as well as
Argentina Argentina (), officially the Argentine Republic ( es, link=no, República Argentina), is a country in the southern half of South America. Argentina covers an area of , making it the second-largest country in South America after Brazil, th ...
,
Yugoslavia Yugoslavia (; sh-Latn-Cyrl, separator=" / ", Jugoslavija, Југославија ; sl, Jugoslavija ; mk, Југославија ;; rup, Iugoslavia; hu, Jugoszlávia; rue, label=Pannonian Rusyn, Югославия, translit=Juhoslavija ...
, Czechoslovakia, and
Hungary Hungary ( hu, Magyarország ) is a landlocked country in Central Europe. Spanning of the Carpathian Basin, it is bordered by Slovakia to the north, Ukraine to the northeast, Romania to the east and southeast, Serbia to the south, Croat ...
. 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 The University of Bucharest ( ro, Universitatea din București), commonly known after its abbreviation UB in Romania, is a public university founded in its current form on by a decree of Prince Alexandru Ioan Cuza to convert the former Princely ...
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 Bucharest ( , ; ro, București ) is the capital and largest city of Romania, as well as its cultural, industrial, and financial centre. It is located in the southeast of the country, on the banks of the Dâmbovița River, less than north of ...
, where he became a Professor in the School of Mathematics (later the School 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 A ''plenipotentiary'' (from the Latin ''plenus'' "full" and ''potens'' "powerful") is a diplomat who has full powers—authorization to sign a treaty or convention on behalf of his or her sovereign. When used as a noun more generally, the word ' ...
envoy to
Ankara Ankara ( , ; ), historically known as Ancyra and Angora, is the capital of Turkey. Located in the central part of Anatolia, the city has a population of 5.1 million in its urban center and over 5.7 million in Ankara Province, mak ...
. While in
Turkey Turkey ( tr, Türkiye ), officially the Republic of Türkiye ( tr, Türkiye Cumhuriyeti, links=no ), is a transcontinental country located mainly on the Anatolian Peninsula in Western Asia, with a small portion on the Balkan Peninsula in ...
, he gave several series of mathematics lectures at
Istanbul University , image = Istanbul_University_logo.svg , image_size = 200px , latin_name = Universitas Istanbulensis , motto = tr, Tarihten Geleceğe Bilim Köprüsü , mottoeng = Science Bridge from Past to the Future , established = 1453 1846 1933 ...
and
Istanbul Technical University Istanbul Technical University ( tr, İstanbul Teknik Üniversitesi, commonly referred to as ITU or The Technical University) is an international technical university located in Istanbul, Turkey. It is the world's third-oldest 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 The "Simion Stoilow" Institute of Mathematics of the Romanian Academy is a research institute in Bucharest, Romania. It is affiliated with the Romanian Academy, and it is named after Simion Stoilow, one of its founders. History On December 29 ...
. After 1965, one of his students, George Georgescu, worked closely with him on multi-valued logics, and after the
Romanian Revolution The Romanian Revolution ( ro, Revoluția Română), also known as the Christmas Revolution ( ro, Revoluția de Crăciun), was a period of violent civil unrest in Romania during December 1989 as a part of the Revolutions of 1989 that occurred i ...
of 1989, became a Professor of Mathematics and Logic at the same university and department as Moisil in 1991. His student also published extensive, original work on algebraic logic,
MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewi ...
, algebra, algebraic topology, categories of
MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewi ...
s, category theory and Łukasiewicz–Moisil algebra.


Work

Moisil published papers on
mechanics Mechanics (from Ancient Greek: μηχανική, ''mēkhanikḗ'', "of machines") is the area of mathematics and physics concerned with the relationships between force, matter, and motion among physical objects. Forces applied to objects r ...
,
mathematical analysis Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions. These theories are usually studied ...
,
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
, algebra and
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal sy ...
. 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 A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number o ...
, and had many contributions to the field of automata theory in algebra. Whereas Moisil's early contributions were in mathematics, he later devoted his scientific activity to
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal sy ...
and computer science. He was a professor of mathematical logic and computer science at the
University of Bucharest The University of Bucharest ( ro, Universitatea din București), commonly known after its abbreviation UB in Romania, is a public university founded in its current form on by a decree of Prince Alexandru Ioan Cuza to convert the former Princely ...
, and he also taught
Boolean logic In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas in ...
at the
Politehnica University of Bucharest Politehnica University of Bucharest ( ro, Universitatea Politehnica din București) is a technical university in Bucharest, Romania. 200 years of activity have been celebrated lately, as the university was founded in 1818.computer science in Romania, and in raising the first generations of Romanian computer scientists. Furthermore, several of Moisil’s books had an impact on the beginning of computer science: ''Încercări Vechi și Noi în Logica Neoclasică'' ew and Old Approaches in Neoclassic Logic 1953; ''Teoria Algebrică a Mecanismelor Automate'' lgebraic Theory of Automata 1959; and ''Circuite cu Tranzistori'' ransistorized Circuits 1961. These books were translated into several languages, including
Russian Russian(s) refers to anything related to Russia, including: *Russians (, ''russkiye''), an ethnic group of the East Slavic peoples, primarily living in Russia and neighboring countries * Rossiyane (), Russian language term for all citizens and p ...
and
Czech Czech may refer to: * Anything from or related to the Czech Republic, a country in Europe ** Czech language ** Czechs, the people of the area ** Czech culture ** Czech cuisine * One of three mythical brothers, Lech, Czech, and Rus' Places * Czech ...
. He furthermore gave lectures at various universities in Europe and North America. Moisil was a titular member of the
Romanian Academy The Romanian Academy ( ro, Academia Română ) is a cultural forum founded in Bucharest, Romania, in 1866. It covers the scientific, artistic and literary domains. The academy has 181 active members who are elected for life. According to its by ...
and a member of the Academy of Bologna. In 1996, he was awarded by exception posthumously the
Computer Pioneer Award The Computer Pioneer Award was established in 1981 by the Board of Governors of the IEEE Computer Society to recognize and honor the vision of those people whose efforts resulted in the creation and continued vitality of the computer industry. T ...
by the
Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
Computer Society The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operatio ...
.


See also

*
Boolean logic In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas in ...
* De Morgan algebra *
Jan Łukasiewicz Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. H ...
Łukasiewicz logic In mathematics and philosophy, Łukasiewicz logic ( , ) is a non-classical, many-valued logic. It was originally defined in the early 20th century by Jan Łukasiewicz as a three-valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in ...
*
Ternary logic In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating ''true'', ''false'' and some indeterminate ...
* Lattices *
Multi-valued logic Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false" ...
: Łukasiewicz–Moisil algebras *
Quantum logic In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observa ...
:
Quantum computer Quantum computing is a type of computation whose operations can harness the phenomena of quantum mechanics, such as superposition, interference, and entanglement. Devices that perform quantum computations are known as quantum computers. Though ...
s * Algebraic logic:
MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewi ...
*
Symbolic logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal sy ...
:
Mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal sy ...
* Algebra * Category theory: Categorical logic, Adjoint functors *
Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...


Notes


Selected publications

* ''Logique modale'', Disquisit. Math. Phys. 2 (1942), 3–98. * ''Introducere in algebră. I. Inele și ideale'' ntroduction to algebra. I. Rings and ideals Editura Academiei Republicii Popular Române, Bucharest, 1954. * ''Teoria algebrică a mecanismelor automate'' lgebraic theory of automatic machines Academia Republicii Popular Romîne, Editura Tehnică, Bucharest, 1959. * ''Circuite cu tranzistori'' ransistor Circuits Editura Academiei Republicii Popular Romîne, Bucharest, 1961–62. * ''Théorie structurelle des automates finis'', Gauthier-Villars, Paris, 1967. * ''The algebraic theory of switching circuits'',
Pergamon Press Pergamon Press was an Oxford-based publishing house, founded by Paul Rosbaud and Robert Maxwell, that published scientific and medical books and journals. Originally called Butterworth-Springer, it is now an imprint of Elsevier. History The c ...
, Oxford, New York, 1969.


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 Solomon Marcus (; 1 March 1925 – 17 March 2016) was a Romanian mathematician, member of the Mathematical Section of the Romanian Academy (full member from 2001) and emeritus professor of the University of Bucharest's Faculty of Mathematics. ...

"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. * 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 Taylor & Francis Group is an international company originating in England that publishes books and academic journals. Its parts include Taylor & Francis, Routledge, F1000 Research or Dovepress. It is a division of Informa plc, a United Ki ...
, Yverdon, 2001.


External links

* * {{DEFAULTSORT:Moisil, Grigore 1906 births 1973 deaths Academic staff of Alexandru Ioan Cuza University Mathematical logicians People from Tulcea Spiru Haret National College (Bucharest) alumni Politehnica University of Bucharest alumni 20th-century Romanian mathematicians Romanian computer scientists 20th-century Romanian inventors Romanian diplomats Romanian schoolteachers Titular members of the Romanian Academy Academic staff of the University of Bucharest Members of the Romanian Academy of Sciences IEEE award recipients