HN user

ai4eva

1 karma
Posts0
Comments2
View on HN
No posts found.

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.