Pin It

Quanti interlocutori hai oggi se fai matematica a un livello di specializzazione molto alto? A volte li conti sulle dita di una mano. E allora la peer-review può non bastare. Ecco perché diventano interessanti i verificatori di programmi: software che possono essere usati per verificare la correttezza di una dimostrazione. Ne parliamo con Giuseppe Rosolini, ordinario di logica matematica all’università di Genova. Al microfono Roberta Fulci. Ascolta la puntata.

Pin It
this site uses the awesome footnotes Plugin