Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
aragnoil
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
aragnoil
8y ago
I'm not sure if he's a finitist or ultrafinitist [1] but the uncountable reals are clearly a problem for him. I'd like to argue for their usage from a "soft" point of view as opposed to just giving axioms. Mathemati