Voyages au pays des maths Saison 2 Episode 10 L' entscheidungsproblem - La fin des mathématiques 2023
10/10 de 1 utilisateurs
On entend souvent dire que les algorithmes contrôlent le monde. Mais qu'est-ce qu'un algorithme ? Pour les contemporains l'idée intuitive paraît à peu près clair : un algorithme, c'est ce qui peut "tourner sur un ordinateur". Mais c'est un renversement chronologique, puisque les ordinateurs concrets sont postérieurs, et viennent justement de travaux mathématique abstraits des années 1930. Nous les survolerons en compagnie de Alonzo Church, Jacques Herbrand, Kurt Gödel et Alan Turing.
- Sortie: 2023-10-10
- Durée: 10 minutes
- Genre: Documentaire
- Etoiles:
- Directeur:
-
6. Alicia Boole au pays des polytopes 2023-10-10
-
7. La conjecture de Kepler 2023-10-10
-
8. La théorie du chaos 2023-10-10
-
9. La toupie de Kovaleskaya 2023-10-10
