Modèles et normalisation des preuves
La notion de théorie s'est séparée de la notion de logique à la fin des années 1920, lorsque Hilbert et Ackermann ont distingué les règles de déduction, indépendantes de l'ob jet du discours, des axiomes qui lui sont spécifiques. S'est alors posée la question de caractériser les théorie...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Polytechnique X
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00433165 http://tel.archives-ouvertes.fr/docs/00/43/31/65/PDF/manuscript.pdf |