3 ms·
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 hig
by DiscourseFan 2y 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.
[0]https://news.ycombinator.com/item?id=41962944 https://news.ycombinator.com/item?id=41962944
- sonabinu 2y agoI was actually thinking Jean Paul Satre when I read his answers
- ai4eva 2y agothere 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.