+david +hilbert

S-a elaborat un studiu privind priorităţile pe plan mondial în dezvoltarea domeniului Computing, în special evidenţiind contribuţiile lui David Hilbert, Wilhelm Acherman, Alonzo Church, Kurt Gödel, Alan Turing, John von Neumann, Norbert Wiener, Noam Chomsky. S-a ajuns la concluzia că şi România se poate mândri cu unele priorităţi în acest domeniu, scoţând în evidenţă contribuţiile următoarelor personalităţi: Gabriel Sudan, Ştefan Odobleja, Grigore C. Moisil, Tiberiu Popoviciu, Victor Toma, Wilhelm Löwenfeld, Iosif Kaufmann, Solomon Marcus, Sergiu Rudeanu.

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

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ă!