People do imagine that. It's actually a huge area of research, across many different fields. It's umbrella'd under 'Constructive Mathematics', and it is big in logic, computing, analysis, and type theories.