C for constructivism. Beyond clichés
From MaRDI portal
Publication:2304765
DOI10.1007/s40329-017-0169-1zbMath1435.03023MaRDI 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 mathematics; foundations of mathematics; constructive topology; incompleteness theorems; mathematical constructivism; problem of foundations
03A05: Philosophical and critical aspects of logic and foundations
03F50: Metamathematics of constructive systems
03F40: Gödel numberings and issues of incompleteness
Cites Work