Live data from Hacker News

God created the real numbers

ethanheilman.com

21–30 of 226 posts

Re: God created the real numbers

#21
God created the rational numbers.

The universe requires infinite divisibility, i.e. a dense set. It doesn't require infinite precision, i.e. a complete set. Our equations for the universe require a complete set, but that would be confusing the map with the territory. There is no physical evidence for uncountable infinities, those are purely in the imagination of man.

Re: God created the real numbers

#22
post #4

Earlier quoted context omitted.

> 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…

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.

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.

Re: God created the real numbers

#23

Earlier quoted context omitted.

>I'm an enthusiastic Cantor skeptic A skeptic in what way? He said a lot.

Here I'm referring to the cloud of things that Hilbert called "Cantor's Paradise". Basically everything around the notion of cardinality of infinities.

Please say more, I don't see how you can be _skeptical_ of those ideas.

Math is math, if you start with ZFC axioms you get uncountable infinites.

Maybe you don't start with those axioms. But that has nothing to do with truth, it's just a different mathematical setting.

Re: God created the real numbers

#24
post #14
post #3

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…

> The idea of arbitrary precision is intrinsically broken in physical reality. you said a lot and i probably don't understand but doesn't pi contradict this? pi definitely exists in physical reality, wherever there is a circle, and seems to be have a never ending supply of decimal points.

Can you name a physical thing that is a circle even to the baseline precision level of a 64 bit float?

Re: God created the real numbers

#25
post #3

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…

> Nature and the universe is all about continuous quantities One could argue that nature always deals in discrete quantities and we have models that accurately predict these quantities. Then we use math that humans clearly created (limits) to produce similar models, except they imagine continuous inputs.

The quantity of matter and the quantity of electricity are discrete, but work, time and space are continuous, like also any quantities derived from them.

There have been attempts to create discrete models of time and space, but nothing useful has resulted from those attempts.

Most quantities encountered in nature include some dependency on work/energy, time or space, so nature deals mostly in continuous quantities, or more precisely the models that we can use to predict what happens in nature are still based mostly on continuous quantities, despite the fact that about a century and a half have passed since the discreteness of matter and electricity has been confirmed.

Re: God created the real numbers

#26
post #8
post #4

Earlier quoted context omitted.

> 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…

> They're unphysical, and yet the very physical human mind can work with them just fine. Can it? We can only work with things we can name and the real numbers we can name are an infinitesimal fraction of the real numbers. (The nameable reals and sets of reals have the same cardinality as integers while the rest are a higher cardinality.)

We can work with unnameable things very easily. Take, for instance, every known theorem that quantifies over all real numbers. If you try to argue that proving theorems about these real numbers does not constitute “working with” them, it seems you have chosen a rather deficient definition of “working with” that does not match with how that phrase is used in the real world.

Re: God created the real numbers

#27
post #14
post #3

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…

> The idea of arbitrary precision is intrinsically broken in physical reality. you said a lot and i probably don't understand but doesn't pi contradict this? pi definitely exists in physical reality, wherever there is a circle, and seems to be have a never ending supply of decimal points.

> pi definitely exists in physical reality,

What does it mean to "exist in physical reality"?

If you mean there are objects that have physical characteristics that involve pi to infinite precision I think the truth is we have not a darn clue. Take a circle, that would have to be a perfect circle. Even our most accurate and precise physical theories only measure and predict things to 10s of decimal places. We do not possess the technology to verify that it's a real true circle to infinite precision, and many reason to think that such a measurement would be impossible.

Re: God created the real numbers

#28
post #3

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…

You know it wouldn't be possible for us to tell the difference between a rational universe (one where all quantities are rational numbers) and a real universe (one where you can have irrational quantities). The standard construction for the real numbers is to start with the rationals and "fill in all the holes". So why even bother with filling in the holes and instead just declare God created the rationals?

> You know it wouldn't be possible for us to tell the difference between a rational universe (one where all quantities are rational numbers) and a real universe (one where you can have irrational quantities).

Citation needed.

Especially since there are well-established math proofs of irrational numbers.

Re: God created the real numbers

#29
post #5
post #4

Earlier quoted context omitted.

> 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…

There are two things being talked about here, and worth teasing them out. On the one hand, this article is talking about the hierarchy of "physicality" of various mathematical concepts, and they put Cantor's real numbers at the floor. I disagree with that specifically; two quantities are interestingly "unequal" only at the precision where an underlying process can distinguish them. Turing tells us that any underlying…

> For example, the idea that there are the same number of integers as even integers is a stupid one that in the end does not lead anywhere useful.

I am not sure what you are arguing here. We’ve been teaching this to all undergraduate mathematicians for the last century; are you trying to make the point that this part of the curriculum is unnecessary, or that mathematics has not contributed to the wellbeing of society in the last hundred years? Both of these seem like rather difficult positions to defend.

Re: God created the real numbers

#30
> If the something under examination causes a sense of existential nausea, disorientation, and a deep feeling that is can't possibly work like that, it is divine.

This is a Jewish and Christian conception of God. How can this be true when so many things that give us comfort in the natural world: fresh fruit, shade trees, sunshine and warm sand between our toes, etc., were not created by man?

Even in mathematics itself: how improbable, how ludicrous, how miraculous is it that the 3rd, 4th, and 5th natural numbers -- numbers you could discover by looking at your own hands -- have the amazing property of demonstrating the Pythagorean theorem?

The Islamic ideal of God (Allah) is so much more balanced. God created both the integers AND the reals. He created everything, some things for our comfort and rest, some things to drive us close to madness, and a lot of stuff in between. Peel back enough layers of causality and all of creation has the stamp of the divine.

Post reply on HN