Rendered at 16:12:04 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
seanhunter 1 hours ago [-]
I don’t understand constructivism at all.
No numbers are real. They are all an entirely abstract construction, like lines and planes and open sets and closed balls and metric spaces and everything else.
If I construct a number by saying it’s the limit of the sequence sqrt(2)-1/n as n->infinity that’s just as real as the number 1 or 1/2.
It just seems really arbitrary to privilege one kind of construction over another. We want a complete ordered field, so we built the reals. Saying they don’t exist or they aren’t real or whatever seems just to be completely beside the point. They are real enough to do the thing we want them to do.
They are just as real as anything else in maths.
futune 14 minutes ago [-]
The numbers you mentioned are computable numbers. Constructivists and intuitionists have no problem with them, generally. The problem is that there is only a countable number of computable reals, so what do we do about all the other reals? The ones that nobody will give an example of because it is simply not possible to do so, which is to say, the vast majority of reals?
Does it exist if it is impossible to show an example? Only if "exist" is interpreted to mean "you cannot deduce a contradiction from assuming them", which is a logically consistent position. But if you mean "they are in some sense actually there", in some describable way, then it's muddier. And you can build a logically consistent position from declaring "they are not there" as well. Precisely because no counterexample can be produced.
And then there's ultrafinitists, and yeah, they are a bit bonkers.
seanhunter 8 minutes ago [-]
They are in a very meaningful sense actually there. If I draw a curve I want the line not to have holes in it, and they have to be there for that to be true.
More importantly, a function is its graph so if I want my functions to be continuous I need them to be there.
ttctciyf 17 hours ago [-]
I've long admired Chaitin for his original thinking and especially his ability to clearly convey his ideas about foundations, complexity and information in concise and digestible short proofs.
I'm a little surprised, however, to see him here proselytizing for a particular side in the constructivism debate. I associate him more with what he has described as a "quasi empirical" approach to mathematics[0] where the adoption of new axioms (such as for example the axiom of choice) is justified by their resulting in new, interesting mathematics.
But here, it seems his goal is to arrive at a somewhat Platonic conclusion, that either the reals are valid numbers or (seemingly he prefers) not.
My lay and naive take would be: if you adopt these rules (this Formal Axiomatic System) then you can have Big Fun in the playground of ever more esoteric and complex infinite cardinals, or if you adopt this other FAS you get to discover which results can and can't be obtained under a strict constructivist regime, and whichever FAS you choose it's just the same process of choosing axioms and applying valid deductive steps to arrive at a result you find interesting, with no more "existence" implied than the thoroughly non-Platonic existence of a solution to a problem, which can be demonstrated by solving it: if you take such-and-such steps then such-and-such result will follow.
I suppose the point being made is that avoiding axioms which imply the "existence" of the reals is more useful for doing physics, but that seems non-obvious in a field which for the last 200 years has seemingly sought to progressively make more and more phenomena intelligible by means of differential equations from infinitesimal calculus!
> According to Pythagoras everything is number, and God is a mathemati-
cian. This point of view has worked pretty well throughout the development
of modern science. However now a neo-Pythagorian doctrine is emerging,
according to which everything is 0/1 bits, and the world is built entirely
out of digital information. In other words, now everything is software, God
is a computer programmer, not a mathematician, and the world is a giant
information-processing system, a giant computer [Fredkin, 2004, Wolfram,
2002, Chaitin, 2005]
¯\_(ツ)_/¯
For some reason I get the same vibe from this as people referring to LLM inference using gendered pronouns instead of "it".
cgio 5 hours ago [-]
Arguably starts with Wheeler and “it from bit”. Zuse also, who predates Wolfram. For me it’s a little bit like calling the egg you hold in your hand the centre of the Universe while rolling on a skateboard.
nyc111 4 hours ago [-]
> However now a neo-Pythagorian doctrine is emerging, according to which everything is 0/1 bits, and the world is built entirely out of digital information
Can this be true? DNA is the information system of living creatures and as far as I know, it is not coded with 0s and 1s. So, how can we justify that "the world is built entirely out of digital information"?
atoav 4 hours ago [-]
For all I, a Victorian everyman, know the world is built from small pistons, gears and pulleys.
Every age has their technology which they will project onto the world. A century ago one may have started to talks about everything being electrical wires and switches.
d_tr 3 hours ago [-]
It doesn't matter whether the model assumes bits, pulleys, elves or whatever, as long as it does a better job at describing physical reality than whatever exists at the time anyway. People will try and very probably succeed in providing alternative formalism anyway.
All that matters is whether it facilitates reasoning towards the goal.
Diogenesian 16 hours ago [-]
I think footnote 16 on pg 12 clarifies his view.
lioeters 14 hours ago [-]
From page 12:
> Why should we believe in real numbers, if most of them, it turns
out,[^15] are maximally unknowable like Ω? [^16]
The footnotes:
> [^15]: See the chapter entitled The Labyrinth of the Continuum in [Chaitin, 2005]
> [^16]: In spite of the fact that most individual real numbers will forever escape us, the notion of an arbitrary real has beautiful mathematical properties and is a concept that helps us to organize and understand the real world. Individual concepts in a theory do not need to have concrete meaning on their own; it is enough if the theory as a whole can be compared with the results of experiments.
---
The reference [Chaitin, 2005] in footnote 15 links to..
> This book presents a personal account of the mathematics and metamathematics of the 20th century leading up to the discovery of the halting probability Omega. The emphasis is on history of ideas and philosophical implications.
> By using ideas on complexity and randomness originally suggested by the mathematician-philosopher Gottfried Leibniz in 1686, the modern theory of algorithmic information is able to show that there can never be a "theory of everything" for all of mathematics.
Nevermark 17 hours ago [-]
It is too bad we don't have a pithy familiar term for the computable / definable / "nameable" / constructible reals. The most general class of undisputed numbers, consistent with the forms we actually use to represent quantities and perform numerical operations.
I view "real" numbers, in the context of uncomputable, unnameable numbers, to be as unfortunately named as "imaginary" numbers.
Diogenesian 2 hours ago [-]
I don't think it makes sense to say anything except "computable real" - the computable / uncomputable distinction seems totally immaterial for the purposes of most real analysis, or even "pathological" topology and set theory involving R (except for puzzles directly involving computability). And the "interesting" transcendental computable reals are a bit of a grabbag.
The mean value theorem isn't true for the computable reals, differentiation of computable function isn't always computable, sequences tend to behave poorly, etc. There's still a lot you can say: https://en.wikipedia.org/wiki/Computable_analysis but in general calculus doesn't care about computability, that's a human problem.
Dylan16807 16 hours ago [-]
> I view "real" numbers, in the context of uncomputable, unnameable numbers, to be as unfortunately named as "imaginary" numbers.
They're worse. Just having another dimension is significantly more relevant to reality.
And the reals also ruin the word "normal".
tialaramex 5 hours ago [-]
I actually think both "real" and "normal" are helpful in building the correct intuition about how complicated the world we inhabit is rather than how simple we want it to be.
Dylan16807 3 hours ago [-]
As far as we can tell, there is nothing resembling a number with infinite digits in the real world.
It's complicated in a completely different way from how the real world is complicated. I don't think that gives you useful intuition.
tialaramex 2 hours ago [-]
Of course "having infinite digits" isn't from the real world because it's about an artifice, our choosing to represent numbers with digits. But the distinction between the Rationals and the Reals isn't about those digits. The discovery that there's some fixed ratio between the diameter of a circle and its circumference is fascinating and yet though we can't (AFAIK) prove it's normal that ratio sure looks normal and across mathematics we find this ratio again, and again, and again, it's something fundamental but it clearly isn't rational.
Likewise for the square root of 2 and for Euler's Number. These numbers are ever so real and yet they sure fucking look normal to me. If you assure me they are not normal, but you can't prove it, I shall not believe you.
Dylan16807 2 hours ago [-]
The real world doesn't have any of those numbers, only approximate matches.
My point isn't about digits, it's about precision. You can do math by hand with more precision than actually exists in the real world. And once you add any slack at all, even one part per googol, your numbers stop being normal and they can all be computed and represented in rational form.
tialaramex 2 hours ago [-]
> You can do math by hand with more precision than actually exists in the real world.
This claim can't mean anything because it disappears up its own backside. If you, here in the real world, can "do math by hand" that math is in the real world.
gregdaniels421 16 hours ago [-]
This doesn't seem like a very good point to make, sure reals are uncountable and any set of them with labels is countable and of measure zero. That doesn't say anything about physics at all. In QM things are only discrete in certain ways, like energy levels, not positions. A wave function over space can take on any real valued value in its range. Probabilities are real numbers(norms of the wave functions), and there is no reason to believe they would be discrete. Take cosine squared, given any angle it takes on all values between zero and one at some point.
russdill 16 hours ago [-]
A more interesting, if not totally pointless question to me, is, are all the constants of nature computable?
If any are a "randomly" chosen real number, the answer would almost certainly be no. But a test of sufficient precision would of course be impossible.
dhosek 20 hours ago [-]
I’ve had this paper downloaded for about a decade and haven’t gotten around to reading it, but thinking about it, especially if space and time are quantized (an undetermined question last I checked and almost certainly still so), there would exist numbers in ℝ that cannot be expressed as physical quantities, even with an infinite universe. It’s possible that even the algebraic numbers include numbers that are non-physical (although it might be a larger subset of numbers than the constructible numbers depending on the structure of space-time’s quantization).
andrewla 20 hours ago [-]
If reality is quantized and there is a smallest number that is physically relevant, you don't need the reals to break it. Take that smallest number and divide it by two, and now you have a physically meaningless number using only the rationals.
This isn't fair for what quantization means in reality, but I'm just pointing out that you don't have to introduce the real numbers to get physically meaningless quantities.
wongarsu 8 hours ago [-]
Take the smallest number corresponding to a physically meaningful distance in meters, divide it by two, and that number is still a physical meaningful distance if you switch the unit to decameters or kilometers.
Any rational number has some meaning if you just add the right unit, even if the units become increasingly ridiculous. But for reals that trick does not work
lanstin 2 hours ago [-]
Sqrt(2) “any unit that is an integral multiple of the shortest interval”.
But it would get complicated, for any given allowable velocity and allowable length, you’d get more lengths from Lorentzian contraction.
There are really a couple of different ideas being combined: are there an infinite number of quantum states for the universe, are space and time continuous, is the forward direction of time resolved by computable processes.
And even bigger ones lurk: are space and time emergent properties from quantum waveforms that lack an inherent idea of space and time (but things that are highly correlated give rise to a notion of being near each other in “space time”)?
thaumasiotes 20 hours ago [-]
You're taking an anomalously narrow view of the parent comment. Say the minimum distance is one inch.
You want to say that the concept of half an inch lacks physical representation, but that isn't true. You can easily demonstrate it as the ratio between one inch and two feet, compared to the reference ratio between one inch and one foot.
dhosek is saying that in a quantized space, there are reals that cannot be demonstrated this way, and he is right, but the same thing is untrue of rationals.
("In a quantized space", by the way, just means that all measured quantities are necessarily integers. That causes all kinds of problems, but "lacking examples of arbitrary rational numbers" isn't one of them.)
tromp 19 hours ago [-]
> You can easily demonstrate it [half an inch] as the ratio between one inch and two feet, compared to the reference ratio between one inch and one foot.
You seem to have your units confused. Half an inch is a distance, while
ratios, or comparisons of ratios, are all dimensionless scalars.
thaumasiotes 19 hours ago [-]
Have you ever seen a map with a scale indicator?
testaccount28 17 hours ago [-]
"suppose that the minimum distance is one inch. well, that's one of something. so now imagine half of that! there you go: one half. a physically unrealizable number."
dhosek 17 hours ago [-]
Except that you’re assuming that 1 must necessarily correspond to that minimum distance. Keeping that situation, we can just say that 1 corresponds to two inches and then realize 1/2 as that number.
Classical geometry (a la Euclid) allows for constructing a lot of numbers. We get natural numbers pretty cheaply, negative integers through adding in a concept of directionality (zero is a bit of an imaginative leap which is why it was absent from Western mathematics for so long). Constructing arbitrary ratios is possible through similar triangles and square roots through right triangles, but some basic algebraic numbers like cube roots cannot be constructed with a ruler and straight edge (which raises the question of whether, in a quantized universe, whether irrational cube roots actually exist). Of course there’s no guarantee that the quantization is going to be uniform and we also have the ɣ factor of special relativity (1/sqrt(1-v²/c²)) which gives us a non-Euclidean space to complicate things, but it’s not clear that if you can find a value for 1 that allows you to get a measurement for every irrational number.
dhosek 17 hours ago [-]
One could make the argument that the only numbers that actually “exist” are the natural numbers, but the question ultimately is can you model any real number in the physical universe. Modeling ½ is simply a question of picking a unit to be 1 and finding its midpoint (or for that matter, declaring two apples to be “1” and thus a single apple would be “½”, although it’s a bit of a challenge to use apples to model (2-√3)/5
Dylan16807 16 hours ago [-]
Make a line of 10 apples and declare it to be 2 units long, then make a square that's 15 applies diagonal, finally measure how much longer the 10 apples are than the side of the square.
It's a pretty linear increase in complexity between the math and the apples.
testaccount28 15 hours ago [-]
in what way does drawing a diagram have anything to do with physically realizing a number?
Dylan16807 14 hours ago [-]
I didn't say a diagram? I'm talking primarily about physical objects.
And I'm just explaining how to use the same methods as the comment I replied to.
testaccount28 10 hours ago [-]
"Make a line of 10 apples and declare it to be 2 units long" <- what number does this physically realize?
Dylan16807 10 hours ago [-]
Both ten and two. And it lets you model fifths.
But don't ask me about that. That part wasn't my idea at all. Ask dhosek about that way to do fractions. My contribution was the square root and the subtraction.
CuriouslyC 15 hours ago [-]
Reality probably isn't quantized in the "on a grid" sense, but rather the "ability to resolve" sense. The more computation you put in the higher accuracy you can get.
d4ng 7 hours ago [-]
What numbers in R would not be possible to express in an infinite universe?
jojomodding 6 hours ago [-]
Chaitin's constant. Or rather, you can never see that it has been laid out in your infinite universe.
I think people overindex on the continuity problem with the reals. I'm personally a bit of real-number denier myself as a constructivist / intuitionalist.
But when we say things like "the rationals are discrete" or "the computable numbers are discrete" these are very specific claims in the domain of measure theory, a theory which yields almost nothing of value except endless paradoxes and naval-gazing nonsense. Similarly when people say "the rationals are countable" and "the computable numbers are countable" this is taking for granted the Cantor notion of measuring cardinality by bijective correspondence, once again, a theory that yields nothing of value except endless paradoxes and naval-gazing nonsense.
In the practical sense the rational numbers are quite continuous -- between any two rational numbers there are an infinite (unbounded) number of rational numbers -- there's no notion of a "leap" the way there is with the integers. And any useful number can be approximated arbitrarily closely by rationals.
And for computable numbers there's even less of a gap. With rationals you can only approximate. But you can have a computable number that is exactly equal to the square root of 2, because a computable number is the algorithm by which you form arbitrarily close approximations. The square of that computable number is itself computable and is exactly equal to 2.
What do "real" numbers buy you? That is, what do you get for the trouble of building your formalism around numbers that are not computable? Basically nothing.
And if you're worried that sticking to the rationals and the computable numbers is too much of a concession to "physical reality", rest assured -- the rationals are just as unphysical as the real numbers because they are continuous already, and physics does not give us the power to measure the difference between two sufficiently precise rational numbers just as it barfs when you throw "real" numbers at it.
fasterik 18 hours ago [-]
>What do "real" numbers buy you? That is, what do you get for the trouble of building your formalism around numbers that are not computable?
I guess the naive answer is completeness. Every Cauchy sequence converges to a member of the space. For example, quantum mechanics relies on the formalism of Hilbert space, defined as a complete inner product space. This gives us nice things like the spectral theorem for unbounded operators, without which we wouldn't be able to define probability (the Born rule) or time evolution (the operator exponential e^-iHt).
Can you formalize quantum mechanics using computable numbers? I don't actually know, but let's say yes. I assume it's more work with more edge cases, so I would ask the same question: what do you get for the trouble of building a formalism around computable numbers?
btilly 14 hours ago [-]
Bad example. You can do all of this with constructivism. Any constructable Cauchy sequence converges to a constructable member of the space.
What you get for the formalism around computable numbers is this. Every mathematical object in the theory is something that can be, at least in principle, actually written down. When we say that it exists, this existence is of the most tangible form that any mathematical thing could have.
fasterik 10 hours ago [-]
Having constructible Cauchy sequences doesn't guarantee that we can construct unbounded operators. I'm no expert, but the little searching I've done suggests this is an open research question.
I don't see the benefit of being able to write something down "in principle." A number can only ever be computed to a finite number of digits in practice. If we're talking about finite approximations, then the standard approach using numerical solutions to the Schrödinger equation handles this just fine, no alternative mathematics needed. If we're talking about theories, then we should choose whatever abstraction is most convenient for expressing the theory.
Personally, I don't believe numbers "exist." The physical universe exists, and numbers are abstractions that we invent to describe it. In that sense, uncomputable numbers are just as "real" as computable ones.
xelxebar 18 hours ago [-]
> What do "real" numbers buy you?
They're well-known and have a simpler implementation, and we are familiar with their quirks. There is a giant body of useful knowledge built up around standard real analysis. That doesn't really exist if you insist on using only computable numbers.
The computables are also more fiddly in many ways. Because equality is undecidable, you can't have discontinuous functions, you need to carry around error epsilons all over the place, and we lose useful tools like the Heine-Borel theorem, I think.
Try proving some results in PDE theory, and I think you might change your mind.
In general, I find clarity in thinking of numbers as the system that implements them, rather than as platonic objects with individual reality. What does using Old Boring tech buy you over using Shiny New Thing?
testaccount28 17 hours ago [-]
> equality is undecidable
equality is always undecidable until you see the light of intuition. consider the rational number whose numerator is 0 if $theorem is true, and 1 if it is false, and whose denominator is 1.
xelxebar 8 hours ago [-]
Okay, theorem=generalized-continuum hypothesis. If you use exotic axioms to give that a definite result, the go eat a Gödel.
We define computable numbers to be Turing machines, lambda reduction processes, or whatever your favorite model of computation happens to be. If you don't like this kind of definition, then we need to talk philosophy of computation.
To decide equality, we let your machines clunk along until they both produce a result, which we then compare (using another machine). Hello Mr. Halting Problem. Specific programs are fine, but comparing against arbitrary classes of program is the bugger. This is why discontinuous functions cannot exist in a hardline computable analysis theory.
btilly 14 hours ago [-]
That is not a number in constructivism.
But there are numbers in constructivism for which it is unknown whether they are zero. Some of which must remain unknown, if mathematics is consistent. This is a rather important and weird edge case.
BeetleB 20 hours ago [-]
> What do "real" numbers buy you? That is, what do you get for the trouble of building your formalism around numbers that are not computable? Basically nothing.
It buys you the rigor of doing calculus, which buys you a lot of results that, while could be computed without calculus, would also be very difficult without it.
andrewla 19 hours ago [-]
Agree to disagree!
Doing calculus with computable numbers is totally possible and you get all the continuity you need. You need to drop the Lebesgue formulation of the integeral and either use a Reimann integral or the gauge integral (Henstock–Kurzweil) if you need a well-behaved integral in the face of very poorly-behaved functions, but in physical reality these don't exist and in abstract mathematics they are rarely of interest and the gauge integral is as robust as Lebesgue without all the measure theory nonsense.
Intuitionalist analysis and calculus are very well established; the only thing you can't do with them is nonsense like showing that integrating over the characteristic function of the rationals is zero (who cares) or showing that you can break a three dimensional sphere up into three pieces are reassemble them after translations and rotations into a larger sphere (obviously not true).
lanstin 2 hours ago [-]
Like the old joke: The axiom of choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?
But can you do stats without measure theory? Normal distribution in the limit and all that?
There is no linearly additive measure on rationals, and therefore no way to grab a rational uniformly from (0,1). Has to be skewed to some level of complexity in the denominator.
mathgradthrow 19 hours ago [-]
Navel gazing is a physical phenomenon, so if you would like to know everything about physical phenomena, you have to be able to predict the navel gazers.
TheOtherHobbes 17 hours ago [-]
> What do "real" numbers buy you?
They're a powerful abstraction - the base concept of a smooth continuous complete domain which encodes non-trivial relationships, and is a prototype for other analytic abstractions.
The reals are the philosophical base class for some very useful mathematical objects. Computability and physicality are both side issues.
qsort 19 hours ago [-]
I don't think your position is silly, but this is not a great argument for it.
> But when we say things like "the rationals are discrete"
In the usual topology they are not?
> In the practical sense the rational numbers are quite continuous -- between any two rational numbers there are an infinite (unbounded) number of rational numbers -- there's no notion of a "leap" the way there is with the integers.
This characterization captures neither the intuitive nor the formal definition of continuity. You are effectively saying that Q is dense in R, but this is insufficient to prove, for example, the intermediate value theorem.
> measure theory, a theory which yields almost nothing of value except endless paradoxes
Come on now. The usual definition of concepts as basic as areas is tethered to measure theory. We say it's "obvious" that the integral is the area under the curve (and it is: e.g. the Riemann integral is trivially the Peano-Jordan measure) but this only works because we're appealing to it.
You can route around it, but let's not pretend we're doing it for no reason.
I can see the elegance of a purely intuitionistic construction, but the "usual" real numbers are much closer to how we intuitively (no pun intended) work with numbers.
andrewla 19 hours ago [-]
No, the rationals are not discrete in the usual topology. They end up being discrete when we consider continuous mappings from R->Q though. That is the "technical" sense that I refer to. The rationals, as you say, are dense in R but they are also dense in the computables.
The big Cantorian leap that we make is when we use the diagonal argument to argue that the rationals are countable. All the real construction techniques (Dedekind cuts or Cauchy sequences) effectively only yield the computable numbers, the real numbers outside of the computables are inherited from the diagonal argument rather than being foundational to the construction. I mean, this is trivially true because constructions are constructive.
I disagree that area is tethered to measure theory; I certainly learned about areas in geometry long before I ever heard of anything with measure theory. Measure theory exists to tie up some of the horrifying poorly behaved functions that increasingly wily mathematicians invented to break our notions of area and continuity. But we have better tools now for dealing with those that don't involve measure theory so there's no reason to ever hear the phrase "almost everywhere" or "subadditive" ever again.
To back it up to your closing and my main point -- the constructive numbers are way closer to the way we work with numbers because all numbers we ever deal with, even abstractly, fit this definition much better.
qsort 18 hours ago [-]
> The big Cantorian leap that we make is when we use the diagonal argument to argue that the rationals are countable.
Again, I don't think your position is indefensible, but this doesn't strike me as particularly convincing. The usual definition of R is that there exists a unique ordered complete Archimedean field up to isomorphism. We get the kitchen sink from the least upper bound property. As a constructivist you're gonna say that I don't get to define R like that, but you can't pretend it's done for no reason or that it buys nothing.
> I certainly learned about areas in geometry
And how were they defined? In elementary geometry we just sweep the question under the rug, usually...
If you get to say that being able to articulate why the measure of Q is 0 is unimportant and uninteresting, then I get to claim that the supposed problems with the usual definitions are also unimportant!
Saying that the non-constructive world leads to worse problems is a respectable position. Pretending the usual way of doing things is completely arbitrary isn't very honest.
mathgradthrow 17 hours ago [-]
The word you are looking for, probably, is "totally disconnected". Discrete always refers to the "discrete topology".
discarded1023 11 hours ago [-]
> Similarly when people say "the rationals are countable" and "the computable numbers are countable" this is taking for granted the Cantor notion of measuring cardinality by bijective correspondence, once again, a theory that yields nothing of value except endless paradoxes and naval-gazing nonsense.
You may enjoy a recent update on that story [0] that maybe avoids a few paradoxes and looks at things other than navels.
> these are very specific claims in the domain of measure theory, a theory which yields almost nothing of value except endless paradoxes and naval-gazing nonsense
Measure theory is used for lots of practical things, for example probability theory.
dmfdmf 19 hours ago [-]
>With rationals you can only approximate.
Approximate relative to what? All actual measurement is implicitly or explicitly approximate such as L = x meters +/- epsilon. There is no infinite precision by which to discount rational measures as "approximate" and thus "invalid" in any way.
>What do "real" numbers buy you? That is, what do you get for the trouble of building your formalism around numbers that are not computable? Basically nothing.
You "buy" all of mathematics which operates on the assumption of "infinite" precision. It is an abstraction necessary to prove theorems and relationships of math. Abstracting from precision isn't a denial that it exists, it is the assumption that I can ignore it or leave it undefined. This is the assumption that distinguishes math from physics/engineering. Mathematicians deal with abstract e or pi but in the real world pi=3.14 if you are tiling your patio and 3.14159265... or whatever is necessary to get to the moon.
andrewla 19 hours ago [-]
You are overestimating what real numbers buy you.
pi and e and sqrt(2) are real numbers and not rational, to be sure. But they are computable! Computable just means that they are arbitrarily approximable. "approximate relative to what" is that whatever criteria defines the number. You can't represent the "true" value of a non-rational number in the rationals, but you can prove that the error of an approximation is (rationally) bounded above and below, and you can have another approximation with a tighter bound.
Rational numbers are already infinitely precise relative to other representations -- finite decimals are another representation that is functionally equivalent to the rationals, but even a simple rational like 1/3 does not have a finite decimal value.
You can prove all the interesting theorems with computable numbers and rational/decimal numbers. You don't need the real numbers because you can't name a real number that exists and is not computable, BY DEFINITION! No mathematical construction can define a real number that is not constructible. These numbers are useless and there's no reason to continue even in abstract mathematics to pretend that they are useful because we have the formalisms to ignore them.
xscott 19 hours ago [-]
I'm on your side for most of what you say. This topic has been interesting to me for years. I've considered going back to school to build on my math degree, specifically because of this topic.
However, I thought things like Chaitin's Constants (you could make one per programming language) are real numbers you can name but not compute. I think you could do this from any undecidable problem.
Of course there only a countable number of those Reals. And they still don't seem useful for much more than naval gazing.
francisdavey 12 hours ago [-]
His second "proof" of uncountability is very poorly explained. Strictly speaking it is false, since all his reasoning applies equally to the rationals. What he shows is that a countable set would have zero measure. You have to also show that (say) the real interval [0,1] has measure 1 (or at least positive measure) to get a contradiction. That requires some more work. You have to be using some property of the reals in order to prove uncountability, as of course the Cantor diagonal argument does.
darig 11 hours ago [-]
[dead]
CodesInChaos 6 hours ago [-]
All real numbers are real, but some real numbers are more real than others.
> To prove that Ω is computationally and therefore logically irreducible,
requires a theory of program-size complexity that I call algorithmic infor-
mation theory (AIT) [Chaitin, 2005]
Interesting, I think everyone else calls this Kolmogorov complexity.
cgio 5 hours ago [-]
Actually it’s Solomonoff. But it’s called Solomonoff-Kolmogorov-Chaitin. So Chaitin is among the few people entitled to call it something and AIT is real and less pretentious than using his name.
No numbers are real. They are all an entirely abstract construction, like lines and planes and open sets and closed balls and metric spaces and everything else.
If I construct a number by saying it’s the limit of the sequence sqrt(2)-1/n as n->infinity that’s just as real as the number 1 or 1/2.
It just seems really arbitrary to privilege one kind of construction over another. We want a complete ordered field, so we built the reals. Saying they don’t exist or they aren’t real or whatever seems just to be completely beside the point. They are real enough to do the thing we want them to do.
They are just as real as anything else in maths.
Does it exist if it is impossible to show an example? Only if "exist" is interpreted to mean "you cannot deduce a contradiction from assuming them", which is a logically consistent position. But if you mean "they are in some sense actually there", in some describable way, then it's muddier. And you can build a logically consistent position from declaring "they are not there" as well. Precisely because no counterexample can be produced.
And then there's ultrafinitists, and yeah, they are a bit bonkers.
More importantly, a function is its graph so if I want my functions to be continuous I need them to be there.
I'm a little surprised, however, to see him here proselytizing for a particular side in the constructivism debate. I associate him more with what he has described as a "quasi empirical" approach to mathematics[0] where the adoption of new axioms (such as for example the axiom of choice) is justified by their resulting in new, interesting mathematics.
But here, it seems his goal is to arrive at a somewhat Platonic conclusion, that either the reals are valid numbers or (seemingly he prefers) not.
My lay and naive take would be: if you adopt these rules (this Formal Axiomatic System) then you can have Big Fun in the playground of ever more esoteric and complex infinite cardinals, or if you adopt this other FAS you get to discover which results can and can't be obtained under a strict constructivist regime, and whichever FAS you choose it's just the same process of choosing axioms and applying valid deductive steps to arrive at a result you find interesting, with no more "existence" implied than the thoroughly non-Platonic existence of a solution to a problem, which can be demonstrated by solving it: if you take such-and-such steps then such-and-such result will follow.
I suppose the point being made is that avoiding axioms which imply the "existence" of the reals is more useful for doing physics, but that seems non-obvious in a field which for the last 200 years has seemingly sought to progressively make more and more phenomena intelligible by means of differential equations from infinitesimal calculus!
0: see, for example: https://arxiv.org/pdf/math/0303352, 1.9 Is Mathematics Quasi-Empirical
¯\_(ツ)_/¯ For some reason I get the same vibe from this as people referring to LLM inference using gendered pronouns instead of "it".
Can this be true? DNA is the information system of living creatures and as far as I know, it is not coded with 0s and 1s. So, how can we justify that "the world is built entirely out of digital information"?
Every age has their technology which they will project onto the world. A century ago one may have started to talks about everything being electrical wires and switches.
All that matters is whether it facilitates reasoning towards the goal.
> Why should we believe in real numbers, if most of them, it turns out,[^15] are maximally unknowable like Ω? [^16]
The footnotes:
> [^15]: See the chapter entitled The Labyrinth of the Continuum in [Chaitin, 2005]
> [^16]: In spite of the fact that most individual real numbers will forever escape us, the notion of an arbitrary real has beautiful mathematical properties and is a concept that helps us to organize and understand the real world. Individual concepts in a theory do not need to have concrete meaning on their own; it is enough if the theory as a whole can be compared with the results of experiments.
---
The reference [Chaitin, 2005] in footnote 15 links to..
Meta Math! The Quest for Omega - http://arxiv.org/abs/math/0404335
> This book presents a personal account of the mathematics and metamathematics of the 20th century leading up to the discovery of the halting probability Omega. The emphasis is on history of ideas and philosophical implications.
Irreducible Complexity in Pure Mathematics - http://arxiv.org/abs/math/0411091
> By using ideas on complexity and randomness originally suggested by the mathematician-philosopher Gottfried Leibniz in 1686, the modern theory of algorithmic information is able to show that there can never be a "theory of everything" for all of mathematics.
I view "real" numbers, in the context of uncomputable, unnameable numbers, to be as unfortunately named as "imaginary" numbers.
The mean value theorem isn't true for the computable reals, differentiation of computable function isn't always computable, sequences tend to behave poorly, etc. There's still a lot you can say: https://en.wikipedia.org/wiki/Computable_analysis but in general calculus doesn't care about computability, that's a human problem.
They're worse. Just having another dimension is significantly more relevant to reality.
And the reals also ruin the word "normal".
It's complicated in a completely different way from how the real world is complicated. I don't think that gives you useful intuition.
Likewise for the square root of 2 and for Euler's Number. These numbers are ever so real and yet they sure fucking look normal to me. If you assure me they are not normal, but you can't prove it, I shall not believe you.
My point isn't about digits, it's about precision. You can do math by hand with more precision than actually exists in the real world. And once you add any slack at all, even one part per googol, your numbers stop being normal and they can all be computed and represented in rational form.
This claim can't mean anything because it disappears up its own backside. If you, here in the real world, can "do math by hand" that math is in the real world.
If any are a "randomly" chosen real number, the answer would almost certainly be no. But a test of sufficient precision would of course be impossible.
This isn't fair for what quantization means in reality, but I'm just pointing out that you don't have to introduce the real numbers to get physically meaningless quantities.
Any rational number has some meaning if you just add the right unit, even if the units become increasingly ridiculous. But for reals that trick does not work
But it would get complicated, for any given allowable velocity and allowable length, you’d get more lengths from Lorentzian contraction.
There are really a couple of different ideas being combined: are there an infinite number of quantum states for the universe, are space and time continuous, is the forward direction of time resolved by computable processes.
And even bigger ones lurk: are space and time emergent properties from quantum waveforms that lack an inherent idea of space and time (but things that are highly correlated give rise to a notion of being near each other in “space time”)?
You want to say that the concept of half an inch lacks physical representation, but that isn't true. You can easily demonstrate it as the ratio between one inch and two feet, compared to the reference ratio between one inch and one foot.
dhosek is saying that in a quantized space, there are reals that cannot be demonstrated this way, and he is right, but the same thing is untrue of rationals.
("In a quantized space", by the way, just means that all measured quantities are necessarily integers. That causes all kinds of problems, but "lacking examples of arbitrary rational numbers" isn't one of them.)
You seem to have your units confused. Half an inch is a distance, while ratios, or comparisons of ratios, are all dimensionless scalars.
Classical geometry (a la Euclid) allows for constructing a lot of numbers. We get natural numbers pretty cheaply, negative integers through adding in a concept of directionality (zero is a bit of an imaginative leap which is why it was absent from Western mathematics for so long). Constructing arbitrary ratios is possible through similar triangles and square roots through right triangles, but some basic algebraic numbers like cube roots cannot be constructed with a ruler and straight edge (which raises the question of whether, in a quantized universe, whether irrational cube roots actually exist). Of course there’s no guarantee that the quantization is going to be uniform and we also have the ɣ factor of special relativity (1/sqrt(1-v²/c²)) which gives us a non-Euclidean space to complicate things, but it’s not clear that if you can find a value for 1 that allows you to get a measurement for every irrational number.
It's a pretty linear increase in complexity between the math and the apples.
And I'm just explaining how to use the same methods as the comment I replied to.
But don't ask me about that. That part wasn't my idea at all. Ask dhosek about that way to do fractions. My contribution was the square root and the subtraction.
How real are real numbers? (2004) - https://news.ycombinator.com/item?id=24029791 - Aug 2020 (112 comments)
How real are real numbers? (2004) - https://news.ycombinator.com/item?id=14080024 - April 2017 (265 comments)
But when we say things like "the rationals are discrete" or "the computable numbers are discrete" these are very specific claims in the domain of measure theory, a theory which yields almost nothing of value except endless paradoxes and naval-gazing nonsense. Similarly when people say "the rationals are countable" and "the computable numbers are countable" this is taking for granted the Cantor notion of measuring cardinality by bijective correspondence, once again, a theory that yields nothing of value except endless paradoxes and naval-gazing nonsense.
In the practical sense the rational numbers are quite continuous -- between any two rational numbers there are an infinite (unbounded) number of rational numbers -- there's no notion of a "leap" the way there is with the integers. And any useful number can be approximated arbitrarily closely by rationals.
And for computable numbers there's even less of a gap. With rationals you can only approximate. But you can have a computable number that is exactly equal to the square root of 2, because a computable number is the algorithm by which you form arbitrarily close approximations. The square of that computable number is itself computable and is exactly equal to 2.
What do "real" numbers buy you? That is, what do you get for the trouble of building your formalism around numbers that are not computable? Basically nothing.
And if you're worried that sticking to the rationals and the computable numbers is too much of a concession to "physical reality", rest assured -- the rationals are just as unphysical as the real numbers because they are continuous already, and physics does not give us the power to measure the difference between two sufficiently precise rational numbers just as it barfs when you throw "real" numbers at it.
I guess the naive answer is completeness. Every Cauchy sequence converges to a member of the space. For example, quantum mechanics relies on the formalism of Hilbert space, defined as a complete inner product space. This gives us nice things like the spectral theorem for unbounded operators, without which we wouldn't be able to define probability (the Born rule) or time evolution (the operator exponential e^-iHt).
Can you formalize quantum mechanics using computable numbers? I don't actually know, but let's say yes. I assume it's more work with more edge cases, so I would ask the same question: what do you get for the trouble of building a formalism around computable numbers?
What you get for the formalism around computable numbers is this. Every mathematical object in the theory is something that can be, at least in principle, actually written down. When we say that it exists, this existence is of the most tangible form that any mathematical thing could have.
I don't see the benefit of being able to write something down "in principle." A number can only ever be computed to a finite number of digits in practice. If we're talking about finite approximations, then the standard approach using numerical solutions to the Schrödinger equation handles this just fine, no alternative mathematics needed. If we're talking about theories, then we should choose whatever abstraction is most convenient for expressing the theory.
Personally, I don't believe numbers "exist." The physical universe exists, and numbers are abstractions that we invent to describe it. In that sense, uncomputable numbers are just as "real" as computable ones.
They're well-known and have a simpler implementation, and we are familiar with their quirks. There is a giant body of useful knowledge built up around standard real analysis. That doesn't really exist if you insist on using only computable numbers.
The computables are also more fiddly in many ways. Because equality is undecidable, you can't have discontinuous functions, you need to carry around error epsilons all over the place, and we lose useful tools like the Heine-Borel theorem, I think.
Try proving some results in PDE theory, and I think you might change your mind.
In general, I find clarity in thinking of numbers as the system that implements them, rather than as platonic objects with individual reality. What does using Old Boring tech buy you over using Shiny New Thing?
equality is always undecidable until you see the light of intuition. consider the rational number whose numerator is 0 if $theorem is true, and 1 if it is false, and whose denominator is 1.
We define computable numbers to be Turing machines, lambda reduction processes, or whatever your favorite model of computation happens to be. If you don't like this kind of definition, then we need to talk philosophy of computation.
To decide equality, we let your machines clunk along until they both produce a result, which we then compare (using another machine). Hello Mr. Halting Problem. Specific programs are fine, but comparing against arbitrary classes of program is the bugger. This is why discontinuous functions cannot exist in a hardline computable analysis theory.
But there are numbers in constructivism for which it is unknown whether they are zero. Some of which must remain unknown, if mathematics is consistent. This is a rather important and weird edge case.
It buys you the rigor of doing calculus, which buys you a lot of results that, while could be computed without calculus, would also be very difficult without it.
Doing calculus with computable numbers is totally possible and you get all the continuity you need. You need to drop the Lebesgue formulation of the integeral and either use a Reimann integral or the gauge integral (Henstock–Kurzweil) if you need a well-behaved integral in the face of very poorly-behaved functions, but in physical reality these don't exist and in abstract mathematics they are rarely of interest and the gauge integral is as robust as Lebesgue without all the measure theory nonsense.
Intuitionalist analysis and calculus are very well established; the only thing you can't do with them is nonsense like showing that integrating over the characteristic function of the rationals is zero (who cares) or showing that you can break a three dimensional sphere up into three pieces are reassemble them after translations and rotations into a larger sphere (obviously not true).
But can you do stats without measure theory? Normal distribution in the limit and all that?
There is no linearly additive measure on rationals, and therefore no way to grab a rational uniformly from (0,1). Has to be skewed to some level of complexity in the denominator.
They're a powerful abstraction - the base concept of a smooth continuous complete domain which encodes non-trivial relationships, and is a prototype for other analytic abstractions.
The reals are the philosophical base class for some very useful mathematical objects. Computability and physicality are both side issues.
> But when we say things like "the rationals are discrete"
In the usual topology they are not?
> In the practical sense the rational numbers are quite continuous -- between any two rational numbers there are an infinite (unbounded) number of rational numbers -- there's no notion of a "leap" the way there is with the integers.
This characterization captures neither the intuitive nor the formal definition of continuity. You are effectively saying that Q is dense in R, but this is insufficient to prove, for example, the intermediate value theorem.
> measure theory, a theory which yields almost nothing of value except endless paradoxes
Come on now. The usual definition of concepts as basic as areas is tethered to measure theory. We say it's "obvious" that the integral is the area under the curve (and it is: e.g. the Riemann integral is trivially the Peano-Jordan measure) but this only works because we're appealing to it. You can route around it, but let's not pretend we're doing it for no reason.
I can see the elegance of a purely intuitionistic construction, but the "usual" real numbers are much closer to how we intuitively (no pun intended) work with numbers.
The big Cantorian leap that we make is when we use the diagonal argument to argue that the rationals are countable. All the real construction techniques (Dedekind cuts or Cauchy sequences) effectively only yield the computable numbers, the real numbers outside of the computables are inherited from the diagonal argument rather than being foundational to the construction. I mean, this is trivially true because constructions are constructive.
I disagree that area is tethered to measure theory; I certainly learned about areas in geometry long before I ever heard of anything with measure theory. Measure theory exists to tie up some of the horrifying poorly behaved functions that increasingly wily mathematicians invented to break our notions of area and continuity. But we have better tools now for dealing with those that don't involve measure theory so there's no reason to ever hear the phrase "almost everywhere" or "subadditive" ever again.
To back it up to your closing and my main point -- the constructive numbers are way closer to the way we work with numbers because all numbers we ever deal with, even abstractly, fit this definition much better.
Again, I don't think your position is indefensible, but this doesn't strike me as particularly convincing. The usual definition of R is that there exists a unique ordered complete Archimedean field up to isomorphism. We get the kitchen sink from the least upper bound property. As a constructivist you're gonna say that I don't get to define R like that, but you can't pretend it's done for no reason or that it buys nothing.
> I certainly learned about areas in geometry
And how were they defined? In elementary geometry we just sweep the question under the rug, usually...
If you get to say that being able to articulate why the measure of Q is 0 is unimportant and uninteresting, then I get to claim that the supposed problems with the usual definitions are also unimportant!
Saying that the non-constructive world leads to worse problems is a respectable position. Pretending the usual way of doing things is completely arbitrary isn't very honest.
You may enjoy a recent update on that story [0] that maybe avoids a few paradoxes and looks at things other than navels.
[0] https://nicholasdibella.com/cantor.pdf
Measure theory is used for lots of practical things, for example probability theory.
Approximate relative to what? All actual measurement is implicitly or explicitly approximate such as L = x meters +/- epsilon. There is no infinite precision by which to discount rational measures as "approximate" and thus "invalid" in any way.
>What do "real" numbers buy you? That is, what do you get for the trouble of building your formalism around numbers that are not computable? Basically nothing.
You "buy" all of mathematics which operates on the assumption of "infinite" precision. It is an abstraction necessary to prove theorems and relationships of math. Abstracting from precision isn't a denial that it exists, it is the assumption that I can ignore it or leave it undefined. This is the assumption that distinguishes math from physics/engineering. Mathematicians deal with abstract e or pi but in the real world pi=3.14 if you are tiling your patio and 3.14159265... or whatever is necessary to get to the moon.
pi and e and sqrt(2) are real numbers and not rational, to be sure. But they are computable! Computable just means that they are arbitrarily approximable. "approximate relative to what" is that whatever criteria defines the number. You can't represent the "true" value of a non-rational number in the rationals, but you can prove that the error of an approximation is (rationally) bounded above and below, and you can have another approximation with a tighter bound.
Rational numbers are already infinitely precise relative to other representations -- finite decimals are another representation that is functionally equivalent to the rationals, but even a simple rational like 1/3 does not have a finite decimal value.
You can prove all the interesting theorems with computable numbers and rational/decimal numbers. You don't need the real numbers because you can't name a real number that exists and is not computable, BY DEFINITION! No mathematical construction can define a real number that is not constructible. These numbers are useless and there's no reason to continue even in abstract mathematics to pretend that they are useful because we have the formalisms to ignore them.
However, I thought things like Chaitin's Constants (you could make one per programming language) are real numbers you can name but not compute. I think you could do this from any undecidable problem.
Of course there only a countable number of those Reals. And they still don't seem useful for much more than naval gazing.
Or sometimes as real as you can fathom :)
Here's a great discussion on Curt Jaimungal's podcast:
https://www.youtube.com/watch?v=l7LvgvunVCM
And a good debate on the topic with Daniel Rubin, who takes the more orthodox position:
https://www.youtube.com/watch?v=edh5bbgSKqo
Wildberger has tons more on this topic on his own channel. His arguments are thought-provoking, even if you don't agree with them.
Interesting, I think everyone else calls this Kolmogorov complexity.