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