Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ai4eva
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
ai4eva
2y ago
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 hav
2.
▲
by
ai4eva
2y ago
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.