Название: Paul Lorenzen - Mathematician and Logician Автор: Gerhard Heinzmann, Gereon Wolters Издательство: Springer Год: 2021 Формат: PDF Страниц: 274 Размер: 10 Mb Язык: English
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics.