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.

[0]https://news.ycombinator.com/item?id=41962944

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