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 Trieste, la scienza e tu

Trieste, la scienza e tu

24/09/2021

Da oggi a domenica il capoluogo friulano ospita Trieste NEXT, grande kermesse dedicata ogni anno alla ricerca applicata e alle nuove tecnologie

  • Ascolta
  • Podcast
  • Opzioni
Ascolta Il Tao della matematica

Il Tao della matematica

23/09/2021

Ragazzo prodigio da piccolo, Terence Tao, 46 anni, è oggi uno dei più grandi matematici del nostro tempo

  • Ascolta
  • Podcast
  • Opzioni
Ascolta Atlante letterario della fisica

Atlante letterario della fisica

22/09/2021

L'intreccio tra scienza e letteratura in "Atlante occidentale", il capolavoro di Daniele Del Giudice, scomparso a settembre

  • Ascolta
  • Podcast
  • Opzioni
Ascolta Decido io?

Decido io?

21/09/2021

"Rumore. Un difetto del ragionamento umano" (UTET 2021): sfogliamo il nuovo saggio di Daniel Kahneman, Olivier Sibony e Cass R. Sunstein sui processi decisionali

  • 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