Dans ma vidéo du 14 juillet, j’ai fait un lapsus qui m’a fait rire moi-même : « délire » pour « désir ». Le contexte c’était mon retour dans la recherche en Intelligence Artificielle dont je cherchais à dire que ç’avait été mon « désir secret », mais dont j’ai dit – avant de me rattraper – que c’était mon « délire secret »… ce que c’était aussi. Mon lapsus a donc inspiré un Artisan Anonyme, que je remercie pour son affiche !
À la page 354 figure un rapprochement preuve(Godel) /programme(Turing) Ce genre de correspondance a été mis en évidence par Curry…
Laisser un commentaire