←back to thread

God created the real numbers

(www.ethanheilman.com)
136 points Bogdanp | 1 comments | 29 Aug 25 15:31 UTC | HN request time: 0.232s | source
Show context
ljsprague ◴[29 Aug 25 20:40 UTC] No.45069147[source]▶
His footnotes are out of order.
replies(1): >>45069495 #
EthanHeilman ◴[29 Aug 25 21:17 UTC] No.45069495[source]▶
I'm glad someone noticed.
replies(2): >>45070197 #>>45112858 #
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 #
1. BeetleB ◴[29 Aug 25 23:43 UTC] No.45070620[source]▶
Can they be well ordered?