SIDO - OSXP 2021

Description

Open science, une idée ancienne qui refait surface, comme une évidence…. Même si ses bénéfices ne le sont pas toujours. 4 ans après la mort de Vladimir Voevodsky, je vous propose de découvrir comment ce mathématicien génial a participé à la mise en place d'un des plus fulgurants projets d'open-science alors que, contre-intuitivement, les Mathématiques de haut niveau peuvent être extrêmement fermées et réfractaires à la reproductibilité. Et l'on ne parle pas de n'importe quel projet : il ne s'agissait rien de moins que de la réécriture des fondements des Mathématiques, en automatisant jusqu'aux preuves de théorèmes. Nous verrons comment les pratiques mises en place, inspirées des logiciels libres, ont permis ce succès, et ouvert la porte à plus d'ouverture dans les Maths de haut niveau. Et comment la science ouverte et collaborative est un gain majeur pour les connaissances de l'humanité.

Allégorie de la réussite de l'open science appliquée aux Maths - le projet HoTT

9th Nov, 15:20 CET - 15:40 CET

Présentée par

Sessions Recommandées