Pour des raisons de droits, ce programme n’est pas disponible dans le pays dans lequel vous vous trouvez.

En savoir plus

Voyages au pays des mathsL' Entscheidungsproblem- La fin des mathématiques ?

11 min

Disponible jusqu'au 09/10/2028

Imaginez un monde où une machine pourrait calculer le vrai et le faux... Á défaut, Church, Herbrand, Gödel et Turing ont tenté chacun à leur manière de déterminer si un algorithme pouvait trancher qu'on peut démontrer ou pas une assertion mathématique. L'Entscheidungsproblem, le problème de la décision, qui a fait tanguer les maths et, au passage, posé les bases de l'informatique.


Réalisation

Denis van Waerebeke

Pays

France

Année

2022

Vous pourriez aimer aussi

Regarder L'Europe dans l'espace James Webb – À la recherche d’une nouvelle Terre

L'Europe dans l'espace

James Webb – À la recherche d’une nouvelle Terre

Regarder Silicon Fucking Valley (1/6) La fabrique des cerveaux

Silicon Fucking Valley (1/6)

La fabrique des cerveaux

Regarder Silicon Fucking Valley (2/6) L'ordi qui a tout changé

Silicon Fucking Valley (2/6)

L'ordi qui a tout changé

Regarder Culture physique Le vélo et la puissance

Culture physique

Le vélo et la puissance

Regarder Culture physique L’aviron et les leviers

Culture physique

L’aviron et les leviers

Regarder Silicon Fucking Valley (3/6) La loi du plus fort

Silicon Fucking Valley (3/6)

La loi du plus fort

Les vidéos les plus vues sur ARTE

Regarder Antonov, le légendaire géant des airs L'histoire du plus grand avion du monde

Antonov, le légendaire géant des airs

L'histoire du plus grand avion du monde

Regarder ARTE Journal Conférence pour l'Ukraine / Accord sur la dissuasion nucléaire Dernier jour
Dernier jour

ARTE Journal

Conférence pour l'Ukraine / Accord sur la dissuasion nucléaire

Regarder Philippe Katerine Les Eurockéennes de Belfort 2025

Philippe Katerine

Les Eurockéennes de Belfort 2025

Regarder Les filets vides

Les filets vides

Regarder Inondations au Texas : Trump critiqué Plus que 3 jours
Plus que 3 jours

Inondations au Texas : Trump critiqué

Regarder Mégafeux : quels risques pour les villes en Europe ?

Mégafeux : quels risques pour les villes en Europe ?