Gödel's Absolute Proofs and Girard's Ludics Mutual Insights - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

Gödel's Absolute Proofs and Girard's Ludics Mutual Insights

Résumé

Is it possible to characterize the notion of proof in terms of acts, without focusing on a specific domain of application and a specific linguistic formalization of it? This is the question that this paper addresses through a comparative analysis between two logicians who reflected on this issue: Kurt Gödel and Jean-Yves Girard. A comparative analysis of their respective theoretical frames, their respective results, the similarities and the differences between their methodological assumptions is proposed. More specifically, the aim of the paper is to compare Gödel's notion of absolute proof and Girard's notion of Ludic from their common core: a conception of proof in terms of acts.
Fichier principal
Vignette du fichier
preuveabs-godelgirard.pdf (364.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04003505 , version 1 (24-02-2023)
hal-04003505 , version 2 (05-04-2023)

Identifiants

  • HAL Id : hal-04003505 , version 2

Citer

Gabriella Crocco, Myriam Quatrini. Gödel's Absolute Proofs and Girard's Ludics Mutual Insights. Antonio Piccolomini d'Aragona. Perspectives on Deduction, Springer, inPress, Synthese Library. ⟨hal-04003505v2⟩
28 Consultations
96 Téléchargements

Partager

Gmail Facebook X LinkedIn More