Odifreddi: l'Intelligenza Artificiale, da Pigmalione ai Nobel 2024
Il podcast di Piergiorgio Odifreddi: Lezioni e Conferenze.
00:00
Verifica dei programmi e limiti teorici
Si affronta il teorema di Turing sull'impossibilitĂ di verificare automaticamente la correttezza totale dei programmi.
Play episode from 01:20:56
Transcript
