Grigore Moisil

from Wikipedia, the free encyclopedia
Grigore Moisil
Romanian postage stamp on the occasion of the 100th birthday of Grigore Moisil (2006)

Grigore Constantin Moisil (born January 10, 1906 in Tulcea , † May 21, 1973 in Ottawa , Canada ) was a Romanian mathematician and computer scientist.

Moisil's father Constantin Moisil (1867-1958) was a professor of history and numismatist, member of the Romanian Academy of Sciences, and his mother was a teacher and later a school director.

Moisil received his doctorate in mathematics (La mecanique analytique des systemes continus) at the University of Bucharest in 1929 under Dimitrie Pompeiu (and Gheorghe Țițeica ). Originally, he had also started engineering studies at the Polytechnic, but did not finish it when he switched to mathematics. In 1930/31 he continued his studies in Paris with Élie Cartan and Jacques Hadamard , among others . Then he was a professor at the University of Iași . In 1931/32 he was on a Rockefeller scholarship in Rome with Vito Volterra . After studying analysis, after studying the famous textbook on algebra by Bartel Leendert van der Waerden, he also turned to algebra (he gave the first courses on modern algebra in Romania) and influenced by the work of Jan Łukasiewicz the mathematical Logic. In a work from 1940 he introduced algebras (LM algebras), later named after Moisil and Lukasiewicz, into multi-valued logic. In 1941 he became a professor in Bucharest.

In 1950 he turned to the logical theory of circuits, about which he published a book (in Romanian) in 1959. He was also significantly involved in the installation of the first computers in Romania in 1957 at the Institute of Atomic Physics, and during this time he began to give computer science courses.

In 1948 he became a member of the Romanian Academy of Sciences and he was a member of the Academy of Sciences in Bologna. In 1996 he received the IEEE Computer Pioneer Prize .

Peter Hammer is one of his doctoral students .

Fonts

  • Théorie structurelle des automates finis, Gauthier-Villars, Paris, 1967
  • The algebraic theory of switching circuits, Pergamon Press, Oxford 1969

Web links

Individual evidence

  1. ^ Mathematics Genealogy Project