Has constructivism failed

Tags: philosophy of linear foundations, Constructive mathematics.