Les vidéos qui semblent générées par IA sont affichées. Les masquer
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.
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.
Un documentaire retrace la vie de David Hilbert, mathématicien majeur du XXe siècle longtemps méconnu du grand public. Du mépris familial à la transformation de Göttingen en capitale mondiale des maths, le film explore ses révolutions scientifiques et son engagement moral face aux totalitarismes.
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…
Un documentaire revient sur l'histoire extraordinaire d'André Weil, mathématicien français emprisonné durant la Seconde Guerre mondiale. Malgré le chaos du conflit, il a poursuivi ses recherches en cellule et produit certaines de ses intuitions les plus révolutionnaires.
Contenu insuffisant pour évaluation
Documentaire sur André Weil, l'un des plus grands mathématiciens du XXe siècle, qui a unifié les différentes branches des mathématiques. Du cours normal parisien à Princeton, en passant par la prison de Rouen où il a élaboré un théorème majeur, sa vie incarne une quête de structures mathématiques universelles.
Un documentaire en dix parties sur Kurt Gödel, le mathématicien autrichien dont les théorèmes d'incomplétude ont révolutionné les fondements des mathématiques et inspiré l'informatique et la philosophie. Le récit entrelace ses découvertes majeures, son amitié avec Einstein et sa vie personnelle marquée par la tragédie.
Un documentaire biographique retrace la vie de Carl Friedrich Gauss, passé de la pauvreté à devenir le mathématicien majeur du XIXe siècle. Du enfant prodige aux découvertes fondamentales en arithmétique, géométrie et physique, un portrait du génie et de l'homme.
Actu