Lorenzen and constructive mathematics
Book chapter, 2021
The goal of this paper is to present a short survey of some of Lorenzen’s contributions to constructive mathematics, and its influence on recent developments in mathematical logic and constructive algebra. We also present some work in measure theory which uses these contributions in an essential way.
Author
Thierry Coquand
University of Gothenburg
Logic and Types
Logic, Epistemology, and the Unity of Science
47-61
Subject Categories (SSIF 2025)
Philosophy
DOI
10.1007/978-3-030-65824-3_4