←back to thread

God created the real numbers

(www.ethanheilman.com)
136 points Bogdanp | 4 comments | 29 Aug 25 15:31 UTC | HN request time: 0.419s | source
Show context
ljsprague ◴[29 Aug 25 20:40 UTC] No.45069147[source]▶
His footnotes are out of order.
replies(1): >>45069495 #
1. EthanHeilman ◴[29 Aug 25 21:17 UTC] No.45069495[source]▶
I'm glad someone noticed.
replies(2): >>45070197 #>>45112858 #
2. grg0 ◴[29 Aug 25 22:37 UTC] No.45070197[source]▶
Determining the real order is left as an exercise for the reader.
replies(1): >>45070620 #
3. BeetleB ◴[29 Aug 25 23:43 UTC] No.45070620[source]▶
Can they be well ordered?
4. ljsprague ◴[03 Sep 25 06:35 UTC] No.45112858[source]▶
Are they ordered by importance or laziness?