Démontrer en logique : une science expérimentale ?
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...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Article ou chapitre numérique |
| Язык: | Français |
| Опубликовано: |
2009
|
| Online-ссылка: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |