←back to thread

God created the real numbers

(www.ethanheilman.com)
31 points EthanHeilman | 1 comments | 28 Aug 25 14:57 UTC | HN request time: 0.258s | source
Show context
paulolc ◴[29 Aug 25 18:16 UTC] No.45067580[source]▶
What is this nonsense? I don't understand. All of these are concepts were created, invented and are commonly used by Homo Sapiens. God, math, numbers, integers, rational numbers, irrational numbers, what have you. All abstract concepts brought about solely by humans.
replies(2): >>45067943 #>>45068283 #
1. tim333 ◴[29 Aug 25 19:22 UTC] No.45068283[source]▶
Things like the value of pi being 3.14159... just are what they are independent of what Sapiens want and indeed the Indiana Pi Bill of the 1897 which declared it to be 3.2 failed to change the nature of reality. That illustrates there are aspects of maths that are beyond humans just inventing them.

That said I don't think there's much to be gained from dragging God into it all. Even He would probably have a headache changing pi to 3.2.