Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics

DOI10.1007/978-3-319-74357-8zbMath1390.03004OpenAlexW2792488299MaRDI QIDQ1705452

Enrico Martino

Publication date: 15 March 2018

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74357-8

zbMATH Keywords

truthintuitionismintuitionistic mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Metamathematics of constructive systems (03F50)

This page was built for publication: Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics