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 : tinyurl.com/y8...
(2) Promouvoir la vulgarisation de qualité : tinyurl.com/yc...
Facebook : / science4allorg
Twitter : / science__4__all
Tipeee : www.tipeee.com...
Moi en podcast avec Mr Phi :
Version KZitem : / @axiome7403
Version Audio : feeds.feedburne...
Sous-titres sur les autres vidéos : www.youtube.com...
La machine de Turing | Passe-Science
• La machine de Turing, ...
Les machines de Turing | Math&Magique
• Les machines de Turing...
Incomplétude | Passe-Science
• Le théorème d'incomplé...
Le jeu de la vie | Science Étonnante
• Le Jeu de la Vie
Automate cellulaire | Passe-Science
• Les Automates Cellulai...
Remarks on the Physical Church-Turing Thesis | Scott Aaronson | FQXi Conference 2014
• Scott Aaronson, "Remar...
Machine Reading with Word Vectors | Martin Jaggi | ZettaBytes
• Machine Reading with W...
Les ordinateurs quantiques | Science Étonnante
• Les Ordinateurs Quanti...
LEGO Turing Machine | Andre Theelen
• LEGO Turing Machine
Animations of Unseeable Biology | Drew Berry | TED
• Animations of unseeabl...
Stephen Hawking et la Théorie du Tout | Science Étonnante
• Stephen Hawking et la ...
Les isomorphismes | Infini 21
• Les isomorphismes | In...
1+1=2 (en arithmétique de Peano) | Infini 13
• Les théorèmes d'incomp...
Qu'est-ce qu'un nombre dans ZFC ? Hardcore 4
• Qu'est ce qu'un nombre...
Our Secure Data Center | Google Cloud
• Google - Our Secure Da...
Safe Interruptibility in Multi-Agent Systems | Alexandre Maurer | Wandida
• Safe Interruptibility ...
AI "Stop Button" Problem | Computerphile
• AI "Stop Button" Probl...
Негізгі бет Ғылым және технология La machine de Turing | Intelligence Artificielle 4
Пікірлер: 349