“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.
Origine : Fichiers produits par l'(les) auteur(s)