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