Lorenzen and Constructive Mathematics

In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 47-61 (2021)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-65824-3_4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Paul Lorenzen -- Mathematician and Logician.Gerhard Heinzmann & Gereon Wolters (eds.) - 2021 - Springer Verlag.
Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 23-46.
Akademische Gedenkfeier für Paul Lorenzen: am 10. November 1995.Christian Thiel - 1998
Conceptions of infinity and set in Lorenzen’s operationist system.Carolin Antos - forthcoming - In Logic, Epistemology and the Unity of Science. Springer.
Constructive and axiomatic mathematics.Paul Lorenzen - 1960 - Synthese 12 (1):114 - 119.
Regular Entailment Relations.Thierry Coquand, Henri Lombardi & Stefan Neuwirth - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 103-114.
Konstruktionen versus Positionen: Beitr. zur Diskussion um d. konstruktive Wissenschaftstheorie: [Paul Lorenzen zum 60. Geburtstag].Paul Lorenzen (ed.) - 1979 - New York: de Gruyter.
Messung als Begründung oder Vermittlung?: ein Briefwechsel mit Paul Lorenzen über Protophysik und ein paar andere Dinge.Paul Lorenzen - 1995
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains.Stefan Neuwirth - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 143-183.
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
Why Constructive Mathematics?Dirk van Dalen - 1995 - Vienna Circle Institute Yearbook 3:141-157.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.

Analytics

Added to PP
2022-03-10

Downloads
5 (#1,539,211)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references