Les Machines de Turing : La Fondation des Ordinateurs Modernes 💻

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