Grigore Moisil
Encyclopedia
Grigore Constantin Moisil (ɡriˈɡore mo.iˈsil; 10 January 1906 in Tulcea
, Romania
– 21 May 1973 in Ottawa
, Canada
) was a Romania
n 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
, 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 in Bologna
and of the International Institute of Philosophy. In 1996, the IEEE Computer Society
awarded him posthumously the Computer Pioneer Award.
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-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 December 30, 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. His student also published extensive, original work on algebraic logic
, MV-algebra
, Algebra
, Algebraic topology
, categories of MV-algebra
s, category theory
and Łukasiewicz-Moisil algebra.
, 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 computer
s. 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 posthumously the Computer Pioneer Award by the Institute of Electrical and Electronics Engineers
Computer Society.
Łukasiewicz logic
Łukasiewicz-Moisil algebras
Quantum computer
s
MV-algebra
Mathematical logic
Categorical logic
,
Adjoint functors
Tulcea
Tulcea is a city in Dobrogea, Romania. It is the administrative center of Tulcea county, and has a population of 92,379 as of 2007. One village, Tudor Vladimirescu, is administered by the city.- History :...
, Romania
Romania
Romania is a country located at the crossroads of Central and Southeastern Europe, on the Lower Danube, within and outside the Carpathian arch, bordering on the Black Sea...
– 21 May 1973 in Ottawa
Ottawa
Ottawa is the capital of Canada, the second largest city in the Province of Ontario, and the fourth largest city in the country. The city is located on the south bank of the Ottawa River in the eastern portion of Southern Ontario...
, Canada
Canada
Canada is a North American country consisting of ten provinces and three territories. Located in the northern part of the continent, it extends from the Atlantic Ocean in the east to the Pacific Ocean in the west, and northward into the Arctic Ocean...
) was a Romania
Romania
Romania is a country located at the crossroads of Central and Southeastern Europe, on the Lower Danube, within and outside the Carpathian arch, bordering on the Black Sea...
n mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
, computer
Computer
A computer is a programmable machine designed to sequentially and automatically carry out a sequence of arithmetic or logical operations. The particular sequence of operations can be changed readily, allowing the computer to solve more than one kind of problem...
pioneer, and member of the Romanian Academy
Romanian Academy
The Romanian Academy is a cultural forum founded in Bucharest, Romania, in 1866. It covers the scientific, artistic and literary domains. The academy has 181 acting members who are elected for life....
. His research was mainly in the fields of mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
, (Łukasiewicz-Moisil algebra
Multivalued function
In mathematics, a multivalued function is a left-total relation; i.e. every input is associated with one or more outputs...
), Algebraic logic
Algebraic logic
In mathematical logic, algebraic logic is the study of logic presented in an algebraic style.What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics and connected problems...
, MV-algebra
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...
, algebra
Algebra
Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from them, including terms, polynomials, equations and algebraic structures...
and differential equations. He is viewed as the father of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
in Romania.
Moisil was also a member of the Academy of Sciences in Bologna
Bologna
Bologna is the capital city of Emilia-Romagna, in the Po Valley of Northern Italy. The city lies between the Po River and the Apennine Mountains, more specifically, between the Reno River and the Savena River. Bologna is a lively and cosmopolitan Italian college city, with spectacular history,...
and of the International Institute of Philosophy. In 1996, the IEEE Computer Society
IEEE Computer Society
The IEEE Computer Society is a professional society of IEEE. Its purpose and scope is “to advance the theory, practice, and application of computer and information processing science and technology” and the “professional standing of its members.” The CS is the largest of 38 technical societies...
awarded him posthumously the Computer Pioneer Award.
Biography
Grigore Moisil was born in 1906 in Tulcea into an intellectualIntellectual
An intellectual is a person who uses intelligence and critical or analytical reasoning in either a professional or a personal capacity.- Terminology and endeavours :"Intellectual" can denote four types of persons:...
family. His grandfather, Grigore Moisil (1814–1891), a clergyman, was one of the founders of the first Romanian high school in Năsăud
Nasaud
Năsăud 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 and Luşca.The name Năsăud is possibly derived from the Slavic nas voda, meaning "near the water"...
. His father, Constantin Moisil (1867–1958), was a history professor, archaeologist
Archaeology
Archaeology, or archeology , is the study of human society, primarily through the recovery and analysis of the material culture and environmental data that they have left behind, which includes artifacts, architecture, biofacts and cultural landscapes...
and numismatist
Numismatics
Numismatics is the study or collection of currency, including coins, tokens, paper money, and related objects. While numismatists are often characterized as students or collectors of coins, the discipline also includes the broader study of money and other payment media used to resolve debts and the...
; as a member of the Romanian Academy
Romanian Academy
The Romanian Academy is a cultural forum founded in Bucharest, Romania, in 1866. It covers the scientific, artistic and literary domains. The academy has 181 acting members who are elected for life....
, 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
Bucharest is the capital municipality, cultural, industrial, and financial centre of Romania. It is the largest city in Romania, located in the southeast of the country, at , and lies on the banks of the Dâmbovița River....
(now "Enăchiţă Văcărescu" school).
Grigore Moisil attended primary school in Bucharest, then high school in Vaslui
Vaslui
Vaslui , a city in eastern Romania, is the seat of Vaslui County, in the historical region of Moldavia.The city administers five villages: Bahnari, Brodoc, Moara Grecilor, Rediu and Viişoara.-History:...
and Bucharest (at "Spiru Haret
Spiru Haret
Spiru C. Haret 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 approximation for the disturbing forces implies instability of the major axes of the orbits, and by...
" High School) between 1916-1922. In 1924 he was admitted at the Constructions Faculty of the Polytechnic University of Bucharest
Polytechnic University of Bucharest
Universitatea Politehnica din Bucureşti is a technical university in Bucharest, Romania. It was founded in 1864 based on the older technical school of Gheorghe Lazăr and it was renamed "Politehnica" in 1920.-History:...
, and also the Mathematics Faculty of the University of Bucharest
University of Bucharest
The University of Bucharest , in Romania, is a university founded in 1864 by decree of Prince Alexander John Cuza to convert the former Saint Sava Academy into the current University of Bucharest.-Presentation:...
. 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.
Ph.D.
A Ph.D. is a Doctor of Philosophy, an academic degree.Ph.D. may also refer to:* Ph.D. , a 1980s British group*Piled Higher and Deeper, a web comic strip*PhD: Phantasy Degree, a Korean comic series* PhD Docbook renderer, an XML renderer...
thesis, La mécanique analytique des systemes continus (Analytical mechanics of continuous systems), before a commission led by Gheorghe Ţiţeica
Gheorghe Titeica
Gheorghe Ţiţeica publishing as George or Georges Tzitzeica) was a Romanian mathematician with important contributions in geometry. He is recognized as the founder of the Romanian school of differential geometry....
, with Dimitrie Pompeiu
Dimitrie Pompeiu
-Biography:After studying in Dorohoi and Bucharest, he went to France, where he studied mathematics at the University of Paris . He obtained a Ph.D. degree in mathematics in 1905 with a thesis, On the continuity of complex variable functions, written under the direction of Henri Poincaré...
and Anton Davidoglu
Anton Davidoglu
Anton Davidoglu was a Romanian mathematician of international reputation....
as members. The thesis was published the same year by the Gauthier-Villars publishing house in Paris
Paris
Paris is the capital and largest city in France, situated on the river Seine, in northern France, at the heart of the Île-de-France region...
, and received favourable comments from Vito Volterra
Vito Volterra
Vito Volterra was an Italian mathematician and physicist, known for his contributions to mathematical biology and integral equations....
, Tullio Levi-Civita
Tullio Levi-Civita
Tullio Levi-Civita, FRS was an Italian mathematician, most famous for his work on absolute differential calculus and its applications to the theory of relativity, but who also made significant contributions in other areas. He was a pupil of Gregorio Ricci-Curbastro, the inventor of tensor calculus...
, and Paul Lévy
Paul Pierre Lévy
Paul Pierre Lévy was a Jewish French mathematician who was active especially in probability theory, introducing martingales and Lévy flights...
.
In 1930 Moisil went to the University of Paris
University of Paris
The University of Paris was a university located in Paris, France and one of the earliest to be established in Europe. It was founded in the mid 12th century, and officially recognized as a university probably between 1160 and 1250...
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
Rockefeller Foundation
The Rockefeller Foundation is a prominent philanthropic organization and private foundation based at 420 Fifth Avenue, New York City. The preeminent institution established by the six-generation Rockefeller family, it was founded by John D. Rockefeller , along with his son John D. Rockefeller, Jr...
scholarship to study in Rome
Rome
Rome is the capital of Italy and the country's largest and most populated city and comune, with over 2.7 million residents in . The city is located in the central-western portion of the Italian Peninsula, on the Tiber River within the Lazio region of Italy.Rome's history spans two and a half...
.
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
Multi-valued logic
In logic, a many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition...
. His research in mathematical logic laid the foundation for significant work done afterwards in Romania, as well as Argentina
Argentina
Argentina , officially the Argentine Republic , is the second largest country in South America by land area, after Brazil. It is constituted as a federation of 23 provinces and an autonomous city, Buenos Aires...
, Yugoslavia
Yugoslavia
Yugoslavia refers to three political entities that existed successively on the western part of the Balkans during most of the 20th century....
, Czechoslovakia
Czechoslovakia
Czechoslovakia or Czecho-Slovakia was a sovereign state in Central Europe which existed from October 1918, when it declared its independence from the Austro-Hungarian Empire, until 1992...
, and Hungary
Hungary
Hungary , officially the Republic of Hungary , is a landlocked country in Central Europe. It is situated in the Carpathian Basin and is bordered by Slovakia to the north, Ukraine and Romania to the east, Serbia and Croatia to the south, Slovenia to the southwest and Austria to the west. The...
. 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
University of Bucharest
The University of Bucharest , in Romania, is a university founded in 1864 by decree of Prince Alexander John Cuza to convert the former Saint Sava Academy into the current University of Bucharest.-Presentation:...
opened up, and Moisil applied for it. However, Gheorghe Vrânceanu
Gheorghe Vranceanu
Gheorghe Vrânceanu was a Romanian mathematician, best known for his work in differential geometry and topology....
, Dan Barbilian
Ion Barbu
Ion Barbu was a distinguished Romanian mathematician and poet.He was born in Câmpulung-Muscel, Argeş County, the son of Constantin Barbilian and Smaranda, born Şoiculescu. He attended Ion Brătianu High School in Piteşti and Gheorghe Lazăr High School in Bucharest...
, and Miron Nicolescu
Miron Nicolescu
Miron Nicolescu was a Romanian mathematician.Born in Giurgiu, he attended the Matei Basarab high school in Bucharest. After completing his undergraduate studies at the Faculty of Mathematics of the University of Bucharest in 1924, he went to Paris, where he enrolled at the École Normale...
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
Bucharest is the capital municipality, cultural, industrial, and financial centre of Romania. It is the largest city in Romania, located in the southeast of the country, at , and lies on the banks of the Dâmbovița River....
, where he became a Professor in the Faculty of Mathematics (later the Faculty of Mathematics and Computer Science) at the University of Bucharest, on December 30, 1941.
From 1946 to 1948, Moisil took a leave of absence, being named plenipotentiary
Plenipotentiary
The word plenipotentiary has two meanings. As a noun, it refers to a person who has "full powers." In particular, the term commonly refers to a diplomat fully authorized to represent his government as a prerogative...
envoy to Ankara
Ankara
Ankara is the capital of Turkey and the country's second largest city after Istanbul. The city has a mean elevation of , and as of 2010 the metropolitan area in the entire Ankara Province had a population of 4.4 million....
. While in Turkey
Turkey
Turkey , known officially as the Republic of Turkey , is a Eurasian country located in Western Asia and in East Thrace in Southeastern Europe...
, he gave several series of mathematics lectures at Istanbul University
Istanbul University
Istanbul University is a Turkish university located in Istanbul. The main campus is adjacent to Beyazıt Square.- Synopsis :A madrasa, a religious school, was established sometime in the 15th century after the Ottoman conquest of Constantinople. An institution of higher education named the...
and Istanbul Technical University
Istanbul Technical University
Istanbul Technical University is an international technical university located in Istanbul, Turkey. It is the world's third oldest technical university dedicated to engineering sciences as well as social sciences recently, and is one of the most prominent educational institutions in Turkey...
.
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
Institute of Mathematics of the Romanian Academy
The Institute of Mathematics "Simion Stoilow" of the Romanian Academy is a research institute in Bucharest, specialized in Mathematics. It was named after Simion Stoilow, who was its first Director, in 1949. In 1974 Nicolae Ceauşescu's daughter Zoia was permitted into the institute because of her...
. 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. His student also published extensive, original work on algebraic logic
Algebraic logic
In mathematical logic, algebraic logic is the study of logic presented in an algebraic style.What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics and connected problems...
, MV-algebra
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...
, Algebra
Algebra
Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from them, including terms, polynomials, equations and algebraic structures...
, Algebraic topology
Algebraic topology
Algebraic topology is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.Although algebraic topology...
, categories of MV-algebra
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...
s, category theory
Category theory
Category theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
and Łukasiewicz-Moisil algebra.
Work
Moisil published papers on mechanicsMechanics
Mechanics is the branch of physics concerned with the behavior of physical bodies when subjected to forces or displacements, and the subsequent effects of the bodies on their environment....
, mathematical analysis
Mathematical analysis
Mathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of infinitesimal calculus. It is a branch of pure mathematics that includes the theories of differentiation, integration and measure, limits, infinite series, and analytic functions...
, geometry
Geometry
Geometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre-modern mathematics, the other being the study of numbers ....
, algebra
Algebra
Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from them, including terms, polynomials, equations and algebraic structures...
and mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
. He developed a multi-dimensional extension of Pompeiu's areolar derivative, and studied monogenic functions of one hypercomplex
Hypercomplex number
In mathematics, a hypercomplex number is a traditional term for an element of an algebra over a field where the field is the real numbers or the complex numbers. In the nineteenth century number systems called quaternions, tessarines, coquaternions, biquaternions, and octonions became established...
variable with applications to mechanics. Moisil also introduced some many-valued algebras
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...
, which he called Łukasiewicz algebras (now also named Łukasiewicz-Moisil algebras
Multi-valued logic
In logic, a many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition...
), and used them in logic and the study of automata theory
Automata theory
In theoretical computer science, automata theory is the study of abstract machines and the computational problems that can be solved using these machines. These abstract machines are called automata...
. He created new methods to analyze finite automata
Deterministic finite state machine
In the theory of computation and automata theory, a deterministic finite state machine—also known as deterministic finite automaton —is a finite state machine accepting finite strings of symbols. For each state, there is a transition arrow leading out to a next state for each symbol...
, and had many contributions to the field of automata theory in algebra.
Moisil had important contributions in the creation of the first Romanian computer
Computer
A computer is a programmable machine designed to sequentially and automatically carry out a sequence of arithmetic or logical operations. The particular sequence of operations can be changed readily, allowing the computer to solve more than one kind of problem...
s. He played a fundamental role in the development of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
in Romania, and in raising the first generations of Romanian computer scientists. In 1996, he was awarded posthumously the Computer Pioneer Award by the Institute of Electrical and Electronics Engineers
Institute of Electrical and Electronics Engineers
The Institute of Electrical and Electronics Engineers is a non-profit professional association headquartered in New York City that is dedicated to advancing technological innovation and excellence...
Computer Society.
See also
- Boolean logicBoolean logicBoolean algebra is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of multiplication xy, addition x + y, and negation −x replaced by the respective logical operations of...
- Jan Łukasiewicz
Łukasiewicz logic
- Ternary logicTernary logicIn logic, a three-valued logic is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value...
- LatticeLatticeLattice may refer to:In art and design:* Latticework an ornamental criss-crossed framework, an arrangement of crossing laths or other thin strips of material* Lattice In engineering:* A lattice shape truss structure...
s - Multi-valued logicMulti-valued logicIn logic, a many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition...
:
Łukasiewicz-Moisil algebras
Multi-valued logic
In logic, a many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition...
- Quantum logicQuantum logicIn quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account...
:
Quantum computer
Quantum computer
A quantum computer is a device for computation that makes direct use of quantum mechanical phenomena, such as superposition and entanglement, to perform operations on data. Quantum computers are different from traditional computers based on transistors...
s
- Algebraic logicAlgebraic logicIn mathematical logic, algebraic logic is the study of logic presented in an algebraic style.What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics and connected problems...
:
MV-algebra
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...
- Symbolic logic:
Mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
- AlgebraAlgebraAlgebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from them, including terms, polynomials, equations and algebraic structures...
- Category theoryCategory theoryCategory theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
:
Categorical logic
Categorical logic
Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor...
,
Adjoint functors
- Institute of Electrical and Electronics EngineersInstitute of Electrical and Electronics EngineersThe Institute of Electrical and Electronics Engineers is a non-profit professional association headquartered in New York City that is dedicated to advancing technological innovation and excellence...
Selected publications
- Logique modale, Disquisit. Math. Phys. 2 (1942), 3–98.
- Introducere in algebră. I. Inele şi ideale [Introduction to algebra. I. Rings and ideals], Editura Academiei Republicii Popular Române, Bucharest, 1954.
- Teoria algebrică a mecanismelor automate [Algebraic theory of automatic machines], Academia Republicii Popular Romîne, Editura Tehnică, Bucharest, 1959.
- Circuite cu tranzistori [Transistor 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 PressPergamon PressPergamon Press was an Oxford-based publishing house, founded by Paul Rosbaud and Robert Maxwell, which published scientific and medical books and journals. It is now an imprint of Elsevier....
, 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 MarcusSolomon MarcusSolomon Marcus is a Romanian mathematician, member of the Mathematical Section of the Romanian Academy 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. 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 BreachTaylor and FrancisTaylor & Francis Group is an international company originating in the United Kingdom which publishes books and academic journals. It is a division of Informa plc, a United Kingdom-based publisher and conference company.- Overview :...
, Yverdon, 2001.
External links
- Short bio, at the Romanian National Institute for R&D in Informatics
- Grigore Moisil centenary, at the University of BucharestUniversity of BucharestThe University of Bucharest , in Romania, is a university founded in 1864 by decree of Prince Alexander John Cuza to convert the former Saint Sava Academy into the current University of Bucharest.-Presentation:...
- "Grigore Moisil", Observatorul, Toronto, Canada, January 5, 2003
- Symposium on the Grigore Moisil centenary, at Agora UniversityAgora UniversityThe Agora University is a private high education and research institution in Romania, developed inside the Agora Foundation.Its high standards of teaching and research had already created a name in the education sector...
- 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.Grigore C. Moisil Centenar Grigore C. MoisilGrigore Moisil - Observatorul (Canada)Simpozion "Spiritul moisilian pe meleaguri bihorene" MoisilBrasov.ro - Colegiul National de Informatica "Grigore Moisil" Brasov LTGM.ro - Liceul Teoretic "Grigore Moisil" Urziceni