Fiche du document
2009
- handle: 10670/1.5ukbfi
Cairn
Sujets proches
Sciences pures Sciences exactes Sciences fondamentalesCiter ce document
Claude Rosental, « Démontrer en logique : une science expérimentale ? », Communications, ID : 10670/1.5ukbfi
Métriques
Partage / Export
Résumé
Quels sont les modes concrets d’élaboration des démonstrations en logique ? Cet article tente d’apporter des éléments de réponses à cette question en analysant un processus récent de développement et d’implémentation d’un logiciel de démonstration de théorèmes par des chercheurs en logique et en intelligence artificielle. L’étude de ce cas montre comment la production de démonstrations logiques peut relever d’une forte activité expérimentale et d’un important travail d’observation, par-delà une opposition canonique effectuée entre sciences déductives et sciences expérimentales.