The wonderful adventures of the mathematician in logic-land: From Lukasiewicz-Moisil logic to computers

摘要

In 1996 Grigore C. Moisil received posthumously the IEEE Computer Pioneer Award for the development of polyvalent logic switching circuits, the Romanian School of Computing, and support of the first Romanian computers. Moisil, one of the greatest Romanian intellectuals, was first of all a gifted mathematician. His mentors were Bertrand Russell, Stefan Banach and Kazimierz Kuratowski, and the Romanian mathematicians Spiru Haret, Dimitrie Pompeiu and Gheorghe ¿¿i¿¿eica, among others. He graduated mathematics at the University of Bucharest in 1926 and obtained the Ph.D. in 1929 with a thesis of applied mathematics "Analytical Mechanics of Continuous Systems". His first works were devoted to functional analysis applied in the mechanics of deformable media and also to abstract algebra. But where we will focus on mostly is his visionary attitude embedded into a special sense for new directions in mathematics and the encounter during his activity at the University of Ia¿¿i, with the Polish school of logic, marking the beginning of the wonderful adventures in the field of multi-valued logic. My contribution is focused on emphasising the major milestones of the journey of the mathematician towards the magic world of computer science.