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 », à paraitre dans les Actes de la journée d’étude Eurêka ! Le récit savant de découverte et d’invention, novembre 2018, Besançon.
Talk “‘Logical calculuses are semilattices or lattices’ (Lorenzen)” at the seminar Geometric logic, constructivisation, and automated theorem proving at Schloss Dagstuhl on 23 November 2021 (recording by Cosimo P. Brogi).
Reference: “An introduction to Lorenzen’s ‘Algebraic and logistic investigations on free lattices’ (1951)” (with Thierry Coquand), arXiv:1711.06139.