Voyages au pays des Maths - "L' Entscheidungsproblem" - La fin des mathématiques ?
Saison 2
Description
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.
La série : 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 !
Versions disponibles
Audio
Français, Allemand, Anglais
Sous-titre
Aucun.e
Transcription
Aucun.e