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

En savoir plus
Regarder Voyages au pays des maths La théorie du chaos - De l'ordre dans le désordre

Voyages au pays des maths

La théorie du chaos - De l'ordre dans le désordre

Regarder Voyages au pays des maths Alicia Boole au pays des polytopes

Voyages au pays des maths

Alicia Boole au pays des polytopes

Regarder Voyages au pays des maths La conjecture de Kepler- Comment ranger ses boulets ?

Voyages au pays des maths

La conjecture de Kepler- Comment ranger ses boulets ?

Regarder Voyages au pays des maths La toupie de Kovalevskaïa ou la meilleure façon de tourner

Voyages au pays des maths

La toupie de Kovalevskaïa ou la meilleure façon de tourner

Regarder Voyages au pays des maths Le problème de Monty Hall

Voyages au pays des maths

Le problème de Monty Hall

Regarder Voyages au pays des maths Le paradoxe de Simpson

Voyages au pays des maths

Le paradoxe de Simpson

Voyages au pays des maths

L' Entscheidungsproblem- La fin des mathématiques ?

11 min

Dostępny do 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 Ondes gravitationnelles : le signal des origines

Ondes gravitationnelles : le signal des origines

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 Silicon Fucking Valley (3/6) La loi du plus fort

Silicon Fucking Valley (3/6)

La loi du plus fort

Regarder Silicon Fucking Valley (4/6) Ce que l'IA doit aux chats

Silicon Fucking Valley (4/6)

Ce que l'IA doit aux chats

Regarder Silicon Fucking Valley (5/6) L'avenue aux 350 milliards

Silicon Fucking Valley (5/6)

L'avenue aux 350 milliards

Regarder Silicon Fucking Valley (6/6) À la recherche du rêve américain

Silicon Fucking Valley (6/6)

À la recherche du rêve américain

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 ?

Les vidéos les plus vues sur ARTE

Regarder La Berlinale, miroir de notre société sur un divan

La Berlinale, miroir de notre société sur un divan

Regarder "Ancestral Visions of the Future" - Rencontre avec Lemohang Jeremiah Mosese

"Ancestral Visions of the Future" - Rencontre avec Lemohang Jeremiah Mosese

Regarder ARTE Journal - 25/08/2025 France, Allemagne: budget sous tension / Gaza / Ruhrtriennale Ostatni dzień
Ostatni dzień

ARTE Journal - 25/08/2025

France, Allemagne: budget sous tension / Gaza / Ruhrtriennale

Regarder Ukraine : Donbass, entre la vie et la mort

Ukraine : Donbass, entre la vie et la mort

Regarder Queens of the Stone Age Cabaret Vert 2025

Queens of the Stone Age

Cabaret Vert 2025

Regarder Helen Mirren, une actrice royale

Helen Mirren, une actrice royale

Regarder ARTE Reportage Cuba dans la tourmente / Karabagh, l'exil en Arménie

ARTE Reportage

Cuba dans la tourmente / Karabagh, l'exil en Arménie

Regarder L’affaire de la culotte de cuir Dostępny jeszcze 4 dni
Dostępny jeszcze 4 dni

L’affaire de la culotte de cuir