J'accueille Gilles Dowek, chercheur à l'INRIA et professeur à l'ENS Paris-Saclay (et accessoirement auteur de la préface dont j'ai eu l'honneur d'écrire le livre ^^). On parle de : 7:51 Vérification de preuves et mathématiques constructives 23:41 L'enseignement de l'informatique 1:09:55 L'importance de l'informatique en philosophie 1:37:38 La thèse de Church-Turing 2:11:39 L'éthique des IA Les métamorphoses du calcul | Le Pommier | Gilles Dowek 2007 (je recommande très vivement !!) https://www.editions-lepommier.fr/les-metamorphoses-du-calcul Ce dont on ne peut parler, il faut l'écrire | Le Pommier | Gilles Dowek 2019 https://www.editions-lepommier.fr/ce-dont-ne-peut-parler-il-faut-lecrire Facebook : https://www.facebook.com/Science4Allorg/ Twitter : https://twitter.com/le_science4all Tipeee : https://www.tipeee.com/science4all Mes goodies : https://shop.spreadshirt.fr/science4all Mes dates à venir : https://www.dropbox.com/s/t3abghdmh5964sx/Actu.txt?dl=0 La formule du savoir (mon livre) : https://laboutique.edpsciences.fr/produit/1035/9782759822614/La%20formule%20du%20savoir A Roadmap for the Value-Loading Problem https://arxiv.org/abs/1809.01036 Probablement? en audio : http://playlists.podmytube.com/UC0NCbj8CxzeCGIF6sODJ-7A/PLtzmb84AoqRQ0ikLb4yC4lKgjeDEIpE1i.xml Moi en podcast avec Mr Phi : Version YouTube : https://www.youtube.com/channel/UCNHFiyWgsnaSOsMtSoV_Q1A Version Audio : http://feeds.feedburner.com/Axiome Sous-titres sur les autres vidéos : http://www.youtube.com/timedtext_cs_panel?tab=2&c=UC0NCbj8CxzeCGIF6sODJ-7A