Another related topic of interest is constructivism in mathematics. Unfortunately the wikipedia article is pretty abstruse, anyone have a more down to earth one

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_mathematics) 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.)