Voyages au pays des maths
C’est un pays exotique et déroutant que celui des maths. On y parle une langue bizarre, pleine d’homéomorphismes, de variétés différentielles, de nombres transfinis… Mais on y trouve aussi des paysages épiques, des idées vertigineuses et même, parfois, des choses utiles ! Cette websérie animée propose à tous les curieux munis d’un cerveau en état de marche une visite inédite au pays des maths. Avec un guide, bien sûr !
Détails
Chaînes
S2 E10 • 10/10/2023
L'Entscheidungsproblem ou la fin des mathématiques ?
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.
Images
Saisons
Similaires
Mystères au musée
Le Monde selon Jeff Goldblum
Comment ça marche ?
American Masters
Comment c'est fait
Merveilles modernes
Finding Your Roots
Hot Girls Wanted: Turned On
Mind Field
