Paul Lorenzen et l'effondrement des preuves de non-contradiction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Paul Lorenzen et l'effondrement des preuves de non-contradiction

Résumé

Au milieu de la Seconde guerre mondiale, Paul Lorenzen (1915-1994) est un jeune algébriste passionné par la question du fondement des mathématiques et cherche à obtenir son habilitation. Ses découvertes vont toutes dans la direction d'une profonde clarification des concepts de l'algèbre, des structures ordonnées et de la logique. Octobre 1947 survient « l'effondrement des preuves de non-contradiction et le recommencement avec le “protolangage” ». Je vais présenter le récit qu'il donne de ses découvertes dans sa correspondance avec Wolfgang Krull (1899-1971), dont il est l'assistant, Heinrich Scholz (1884-1956) et Carl Friedrich Gethmann (1944-), ainsi qu'un curieux document,« Pourquoi +  Vérité + : un ouvrage en souvenir de Blaise Pascal » daté du 15 octobre 1947 et conservé dans son Nachlass.
Fichier non déposé

Dates et versions

hal-03523713 , version 1 (12-01-2022)

Identifiants

  • HAL Id : hal-03523713 , version 1

Citer

Stefan Neuwirth. Paul Lorenzen et l'effondrement des preuves de non-contradiction. Eurêka ! Le récit savant de découverte et/ou d'invention, Centre de Recherches Interdisciplinaires et Transculturelles (CRIT), Université de Franche-Comté, Nov 2018, Besançon, France. ⟨hal-03523713⟩
17 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More