L' Entscheidungsproblem ou la fin des mathématiques ? | Voyages au pays des maths | ARTE

Disponible jusqu'au 10/10/2028 #Maths #Turing #ARTE 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. Abonnez-vous à la chaîne ARTE https://www.youtube.com/channel/UCwI-JbGNsojunnHbFAc0M4Q/?sub_confirmation=1 Suivez-nous sur les réseaux ! Facebook : http://www.facebook.com/artetv Twitter : http://www.twitter.com/artefr Instagram : https://www.instagram.com/artefr