Benvenuto in RaiPlay Radio. Questa la legenda per navigare tra i contenuti tramite tastiera. I link principali corrispondenti alle varie sezioni del giornale sono stati associati a tasti di scelta rapida da tastiera. Premere ALT + la lettera o il numero desiderat0 + INVIO: ALT + 1 = Vai al canale Rai Radio 1
ALT + 2 = Vai al canale Rai Radio 2
ALT + 3 = Vai al canale Rai Radio 3
ALT + 4 = Vai al canale Rai Radio Tutta Italiana
ALT + 5 = Vai al canale Rai Radio Classica
ALT + 6 = Vai al canale Rai Radio Techetè
ALT + 7 = Vai al canale Rai Radio Live
ALT + 8 = Vai al canale Rai Radio Kids
ALT + 9 = Vai al canale Isoradio
ALT + 0 = Vai al canale Gr Parlamento
ALT + P = Play - ascolta la radio

Radio3 scienza

La prova del software

La prova del software
Ascolta l'audio
Peter Scholze, medaglia Fields 2018, lancia la sfida: può un programma validare un teorema?
Si chiama “matematica condensata”. È una grande teoria unificatrice: l’idea di Peter Scholze, medaglia Fields 2018, e del suo collega Dustin Clausen, si fonda però su un teorema così difficile che nessuno riesce a verificare se la dimostrazione sia corretta. Ci ha pensato un team di sviluppatori, addestrando un software in grado di confermare la logica dei passaggi della dimostrazione, come ci racconta Riccardo Brasca, maitre de conference al dipartimento di Matematica dell’università di Parigi. Ma come fa un programma a validare un teorema? E come cambia la nostra idea di dimostrazione matematica? Risponde Silvia De Toffoli, filosofa della matematica all’università di Princeton. 

Al microfono Roberta Fulci

Filosofia pratica della matematica, istruzioni per l’uso – Roberto Natalini intervista Silvia De Toffoli su MaddMaths

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory, Davide Castelvecchi su Nature 

Donne fra le stelle - Simposio internazionale a Fiumefreddo Bruzio (CS)

Ultime Puntate e Podcast

Ascolta Il metaverso promesso

Il metaverso promesso

26/10/2021

Facebook punta a cambiare nome. E a creare un metaverso, cioè un mondo virtuale 3D popolato dai nostri avatar

  • Ascolta
  • Podcast
  • Opzioni
Ascolta Sogno o son desto?

Sogno o son desto?

25/10/2021

Come fa un cervello addormentato a scegliere quali stimoli ignorare e quali no?

  • Ascolta
  • Podcast
  • Opzioni
Ascolta Parole e mappe

Parole e mappe

22/10/2021

Al festival della Scienza di Genova, tra linguistica computazionale e geometria delle mappe

  • Ascolta
  • Podcast
  • Opzioni
Ascolta Dentro l'intelligenza artificiale

Dentro l'intelligenza artificiale

21/10/2021

Andiamo a D come digitale, la quinta edizione del Festival Informatici Senza Frontiere, che quest'anno ha solo relatrici donne

  • Ascolta
  • Podcast
  • Opzioni

Caricamento...

Ascolta le dirette

Rai Radio 1

Rai Radio 2

Rai Radio 3

Rai Isoradio

Rai Radio 1 Sport

Rai Radio 2 Indie

Rai Radio 3 Classica

Rai Radio GR Parlamento

Rai Radio Kids

Rai Radio Live

Rai Radio Techetè

Rai Radio Tutta Italiana

Canali Overview
Apri lista canali

Riproduzione casuale Audio precedente Indietro di 15 secondi Ascolta Audio successivo Avanti di 15 secondi Ripeti
VolumeVolume off

Riproduzione casuale Audio precedente Indietro di 15 secondi Ascolta la diretta Avanti di 15 secondi Audio successivo Ripeti
VolumeVolume off Apri il player
Nessun risultato per