Exposé « Paul Lorenzen’s reception of Gödel’s incompleteness theorems » à la conférence Celebrating 90 years of Gödel’s incompleteness theorems à Nürtingen le 6 juillet 2021 (captation réalisée par Tamara Köhler pour le Carl Friedrich von Weizsäcker-Zentrum).
Questions et réponses à la suite de l’exposé.
Référence : Stefan Neuwirth, « “C’est comme œuf” : Paul Lorenzen et l’effondrement des preuves de non-contradiction », in Laurence Dahan-Gaida (éditrice), Eurêka ! Récits savants de découverte et d’invention, Cahiers d’histoire et de philosophie des sciences, Hermann, 241-258, hal-03104374.
Exposé « ‘Logical calculuses are semilattices or lattices’ (Lorenzen) » au séminaire Geometric logic, constructivisation, and automated theorem proving à Dagstuhl le 23 novembre 2021 (captation réalisée par Cosimo P. Brogi).
Référence : Thierry Coquand, Henri Lombardi et Stefan Neuwirth, « An introduction to Lorenzen’s ‘Algebraic and logistic investigations on free lattices’ (1951) », History and Philosophy of Logic 46, 525-545, hal-01629913.