Sites Inria

Il y a 2 Résultats avec le mot clé : "déduction"

Lutz Straßburger, chargé de recherche, équipe Parsifal - © Inria Saclay - Île-de-France

Unithé ou café

C'est quoi, une preuve ?

Laure Guion - 11/03/2011

"- Il m’a menti !
 -Tu en as la preuve ?
 - Il devait être avec ses amis à Châtelet, et je ne l’ai vu nulle part.
 - C’est pas une preuve ça !"
 Oui, mais… qu’est-ce qu’une preuve ? Mathématiciens et informaticiens ne sont pas toujours d’accord. Entre les preuves formelles vérifiées automatiquement par ordinateur, et les preuves informelles qui demandent des semaines de contrôles, il n’est pas toujours facile de dire ce qui est juste ou non. Pourtant, la preuve se retrouve partout : fonctionnement de la ligne de métro 14, besoins d’authentification pour communiquer avec sa banque, confirmation du théorème des quatre couleurs… Sans oublier que la preuve a une action sociale, pour convaincre de façon certaine.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > C'est quoi, une preuve ?

Lire la suite

Équipe de recherche

Rencontre avec DEDUCTEAM

Charlotte Renauld - 27/06/2016

L’équipe DEDUCTEAM a rejoint le centre Inria Saclay – Île-de-France au 1er janvier 2016. Cette équipe en pleine transformation travaille sur les notions de preuve et de déduction. Rencontre avec Gilles Dowek, responsable de l’équipe DEDUCTEAM dans ses bureaux à l’ENS Cachan.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Rencontre avec DEDUCTEAM

Lire la suite

Haut de page

Suivez Inria