La machine de Turing et la thèse de Church-Turing : fondements de l'intelligence artificielle

La machine de Turing et la thèse de Church-Turing sont, je pense, la plus importante idée du 20ème siècle, voire de l'Histoire de l'humanité. Leurs conséquences sur la nature des mathématiques et les lois de la physique sont stupéfiantes. Et puis, elles ont permis toute l'industrie de l'information, Internet, et donc la mise en ligne de la vidéo que vous regardez ! Mes 2 propositions pour la consultation publique de Cédric Villani : (1) Préparer la transition vers un revenu de base : https://tinyurl.com/y8fa9wwt (2) Promouvoir la vulgarisation de qualité : https://tinyurl.com/yc9yq5f3 Facebook : https://www.facebook.com/Science4Allorg/ Twitter : https://twitter.com/science__4__all Tipeee : https://www.tipeee.com/science4all 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 La machine de Turing | Passe-Science https://www.youtube.com/watch?v=P66h8D5Lkwk Les machines de Turing | Math&Magique https://www.youtube.com/watch?v=F9jjj0TaaKI Incomplétude | Passe-Science https://www.youtube.com/watch?v=SBwupYwDgHg Le jeu de la vie | Science Étonnante https://www.youtube.com/watch?v=S-W0NX97DB0 Automate cellulaire | Passe-Science https://www.youtube.com/watch?v=lkdnOuzHdFE Remarks on the Physical Church-Turing Thesis | Scott Aaronson | FQXi Conference 2014 https://www.youtube.com/watch?v=2jz0ugqghys Machine Reading with Word Vectors | Martin Jaggi | ZettaBytes https://www.youtube.com/watch?v=_YYQNpjvvLE Les ordinateurs quantiques | Science Étonnante https://www.youtube.com/watch?v=bayTbt_8aNc LEGO Turing Machine | Andre Theelen https://www.youtube.com/watch?v=FTSAiF9AHN4 Animations of Unseeable Biology | Drew Berry | TED https://www.youtube.com/watch?v=WFCvkkDSfIU Stephen Hawking et la Théorie du Tout | Science Étonnante https://www.youtube.com/watch?v=Sz-tnYUqkC4 Les isomorphismes | Infini 21 https://www.youtube.com/watch?v=aYSAezs1xOQ 1+1=2 (en arithmétique de Peano) | Infini 13 https://www.youtube.com/watch?v=2CqApwhwcTc Qu'est-ce qu'un nombre dans ZFC ? Hardcore 4 https://www.youtube.com/watch?v=-4iFWhzU230 Our Secure Data Center | Google Cloud https://www.youtube.com/watch?v=7pkNt3szF1A Safe Interruptibility in Multi-Agent Systems | Alexandre Maurer | Wandida https://www.youtube.com/watch?v=_KR9Qg6b_XM AI "Stop Button" Problem | Computerphile https://www.youtube.com/watch?v=3TYT1QfdfsM