Intuitionism: an inspiration?

DOI10.1365/S13291-021-00230-8MaRDI QIDQ6359652arXivFDO

Authors Wim Veldman

Publication date 2 February 2021

Published in arXiv

Full work available at URL https://doi.org/10.1365/S13291-021-00230-8

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Fixed-point and coincidence theorems (topological aspects) (54H25)

arXiv classification

math.LO

Abstract: The paper is an introduction to intuitionistic mathematics.

This page was built for publication: Intuitionism: an inspiration?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6359652)