« C'est comme œuf » : Paul Lorenzen et l'effondrement des preuves de non-contradiction - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2022

“It is like egg”: Paul Lorenzen and the collapse of proofs of consistency [« C'est comme œuf » : Paul Lorenzen et l'effondrement des preuves de non-contradiction]

« C'est comme œuf » : Paul Lorenzen et l'effondrement des preuves de non-contradiction

Résumé

Paul Lorenzen, mathematician and philosopher of the 20th century, mentions October 1947 as the date of a crisis in his mathematical and philosophical investigations. An autograph dated 15 October 1947 documents this crisis. This article proposes a translation and a commentary of it and sketches the circumstances of its writing on the base of his correspondence with Paul Bernays. A letter from Lorenzen to Carl Friedrich Gethmann dated 14 January 1988 carves out the story of this crisis by showing how he soaks up the indications of his correspondents and transmutes them into an absolutely original research. [Paul Lorenzen, mathématicien et philosophe du 20e siècle, évoque le mois d'octobre 1947 comme la date d'une césure dans ses investigations tant mathématiques que philosophiques. Un écrit autographe daté du 15 octobre 1947 marque cette césure. Cet article en propose une traduction et un commentaire ligne à ligne, puis esquisse les circonstances de son écriture sur la base de la correspondance avec Paul Bernays, figure tutélaire de la logique mathématique et l'un de ses principaux interlocuteurs à cette époque, à l'instar de Heinrich Scholz et Oskar Becker. Une lettre de Lorenzen à Carl Friedrich Gethmann datée du 14 janvier 1988 étoffe le récit de cette césure en montrant comment il s'imprègne des indications que lui fournissent ses correspondants pour les transmuter en une recherche absolument originale.]
Paul Lorenzen, mathématicien et philosophe du 20e siècle, évoque le mois d'octobre 1947 comme la date d'une césure dans ses investigations tant mathématiques que philosophiques. Un écrit autographe daté du 15 octobre 1947 marque cette césure. Cet article en propose une traduction et un commentaire ligne à ligne, puis esquisse les circonstances de son écriture sur la base de la correspondance avec Paul Bernays, figure tutélaire de la logique mathématique et l'un de ses principaux interlocuteurs à cette époque, à l'instar de Heinrich Scholz et Oskar Becker. Une lettre de Lorenzen à Carl Friedrich Gethmann datée du 14 janvier 1988 étoffe le récit de cette césure en montrant comment il s'imprègne des indications que lui fournissent ses correspondants pour les transmuter en une recherche absolument originale.
Fichier principal
Vignette du fichier
ei.pdf (2.27 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03104374 , version 1 (11-01-2021)
hal-03104374 , version 2 (31-10-2022)

Identifiants

Citer

Stefan Neuwirth. « C'est comme œuf » : Paul Lorenzen et l'effondrement des preuves de non-contradiction. Laurence Dahan-Gaida. Eurêka ! Récits savants de découverte et d invention, Hermann, pp.241-258, 2022, Cahiers d'histoire et de philosophie des sciences, 9791037019622. ⟨hal-03104374v2⟩
150 Consultations
40 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More