Radio3 Scienza del 5 giugno 2015: Giuseppe Rosolini sui "verificatori di programmi"

On June 7, 2015

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.

Leave a Reply

Your email address will not be published. Required fields are marked *