La Vérité et la Machine

Chapitre D'ouvrage Année : 2006

(1)

Benjamin Werner

Logic and computing

En quelques pages nous présentons des avancées récentes où l'ordinateur permet d'établir des vérités mathématiques.

Logique en informatique [cs.LO]

Fichier principal

Werner.pdf (195.75 Ko)

Origine : Fichiers éditeurs autorisés sur une archive ouverte

https://inria.hal.science/inria-00131058

Soumis le : jeudi 15 février 2007-00:45:05

Dernière modification le : jeudi 15 février 2024-03:30:52

Archivage à long terme le : mardi 6 avril 2010-20:58:17

inria-00131058 , version 1 (15-02-2007)

Benjamin Werner. La Vérité et la Machine. cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques. ⟨inria-00131058⟩

X EC-PARIS UNIV-RENNES1 CNRS INRIA IRISA UMR8623 INRIA2 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

145 Consultations

42 Téléchargements