Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sebapi747
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
sebapi747
9y ago
You don’t need Euclidean space to exist to define reals but you need reals numbers for distance to exist.
2.
▲
by
sebapi747
9y ago
these questions are not obvious and were only cleared by 19th century number theory. See Bolzano weirstrass, or define reals as equivalence classes on converging series of rationals.