Sites Inria

Unithé ou café

Laure Guion - 10/02/2012

Maths et info font leurs preuves

Christine Paulin-Mohring, professeur, équipe Proval - © Inria / Photo J. Wallace

« Maman, je veux des bonbons ! – Moi aussi ! – Moi aussi ! ». Le calme de votre après-midi dépend d'un partage indéniablement équitable… Sachez qu’en cas de contestation, il est possible de prouver cette répartition mathématiquement, c’est-à-dire montrer de façon indiscutable que le but recherché est atteint. Cette preuve peut être automatiquement traduite en un programme toujours juste! Mais quelles différences y a-t-il entre une preuve mathématique et un programme informatique ? Une preuve pourrait-elle valoir un programme à chaque fois ? Quel programme se cache derrière cette preuve ? Nous verrons qu'une preuve se construit en plusieurs étapes et relève de logiques parfois différentes de l’accoutumée.

Mots-clés : Démonstration Programme Logique Preuves constructives Christine Paulin-Mohring Équipe Proval

Haut de page

Suivez Inria