News for hackers. Stuff that matters.
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by mikorym on Friday April 17, 2020 @04:10AM (#22897131)
They are necessary for the continuum.

If you throw away real numbers, then you lose major things in physics. I think for example you lose the wave function in QM.

It is not a question of whether they exist in nature, but rather whether they are the more superior technique, or not, to explain nature.

Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by feanaro on Friday April 17, 2020 @06:24AM (#22897739)
> If you throw away real numbers, then you lose major things in physics. I think for example you lose the wave function in QM.

Then again, have you ever observed a non-computable number as a component of the value of a wave function in nature? Real numbers add a lot of cruft which can never be practically observed (due to not being computable).

One of the main reasons we lose things is that our results have been built upon the real numbers since they were easier to conceptualize and to work with, but it's possible that a lot can be recovered (maybe even everything we care about) using only the computable numbers. For instance, see https://en.wikipedia.org/wiki/Computable_analysis for some results in recovering analysis (limits, differentiation, integration, etc) using the computable numbers.

Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by Y_Y on Friday April 17, 2020 @05:46AM (#22897584)
Wavefunctions are in fact generally complex-valued. I don't know if that supports your argument or not.
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by mikorym on Friday April 17, 2020 @08:35AM (#22898440)
Complex numbers have the same cardinality as the reals.
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by Y_Y on Friday April 17, 2020 @08:49AM (#22898519)
That's true, but irrelevant.

Complex numbers aren't "necessary for the continuum" as you put it, and some realists might argue that they don't hold the same "discoverability" as the reals.

I wouldn't. I think the reals and the complex numbers have the same "realness" and that neither represents any innate property of the physical world, despite how obviously useful they are in physical models.