> Indeed, 99% of pure math is non-constructive ("there exists a group such that", "the algorithm converges in O(N) steps") Almost all mathematicians work with

> Indeed, 99% of pure math is non-constructive ("there exists a group such that", "the algorithm converges in O(N) steps") Almost all mathematicians work with classical logic, but that doesn't mean that they always use all of its power. On the contrary, most of what you would see in an undergrad math program goes through constructively with at most a few minor modifications.