L'identité des preuves : normalisation, réseaux et séparation - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Accéder directement au contenu
Mémoires Année : 2016

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.

Domaines

Philosophie
Fichier principal
Vignette du fichier
2016 CHOUQUET Ide.pdf (676.65 Ko) Télécharger le fichier
Loading...

Dates et versions

dumas-01427107 , version 1 (22-02-2017)

Identifiants

  • HAL Id : dumas-01427107 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More