Pune citatul pe blogul sau site-ul tău
<div style="background:#fff;border:#bbb dashed 1px;padding:5px"><a href="https://www.citatepedia.ro/comentarii.php?id=409159" style="color:#000;text-decoration:none">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.</a><br><strong><a rel="author" href="https://autori.citatepedia.ro/de.php?a=Marin+Vlada">Marin Vlada</a></strong> în <em><a href="https://surse.citatepedia.ro/din.php?a=Marin+Vlada&amp;d=proiectul+ROINFO+Romanian+Informatics+2018-2022">proiectul ROINFO Romanian Informatics 2018-2022</a></em></div>