L'Entscheidungsproblem : La fin des mathématiques ou une nouvelle ère ? | ARTE
Explorez le défi de l'Entscheidungsproblem et ses implications pour l'avenir des mathématiques, avec des références à Turing, Church et Gödel. Disponible jusqu'au 10/10/2028. 🔍
About this video
#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
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.
57 user reviews
Write a Review
User Reviews
0 reviewsBe the first to comment...
Video Information
Total views since publication
User likes and reactions
Video length
Release date
Video definition
About the Channel
Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
No specific trending topics match this video yet.
Explore All Global TrendsShare This Video
SOCIAL SHAREShare this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!