Live data from Hacker News

God created the real numbers

ethanheilman.com

71–80 of 226 posts

Re: God created the real numbers

#71

Earlier quoted context omitted.

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

A black hole.

There is no black hole that is a perfect sphere. That would, at a minimum, require a body with absolutely no angular momentum which isn't in anyway feasible.

Any rotating/spinning black hole will no longer be a perfect sphere.

Re: God created the real numbers

#72
post #69

Earlier quoted context omitted.

As in why bother using real numbers in physics? Mostly because you need them to make the maths rigorous. You can't do rigorous calculus (i.e. real analysis) on rationals alone.

You don't need the full set of real numbers to do physics, only the computable subset of the real numbers. Using the full reals is mostly done out of simplicity.

What do you mean by "the computable subset of the reals" formally?

Is sqrt(2) computable?

Is BB(777) computable?

Is [the integer that happens to be equal to BB(777), not that I can prove it, written out in normal decimal notation] computable?

Re: God created the real numbers

#73
post #72
post #69

Earlier quoted context omitted.

You don't need the full set of real numbers to do physics, only the computable subset of the real numbers. Using the full reals is mostly done out of simplicity.

What do you mean by "the computable subset of the reals" formally? Is sqrt(2) computable? Is BB(777) computable? Is [the integer that happens to be equal to BB(777), not that I can prove it, written out in normal decimal notation] computable?

A computable real number is a real number for which a Turing Machine exists that can compute it to any arbitrary precision.

So yes sqrt(2) is computable.

Every BB(n) is computable since every every natutal number can be computed. It's the BB function itself that is not computable in general, not the specific output of that function for a given input.

Re: God created the real numbers

#74
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 Nah, you're likely thinking of the rationals, which are basically just two integers in a halloween costume. Ooh a third, big deal. The overwhelming majority of the reals are completely batshit and you're not working with them "just fine" except in some very hand wavy sense.

the rationals are 3 naturals with in a "2,1" structure.

the first 2 naturals form an integer.

that integer and a 3rd natural constitute a real (but this 3rd natural best be bigger than zero, else we're in trouble)

what I choose to focus after observing the "unphysical" nature of numbers. is the sense of natural opposition (bordering on alternation) between "mathematical true" and "physical true". both are claiming to be really real Reality.

in the mathematical realm, finite things are "impossible", they become "zero", negible in the presence of infinities. it's impossible for the primes to be finite (by contradiction). it's impossible for things (numbers or functions of mathematical objects) to be finite.

but in the physical reality, it's the "infinite things" which become impossible.

the "decimal point" (i.e. scientific notation i.e. positional numeral systems) is truly THE wonder of the world. for some reason I want something better than such a system... so I'm still learning about categories

Re: God created the real numbers

#75

Earlier quoted context omitted.

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

> but work, time and space are continuous

I'm under the impression that all our theories of time and space (and thus work) break down at the scale of 1 plank unit and smaller. Which isn't proof that they aren't continuous, but I don't see how you could assert that they are either.

Re: God created the real numbers

#76
post #66

> the principle that there is more reality in a cause than in its effect What a weird idea. Why would that be?

Not that I am well-versed in this, but it seems this is the cause-effect equivalent of the whole containing the part and not the other way around (or something greater can contain something smaller, but not conversely.)

Re: God created the real numbers

#77

Earlier quoted context omitted.

I don't think time and measurement precision are necessarily related in that way. You can measure weight with increased precision by using a more precise scale, without increasing the time it takes to do the measurement.

The real point is that it takes infinite energy to get infinite precision. Let me add that we have no clue how to do a measurement that doesn't involve a photon somewhere, which means that it's pure science fiction to think of infinite precision for anything small enough to be disturbed by a low-energy photon.

I'm not making the case that it is possible to make measurements with infinite precision. I'm making the case that the argument "It is not possible to make measurements with infinite precision, therefore we cannot tell if we live in a rational or a real world." is begging the question. The conclusion follows logically from the premise. Unless the argument is just "we can't currently distinguish between a rational and a real world", but that seems trivial.

Re: God created the real numbers

#78

All math is just a system of ideas, specifically rules that people made up and follow because it's useful. I'm so used to thinking this way that I don't understand what all the fuss is about, mathematical objects being "real". Ideas are real but they're not real in the way that rocks are. Whenever there's a mysterious pattern in nature, people have felt the need to assert that some immaterial "thing" makes it so. But…

unless you're a mathematician

then maths is really THE absolute best description available of language and nature.

but non-mathematical minds will simply wonder and be amazed at how "maths explains the world", a clear indication that somebody is not thinking like a mathematician.

> Whenever there's a mysterious pattern in nature, people have felt the need to assert that some immaterial "thing" makes it so. But this just creates another mystery: what is the relationship between the material and the immaterial realm?

the relationship between the material and the immaterial pattern beholden by some mind can only be governed by the brain (hardware) wherein said mind stores its knowledge. is that conscious agency "God"? the answer depends on your personally held theological beliefs. I call that agent "me" and understand that "me" is variable, replaceable by "you" or "them" or whomever...

oh, and I love (this kind of figurative) digging. but I use my hands no shovels.

Re: God created the real numbers

#79
post #71

Earlier quoted context omitted.

A black hole.

There is no black hole that is a perfect sphere. That would, at a minimum, require a body with absolutely no angular momentum which isn't in anyway feasible. Any rotating/spinning black hole will no longer be a perfect sphere.

Yeah but if you look down the axis of rotation you will have a perfect (to many decimal places anyways) circle... which was the demand.
Post reply on HN