Lorenzen and Constructive Mathematics
Thierry Coquand · Logic, epistemology, and the unity of science · 2021
Abstract 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.