Actumaths — Toute l'actualité des mathématiques au quotidien - Page 5

Video

Video

Emeric Tourniaire: Méthodes formelles et sécurité des trains

La méthode B, technique mathématique de vérification formelle, est utilisée dans l'industrie ferroviaire pour garantir la sûreté des logiciels critiques. Cet exposé explore son application au développement et à la modélisation de systèmes complets, tout en soulevant des défis encore ouverts.

Centre International de Rencontres Mathématiques · il y a environ 2 mois
Video

Pourquoi TOUS les mathématiciens doivent tout à Leonhard EULER ? | Documentaire

Leonhard Euler, mathématicien du XVIIIe siècle, a produit plus de 800 ouvrages en dominant tous les domaines des maths, de la mécanique des fluides à la théorie des nombres. Resté productif malgré sa cécité, il a créé le langage mathématique moderne encore utilisé aujourd'hui.

youtube.com · il y a environ 2 mois
Video

Le paradoxe de Newcomb et variations

Cette vidéo de la chaîne Passe-science explore en détail le paradoxe de Newcomb, l'un des grands désaccords philosophico-logiques du XXe siècle. Au-delà du problème classique, elle examine plusieurs variations du paradoxe, notamment une version avec répétition, et analyse les arguments en faveur de chaque position (one-boxer vs…

Passe-Science · il y a environ 2 mois