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