Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Colloquium

Preuves formelles : l’informatique au service de la rigueur et de la créativité mathématiques

Assia Mahboubi
Inria, Nantes Université & Vrije Universiteit Amsterdam
https://people.rennes.inria.fr/Assia.Mahboubi/

Date(s) : 25/04/2025   iCal
16h00 - 17h00

Depuis plus d’un demi-siècle, les ordinateurs ont acquis le statut d’instruments de recherche incontournables dans de nombreuses branches de mathématiques fondamentales. Leur puissance de calcul monumentale démultiplie les possibilités d’experimentation et de visualisation, et représente une aide précise pour affiner les conjectures. Mais aussi pour faire des démonstrations. Cet exposé non-technique se propose de discuter le rôle des outils informatiques dans les mathématiques contemporaines, en particulier le potentiel de logiciels appelés prouveurs interactifs, comme Lean ou Coq/Rocq, et de leur bibliothèques de preuves formelles.

Emplacement
Saint-Charles - FRUMAM (2ème étage)

Catégories


Secured By miniOrange