Comment by DiscourseFan
3 days ago
This guy is unbelievably French (I mean in his intellectual character). Here I was expecting a kind of rehash of the 20th century movements of pure math and high modernism[0], but instead we get a frankly Hegelian concept of math or at least a Hegel filtered through 20th and 21st century French philosophy.
there is a debate between the intuitionists, formalists, and the symbolists nicely captured in the intro chapter of Heyting's Intuitionism.
constructive mathematics is close to computation and programming. and many including myself have a natural feel or intuition for it. A majority of euclids elements, and galois's original proof are constructive in nature.
I was actually thinking Jean Paul Satre when I read his answers