Latest quotes | Random quotes | Vote! | Latest comments | Submit quote

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. .

in ROINFO Romanian Informatics 2018-2022Report problemRelated quotes
Added by Marin Vlada
Comment! | Vote! | Copy!

This text contains a mistake
This text is duplicate
The author of this text is another person
Another problem

More info, if necessary

Your name

Your e-mail


Recent searches | Top searches