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
Votează! | Copiază!
Vezi și următoarele:
- citate despre matematică
- citate despre logică
- citate despre timp
- citate despre profesori
- citate despre educație
- citate despre învățătură
- citate despre început
- citate despre valoare
- citate despre universitate
- lecții de engleză
Nu sunt comentarii până acum. Ne-am bucura să vedem o primă impresie despre textul de mai sus.