Radio3 Scienza 2019

La prova del software

Informações:

Trama

Peter Scholze, medaglia Fields 2018, lancia la sfida: può un programma validare un teorema?