Viewing profile — ai4eva
ai4eva
HN member- Joined
- Tue, Nov 19, 2024, 3:08 PM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About ai4eva
No profile information was provided.
Recent public activity
-
comment
Comment #42205208
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 com…
-
comment
Comment #42205058
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.