Les Machines de Turing

Postée le 31/10/2025

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