L'Entscheidungsproblem : La fin des mathématiques ou une nouvelle ère ? | 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