> I read about the idea that in constructive mathematics all functions are continuous From what I understand, it is more that most systems of intuitionistic/co

> I read about the idea that in constructive mathematics all functions are continuous From what I understand, it is more that most systems of intuitionistic/constructive logic can't prove the existence of a discontinuous real function – but nor can they disprove it. They have models both in which such functions exist, and also models in which they don't. https://math.stackexchange.com/questions/176279/all-real-functions-are-continuous https://math.stackexchange.com/questions/176279/all-real-fun...