The debate on quantum mechanics and constructive mathematics: a review