I've been reading about philosophical debates between mathematicians, and some seemed to reject the ideas of real analysis (such as the extreme value theorem) based on a school called "intuitionism", where they rejected things such as proof by contradiction.
↧