L'identité des preuves : normalisation, réseaux et séparation

Résumé : La théorie de la démonstration présente divers systèmes formels de preuve permettant de représenter des démonstrations à l’aide d’objets rigoureusement définis, et dont la manipulation revêt divers intérêts. Nous nous proposons ici d’étudier la question — très débattue — de savoir à quelles conditions deux dérivations de ces systèmes représentent, décrivent, la même démonstration. Nous étudions en particulier deux propositions de réponses, avant de mettre chacune en perspective pour une meilleure compréhension des concepts et appareils sollicités. Ces deux solutions correspondent respectivement à une relation d’équivalence induite par le processus de normalisation des dérivations défini par Gentzen dans les années 1930, et à un quotient par une représentation graphique des dérivations due à Girard (dans les années 1980) que sont les réseaux de preuve.
Document type :
Master Thesis
Liste complète des métadonnées

Cited literature [35 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-01427107
Contributor : Paris 1 Panthéon-Sorbonne - Ufr Philosophie <>
Submitted on : Wednesday, February 22, 2017 - 9:30:24 AM
Last modification on : Friday, March 22, 2019 - 9:36:20 AM
Document(s) archivé(s) le : Tuesday, May 23, 2017 - 1:20:01 PM

Identifiers

  • HAL Id : dumas-01427107, version 1

Citation

Jules Chouquet. L'identité des preuves : normalisation, réseaux et séparation. Philosophie. 2016. ⟨dumas-01427107⟩

Share

Metrics

Record views

199

Files downloads

217