God created the real numbers

(www.ethanheilman.com)

136 points Bogdanp | 1 comments | 29 Aug 25 15:31 UTC | HN request time: 0.2s | source

1. martindale ◴[30 Aug 25 01:56 UTC] No.45071277[source]▶

Poelstra probably has a lot to say on the subject — but I think the natural order is the simpler and more "divine" variant.