Constructivist versus structuralist foundations

DOI10.1007/978-94-007-4435-6_13MaRDI QIDQ5253932zbMATH OpenOpenAlexFDO

Authors Erik Palmgren

Publication date 5 June 2015

Published in Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-4435-6_13

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Remarks concerning the phenomenological foundations of mathematics
• Constructivism Is Difficult
• scientific article; zbMATH DE number 28012
• Church's thesis and Bishop's constructivism
• scientific article; zbMATH DE number 2074342

Cited in

(4)

• scientific article; zbMATH DE number 4063056 (Why is no real title available?)
• scientific article; zbMATH DE number 937374 (Why is no real title available?)
• Remarks concerning the phenomenological foundations of mathematics
• A synopsis of morphoid type theory

This page was built for publication: Constructivist versus structuralist foundations

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