Hacker News: ai4evahttps://news.ycombinator.com/user?id=ai4evaHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 15 Apr 2026 21:10:47 +0000<![CDATA[New comment by ai4eva in "Everyone is capable of, and can benefit from, mathematical thinking"]]>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.

]]>Thu, 21 Nov 2024 15:26:09 +0000https://news.ycombinator.com/item?id=42205208ai4evahttps://news.ycombinator.com/item?id=42205208https://news.ycombinator.com/item?id=42205208<![CDATA[New comment by ai4eva in "Everyone is capable of, and can benefit from, mathematical thinking"]]>lol yea.

bayesian thinking doesnt come to me naturally.. i have no intuition for it. seems forced. believe me - i have tried. but there are those who are swearing by it.

]]>Thu, 21 Nov 2024 15:14:08 +0000https://news.ycombinator.com/item?id=42205058ai4evahttps://news.ycombinator.com/item?id=42205058https://news.ycombinator.com/item?id=42205058