←back to thread

God created the real numbers

(www.ethanheilman.com)
136 points Bogdanp | 1 comments | | HN request time: 0.206s | source
Show context
andrewla ◴[] No.45067770[source]
I'm an enthusiastic Cantor skeptic, I lean very heavily constructivist to the point of almost being a finitist, but nonetheless I think the thesis of this article is basically correct.

Nature and the universe is all about continuous quantities; integral quantities and whole numbers represent an abstraction. At a micro level this is less true -- elementary particles specifically are a (mostly) discrete phenomenon, but representing the state even of a very simple system involves continuous quantities.

But the Cantor vision of the real numbers is just wrong and completely unphysical. The idea of arbitrary precision is intrinsically broken in physical reality. Instead I am off the opinion that computation is the relevant process in the physical universe, so approximations to continuous quantities are where the "Eternal Nature" line lies, and the abstraction of the continuum is just that -- an abstraction of the idea of having perfect knowledge of the state of anything in the universe.

replies(10): >>45067843 #>>45068041 #>>45068086 #>>45068269 #>>45068318 #>>45068389 #>>45069577 #>>45070658 #>>45071417 #>>45075257 #
empath75 ◴[] No.45067843[source]
> But the Cantor vision of the real numbers is just wrong and completely unphysical.

They're unphysical, and yet the very physical human mind can work with them just fine. They're a perfectly logical construction from perfectly reasonable axioms. There are lots of objects in math which aren't physically realizable. Plato would have said that those sorts of objects are more real than anything which actually exists in "reality".

replies(4): >>45068027 #>>45068111 #>>45068154 #>>45068255 #
Eddy_Viscosity2 ◴[] No.45068154[source]
The human mind can't work with a real number any more than it can infinity. We box them into concepts and then work with those. An actual raw real number is unfathomable.
replies(2): >>45068487 #>>45072640 #
SabrinaJewson ◴[] No.45068487[source]
I don’t know about you, I can work with it just fine. I know its properties. I can manipulate it. I can prove theorems about it. What more is there?

In fact, if you are to argue that we cannot know a “raw” real number, I would point out that we can’t know a natural number either! Take 2: you can picture two apples, you can imagine second place, you can visualize its decimal representation in Arabic numerals, you can tell me all its arithmetical properties, you can write down its construction as a set in ZFC set theory… but can you really know the number – not a representation of the number, not its properties, but the number itself? Of course not: mathematical objects are their properties and nothing more. It doesn’t even make sense to consider the idea of a “raw” object.

replies(2): >>45070939 #>>45074053 #
Eddy_Viscosity2 ◴[] No.45070939[source]
You can hold a two in your head, but you can't hold a number with infinitely many decimal places. Any manipulations you do with the real 2 are done conceptually whereas with the natural 2, its done concretely.
replies(2): >>45072178 #>>45138092 #
1. empath75 ◴[] No.45138092[source]
You absolutely cannot visualize the concept "2" in your head. You can only visualize "two things" or the word "two" or the symbol "2", but the actual concept "2" is just as abstract as a real number.

You might say, I can imagine 2 apples, but I can't imagine pi apples, but you could just as easily imagine unrolling a circle with a diameter of 1, and you have visualized "pi" just as well as you can visualize 2 apples.