Dunno too much about constructive math;
these people talk a lot about computatability
EG, the maximum principle is unsatisfactory, since it doesn't actually produce
a maximum!
However, you can approximate a maximum to any degree of accuracy you want;

similarly, they think of uniform continuity as more 'natural'

likewise, any computable (constructive?) function is automatically uniformly
continuous, I think...

to me it feels like an interesting perspective, and emphasizes a certain
-class- of functions; other functions (that they don't consider) still make
sense...

key figure: Bishop
