CERCETĂRI PRIVIND FUNCŢIILE RECURSIVE, LOGICA ŞI TEORIA DEMONSTRAŢIEI - În anul 1927, matematicianul român Gabriel Sudan (1899-1977), cu doctoratul la David ...

CERCETĂRI PRIVIND FUNCŢIILE RECURSIVE, LOGICA ŞI TEORIA DEMONSTRAŢIEI - În anul 1927, matematicianul român Gabriel Sudan (1899-1977), cu doctoratul la David Hilbert, a dat primul exemplu de funcţie recursivă care nu este primitiv recursivă, înaintea lui Wilhelm Ackermann (1928). În perioada 1934-1942, la Universitatea din Iaşi, matematicianul Grigore C. Moisil (1906-1973) se ocupa de «Logică şi teoria demonstraţiei» şi propunându-şi «să înveţe matematica de la început», la «minunata bibliotecă» a Seminarului matematic din Iaşi, a studiat cartea lui Hilbert şi Ackermann, dar şi cele 3 volume "Principia Mathematica" ale lui Russel şi Whitehead. Profesorul Moisil a aflat despre logicile cu mai multe valori ale lui Lukasiewicz, în primăvara anului 1935, când T. Kotarbinski, profesor la Universitatea din Varşovia, a ţinut la Iaşi 3 conferinţe publice şi o scurtă lecţie la Seminarul Matematic asupra scrierii fără paranteze a lui Lukasiewicz.

Marin Vlada în proiectul ROINFO Romanian Informatics 2018-2022
Adăugat de Marin Vlada
Comentează! | Votează! | Copiază!