I had a subpar mathematics education growing up which prevented my seriously learning it for a long time. Now, everything I know about math stems from my own, self-directed reading, and papers like yours (if you are the same person) are an absolute godsend. Thank you for all your work. I'm looking forward to digging into this post, in either case, as it seems to fit within the same category!
[1]: https://github.com/jostylr/Reals-as-Oracles/blob/main/articl...
I do not get the feeling that there is a narrowing down to a given number in the surreal numbers, but I know very little about them.
I also do not immediately see how my construction could be extended to infinitesimals or the infinite numbers.
how did you review fundamentals? how did you pick what topics to pursue? etc
And a syllabus https://publish.obsidian.md/uncarved/3+Resources/Public/self...
…and on that obsidian site you can see some of my notes. I curate my notes and then publish as part of my revision of a topic so I’m always a little bit ahead of what’s on the site but it’s directionally correct.
I like reading original texts because they furnish the original logical arguments of the thinkers, which are still in many cases the best explanations. From there, viewing a modern axiomatic presentation further cements the ideas.
Time is also essential. I have to be comfortable with the fact that it might take me several weeks just to get comfortable with a single concept, so getting through a full work takes time.
Finally, I feel like mathematics and literature are equally hermeneutical—the parts inform the whole and vice versa, only, in the case of mathematics, these interactions and clarifications happen across the entire wide discipline, rather than within a single work. The more you wade out and explore, the more many other ideas become clearer as you can start to see them in a new light.
More practically, getting a firm grasp on set theory and predicate logic is essential imo. This is partly because I prefer axiomatic presentations—I simply do not do well dealing with a theory that doesn't begin at the ground floor (for example, many practitioners of calculus don't give a hoot about the logical soundness of its set-theoretic foundations and are comfortable working with it in a strictly operational sense, I however have a deep need for getting these foundations first, which is basically just a limitation on my part and probably why I was never good at math in school, where the presentations are strictly operational—I love the conceptual beauty of mathematics but I despise calculation!)
I was disappointed that the author didn’t talk about some of the modern opponents of the “real numbers.” For example I heard this interesting podcast with a professor Norman Wildberger about the “Problem of Infinity in Math”. He seemed to say that a theory of real numbers should be rooted in their intrinsic computational properties. Constructing them using set theory thwarts this goal. Then again, I personally don’t see a viable alternative to the set theoretical construction.
But there is another definition which I call oracles which does a better job. It is much more constructive and is about a a procedure that one can ask whether a fuzzy version of a given interval contains the real number. It has various properties for a procedure to satisfy and, if so, then it will generate the set of intervals that contain the real number if taken out to infinite length.
So basically, it is a two part-definition. There is a theoretically perfect version and then there is another that yields to the practical problems of not being able to actually specify a real number entirely.
If interested, the papers are hosted on GitHub [1]. The most recent version going over what I just said is Real Numbers As Rational Betweenness Relations [2]
2: https://github.com/jostylr/Reals-as-Oracles/ 1: https://github.com/jostylr/Reals-as-Oracles/blob/a98472813e9...
The translation at https://mathcs.clarku.edu/~djoyce/elements/bookV/bookV.html says:
> Magnitudes are said to be in the same ratio, the first to the second and the third to the fourth, when, if any equimultiples whatever are taken of the first and third, and any equimultiples whatever of the second and fourth, the former equimultiples alike exceed, are alike equal to, or alike fall short of, the latter equimultiples respectively taken in corresponding order.
This is a bit hard to understand, but I think it does come out to the same thing: positing the existence of ratios of magnitudes that cannot be expressed as ratios of integers, but which divide the ratios of integers into those that are less than or greater than the ratio of magnitudes in question.
Further discussion at https://math.stackexchange.com/questions/499395/how-to-best-... seems to agree.
You could always say that Dedekind was “just” restating real numbers in modern analytic language, but the fact is that no-one had managed to do that up till then, and it wasn’t obvious how it could be done. This is what sparked the crisis in analysis with some people saying that calculus was more like a religion that you just had to believe in rather than being able to prove.
“What is a number?” https://youtu.be/dKtsjQtigag?si=EPzNVgk47gXzNLra Explains what natural numbers are and why we should care about this set of definitions
And “defining every number ever” goes from there up to the complex numbers https://youtu.be/dKtsjQtigag?si=DI39LQtGvBsOU00y
The Archimedean property is that given two numbers x and y there exists an integer n such that nx>y. Infinitesimals and fluxions relied on the idea that they were so small this wouldn’t work and therefore they didn’t fit the definition of real numbers.
I wish history recorded how Eudoxus got to this. There was a paper speculating (iirc) that the Greeks started by thinking about continued fractions as a way to deal with incommensurables, and then realized you don't need that much machinery to define them. (You get continued fractions by running Euclid's algorithm on incommensurable input.)
Also, cuts are just another way of talking about infinity, which falls outside of the domain for logical foundations of mathematics or the physics of universe. So, cuts are just as alien as infinity.
The logical foundations require existence of multiplicity, comparison (smaller, greater), time-driven causalitiy, true/false and existence to be distinct from non-existence etc. All these would fail when you bring in things like cuts or infinity. So no point in putting them to the logic of our world and claiming that we understood something.
Separately, you are advocating finitism, though apparently without much understanding of the logical issues involved, and you seem to be conflating formalism with finitism.
Nobody has come up with a convincing proof of either mathematical Platonism or finitism or their inverses. Consequently, plenty of mathematicians and logicians working at the frontiers of their fields subscribe to any of the four possible combinations of these doctrines.
Has this actually been studied? I reckon you'd run into problems pretty quickly if you tried to impose a "maximum" allowed number (call it N). For example, you might set N equal to the number of quarks in the universe. But now you have no way to represent the number of different configurations of quarks, taking into account their possible quantum states (i.e. taking the factorial). But you also have a time dimension (which I assume you're splitting into discrete chunks to avoid infinitesimals). To decsribe the quantum state over time requires your previous estimate multiplied by the number of time points. And so on... ad infinitum!
[1]: https://math.stackexchange.com/questions/2602418/proof-there...
The original comment assumes its conclusion: it reduces to this smaller copy — then just jumps to the conclusion. It never actually tells us how to measure the ratio.
(Pretending to dig out my imaginary high school/freshman hat.)
If you said between every two reals there's one rational (and between every two rational there's one real), I'd assume you meant exactly one (i.e. in the conversational sense), and then there's an equal number of them. But you said at least one, so it could be two or three, so now I'm not sure. And if there are infinitely many of them... but infinity is not even a number, so who knows?!
Q is indeed dense in R, but firstly it’s very clear that there isn’t an equal number of them because rational numbers are a subset of the real numbers and there exists at least one irrational number (I pick “e”) that is in R but not in Q. So R must be at least bigger than Q.
Additionally you can’t say that between any two rationals there must be a real number because all rational numbers are also real numbers. You can say that Q is dense in R, but if you try to say R is dense in Q what you’re trying to say is “the bits of R that are not in Q are dense in the rest of R” which ends up with a bit of set logic to just be the same statement as the first one.
This isn't a correct explanation, because I can use the same explanation to show that there are more integers than that there are even integers.
"it’s very clear that there isn’t an equal number of them because even numbers (let's call it E) are a subset of the natural numbers (let's call that N) and there exists at least one odd number (I pick 1) that is in N but not in E. So N must be at least bigger than E."
> firstly it’s very clear that there isn’t an equal number of them because rational numbers are a subset of the real numbers and there exists at least one irrational number (I pick “e”) that is in R but not in Q
There are N not in E, but E and N have the same cardinality.
You have a second technical mistake as well:
> Additionally you can’t say that between any two rationals there must be a real number because all rational numbers are also real numbers.
They’re obviously referring to Q as a subset of R, and for any two elements of subset Q there is indeed a member of R not in Q.
If it did, why are Even N and (Even + Odd N) the same size?
However, while I can pair every rational number up with a real number, if I try to go the other way I find there is no rational number to pair with some (actually infinitely many) real numbers. I picked one, e, to show this. So the real numbers must be strictly larger than the rationals. Because the rationals are a strict subset of the reals it’s simpler than the Even/odd natural numbers because you don’t need the correspondence- every x in Q is in R but there exists at least one x in R not in Q, and no amount of correspondence shenanigans can get around that so |R|>|Q|.
This also applies to evens and naturals: evens are a strict subset of naturals and there exists naturals which are not evens.
A counter example in the reals is (0,1) and R have the same cardinality, despite there being real numbers not in the interval (0,1).
You have the fact incorrect: for infinite sets, all B being a strict subset of A shows is that |A| >= |B|.
There definitely are not. Rationals are countable, reals are not.
It's tricky to prove things about the sizes of infinite sets, and "there's infinitely many of them interleaved with each other" doesn't do it, at least to my knowledge. I don't know of a way to prove equipotence except by creating a 1-1 relationship between the sets in question.
The usual definition of two sets having the same size (cardinality) is that they are in bijection. So ultimately, any proof that |A| = |B| will reduce to a "creating a 1-1 relationship between the sets in question", or at least showing that one exists.
That relies on first defining it as "there is 1-to-1 mapping". But for sequences of numbers you could instead compare growth rates. Then the natural numbers and the even natural numbers wouldn't be the same size. Which is nice, because the latter sequence is a proper subset of the former. The former grow twice as fast, so you could say they are twice as large. But it only works for ordered sequences. Anyway, it all depends on definitions.