Sites Inria

Il y a 2 Résultats avec le mot clé : "Assia Mahboubi"

Assia Mahboubi, chargé de recherche, équipe Typical - © Inria / Photo Kaksonen

Unithé ou café

La vérité n'est pas si simple

Laure Guion - 25/09/2009

La vérité est ailleurs… ou en tout cas pas toujours là où on le croit. Les mathématiciens, par exemple, cherchent à démontrer des théorèmes, c’est-à-dire à persuader leurs collègues que ce qu’ils affirment est vrai. Mais dans cette recherche de justification, étayée par des mots techniques, les chercheurs sont-ils si différents des politiques en campagne ? Ainsi, peut-on démontrer quelque chose et son contraire ? Nous verrons que si les mathématiciens ne peuvent pas toujours être totalement sûrs que leurs démonstrations sont vraies, il est encore possible d’avoir confiance dans une preuve formelle et que les ordinateurs sont alors souvent d’un grand secours…

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > La vérité n'est pas si simple

Lire la suite

© Photo Bernard Lachaud

Preuve informatique

La preuve mathématique par informatique !

Nathaly Mermet - 22/11/2012

Une démonstration formelle complète, certifiée par le logiciel Coq, a été annoncée en septembre par Georges Gonthier et son équipe du laboratoire commun Inria-Microsoft Research.

Ces travaux rendent artificielle l’opposition entre informatique et mathématiques, le dénominateur commun étant la logique. Parmi les "compagnons de route" de Georges Gonthier, deux jeunes chercheurs se réjouissent d’avoir participé à l’aventure et "grandi" avec le projet Mathematical Components (MathComp). Témoignages…

Mots-clés :

Accueil > Recherches > Actualités > La preuve mathématique par informatique !

Lire la suite

Haut de page

Suivez Inria