Lorenzen and constructive mathematics
Kapitel i bok, 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.
Författare
Thierry Coquand
Göteborgs universitet
Logik och Typer
Logic, Epistemology, and the Unity of Science
47-61
Ämneskategorier (SSIF 2025)
Filosofi
DOI
10.1007/978-3-030-65824-3_4