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 Les questions qui fâchent Robotisation du travail : demain, tous chômeurs ?

Les questions qui fâchent

Robotisation du travail : demain, tous chômeurs ?

Regarder Les questions qui fâchent Réseaux sociaux et démocratie : la carpe et le lapin ?

Les questions qui fâchent

Réseaux sociaux et démocratie : la carpe et le lapin ?

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

Silicon Fucking Valley (1/6)

La fabrique des cerveaux

Regarder Les questions qui fâchent L’hydrogène : miracle ou mirage énergétique ?

Les questions qui fâchent

L’hydrogène : miracle ou mirage énergétique ?

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

Silicon Fucking Valley (2/6)

L'ordi qui a tout changé

Regarder L'Europe dans l'espace Hera, la guerre des astéroïdes

L'Europe dans l'espace

Hera, la guerre des astéroïdes

Les vidéos les plus vues sur ARTE

Regarder Un témoin encombrant

Un témoin encombrant

Regarder ARTE Journal - 22/05/2025 Fusillade à Washington / Soldats allemands en Lituanie Dernier jour
Dernier jour

ARTE Journal - 22/05/2025

Fusillade à Washington / Soldats allemands en Lituanie

Regarder Le dessous des cartes - L'essentiel Nouveau président en Roumanie : le choix de l'Europe

Le dessous des cartes - L'essentiel

Nouveau président en Roumanie : le choix de l'Europe

Regarder Le dessous des cartes - L'essentiel Européens et Britanniques : le temps des retrouvailles ?

Le dessous des cartes - L'essentiel

Européens et Britanniques : le temps des retrouvailles ?

Regarder Un billet de train pour la côte ouest du Japon

Un billet de train pour la côte ouest du Japon

Regarder Le dessous des images Jack Doherty, la vidéo de trop ?

Le dessous des images

Jack Doherty, la vidéo de trop ?