On: The field of “useful reals” between rational and r...

[NelsonMinar]

Another related topic of interest is constructivism in mathematics. Unfortunately the wikipedia article is pretty abstruse, anyone have a more down to earth one? https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...

(Note this is different from constructible numbers, which the author mentions. That has to do with classical geometry.)

[btilly → NelsonMinar]

My favorite is the collection of essays touching on the topic in the book *The Mathematical Experience".

All of the other essays in the same book are also good. :-)