C for constructivism. Beyond clichés
From MaRDI portal
Publication:2304765
DOI10.1007/s40329-017-0169-1zbMath1435.03023OpenAlexW2626664892MaRDI QIDQ2304765
Publication date: 13 March 2020
Published in: Lettera Matematica. International Edition (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s40329-017-0169-1
constructive mathematicsfoundations of mathematicsconstructive topologyincompleteness theoremsmathematical constructivismproblem of foundations
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Gödel numberings and issues of incompleteness (03F40)
Related Items (1)
Cites Work
This page was built for publication: C for constructivism. Beyond clichés