Les Machines de Turing

Les machines de Turing, un des fondements théoriques des ordinateurs modernes, qui permettent de montrer qu'en un certain sens, tous les ordinateurs de l'Univers se valent. Me soutenir sur Tipeee : http://www.tipeee.com/science-etonnante ou Patreon : https://www.patreon.com/scienceetonnante Détails et compléments dans le billet de blog qui accompagne la vidéo : https://scienceetonnante.com/blog/2025/10/31/les-machines-de-turing/ Merci à Aurélien et son équipe pour la visite en avant-première de leur machine de Turing universelle en LEGO ! Le serveur Discord de Science étonnante ➡️ https://discord.gg/GPamYjVYxA 00:00 Le superordinateur El Capitan 01:43 Alan Turing 02:28 Les ordinateurs dont des calculs 06:27 Qu'est-ce qu'une machine de Turing 13:18 La machine de Turing en LEGO de l'ENS Lyon 14:55 La thèse de Church-Turing 16:37 Les machines universelles 20:32 Turing-complétude 21:43 Y-a-t-il des fonctions non-calculables ? 24:13 Le problème de l'arrêt Écrit et réalisé par David Louapre © Science étonnante Abonnez-vous : https://www.youtube.com/scienceetonnante Mes livres : https://scienceetonnante.com/livres/ Facebook : http://www.facebook.com/sciencetonnante Twitter : http://www.twitter.com/sciencetonnante