RESEARCH ON RECURSIVE FUNCTIONS, LOGIC AND THEORY OF DEMONSTRATION - In 1927, the Romanian mathematician Gabriel Sudan (1899-1977), with his doctorate at David Hilbert, gave the first example of a recursive function that is not primitive recursive, before Wilhelm Ackermann ( 1928). Between 1934-1942, at the University of Iași, the mathematician Grigore C. Moisil (1906-1973) dealt with "Logic and the theory of demonstration" and aiming to "learn mathematics from the beginning", he studied at the "wonderful library" of the Mathematical Seminar in Iași, the book by Hilbert and Ackermann, but also the 3 volumes “Principia Mathematica” by Russel and Whitehead. Professor Moisil learned about Lukasiewicz's multi-valued logics in the spring of 1935, when T. Kotarbinski, a professor at the University of Warsaw, gave 3 public lectures and a short lecture at the Mathematical Seminar on Lukasiewicz's writing without parentheses. .
Marin Vlada in ROINFO Romanian Informatics 2018-2022
Added by Marin Vlada
Comment! | Vote! | Copy!
No comments until now.