6 ms·
I studied math for a long time. I’m convinced math would be better without infinity. It doesn’t exist. I also think we don’t need numbers too big . But we can l
by alexnewman 11mo ago
I studied math for a long time.
I’m convinced math would be better without infinity. It doesn’t exist. I also think we don’t need numbers too big . But we can leave those
- dumstick 11mo agoIs this a joke or are you deeply interested in some ZFC variant that im unaware of? We absolutely need infinity to make a ton of everyday tools work, its like saying we dont need negative numbers because those dont exist either.
- zozbot234 11mo agoA ZFC variant without infinity is basically just PA. (Because you can encode finite sets as natural numbers.) Which in practice is plenty enough to do a whole lot of interesting mathematics. OTOH by the same token, the axiom of infinity is genuinely of interest even in pure finitary terms, because it may provide much simpler proofs of at least some statements that can then be asserted to also be valid in a finitary context due to known conservation results. In a way, the axiom of infinity seems to behave much like other axioms that assert the existence of even larger mathematical "universes": it's worth being aware of what parts of a mathematical development are inherently dependent on it as an assumption, which is ultimately a question of so-called reverse mathematics.
- fellowmartian 11mo agoThere’s tons of variants of ZFC without the “infinity”. Constructivism has a long and deep history in mathematics and it’s probably going to become dominant in the future.
- nighthawk454 11mo agoThere are a couple philosophies in that vein, like finitism or constructivism. Not exactly mainstream but they’ve proven more than you’d expect https://en.wikipedia.org/wiki/Finitism https://en.wikipedia.org/wiki/Finitism https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics) https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...
- red75prime 11mo agoThat looks closer to https://en.wikipedia.org/wiki/Ultrafinitism https://en.wikipedia.org/wiki/Ultrafinitism
- dullcrisp 11mo agoI think we can stop at 8.
- mk_stjames 11mo ago7, if the Extremely Strong Goldbach Conjecture holds. [1] [1] https://xkcd.com/1310/ https://xkcd.com/1310/
- thaumasiotes 11mo agoThe hierarchy doesn't seem to work. The extremely weak conjecture is the Archimedean property, but I don't see how you prove it from "every number above 7 is the sum of two other numbers". That can be true even if there are only five numbers above 7. Or in the other direction, if numbers stop at 3, that certainly won't falsify "every number above 7 is the sum of two other numbers". It will prove that it's true. And the extremely strong conjecture immediately proves that the extremely weak one is false.
- Sharlin 11mo agoThe extremes are probably chosen only for their humor value, not for mathematical rigor.
- deleted 11mo ago[deleted]
- ogogmad 11mo agoSome people have this view, but I don't get why.
- a_tartaruga 11mo agoMe neither. David Deutsch had some interesting thoughts on why finitists are wrong in TBOI but I never fully understood it.
- FilosofumRex 11mo agoNeither does David Deutsch himself, he stopped making sense sometime in the late 80's
- naasking 11mo agoMath is a tool for structured reasoning. We often want to reason about things that physically exist. Why should we use a tool that assumes the existence of something that literally cannot physically exist? That introduces the danger that of admitting all sorts of unphysical possibilities into our theories. I think Baez's paper, Struggles with the Continuum, shows a lot of past difficulties we've had that resulted from this: https://arxiv.org/abs/1609.01421 https://arxiv.org/abs/1609.01421
- deleted 11mo ago[deleted]
- photochemsyn 11mo agoNumbers don't exist, either. Not really. Any 'one' thing you can point to, it's not just one thing in reality. There's always something leaking, something fuzzy, something not accounted for in one. One universe, even? We can't be sure other universes aren't leaking into our one universe. One planet? What about all the meteorites banging into the one, so it's not one. So, numbers don't exist in the real world, any more than infinity does. Mathematics is thus proved to be nothing but a figment of the human imagination. And no, the frequency a supercooled isolated atom vibrates at in an atomic clock isn't a number either, there's always more bits to add to that number, always an error bar on the measurement, no matter how small. Numbers aren't real.
- exodust 11mo agoWouldn't it follow that those "things" we're pointing to aren't really "things" because they're all leaking and fuzzy? Begging the question, what ends up on a list of things that do exist?
- photochemsyn 11mo agoThe set of all things that exist - the first question that comes to mind is, is this a finite set, or an infinite set?
- drdeca 11mo agoWhy is it that when I have a stack of business cards, each with a picture of a different finger on my left hand, then when I arrange them in a grid, there’s only one way to do it, but when I instead have each have a picture of either a different finger from either of my left or right hand, there is now two different arrangements of the cards in a grid? I claim the reason is that 5 is prime, while 10 is composite (10 = 5 times 2). Therefore, 5 and 10, and 2, exist.
- griffzhowl 11mo agoYou've already assumed 5 exists in order to assert that it's prime. In any case existence of mathematical objects is a different meaning of existence to physical objects. We can say a mathematical object exists just by defining it, as long as it doesn't lead to contradiction.
- dilippkumar 11mo agoI haven't studied math beyond what was needed for my engineering courses. However, I also am starting to believe that infinity doesn't exist. Or more specifically, I want to argue that infinity is not a number, it is a process. When you say {1, 2, 3, ... } the "..." represents a process of extending the set without a halting condition. There is no infinity at the end of a number line. There is a process that says how to extend that number line ever further. There is no infinity'th prime number. There is a process by which you can show that a bigger primer number must always exist.
- skulk 11mo ago> There is no infinity at the end of a number line. There is a process that says how to extend that number line ever further. Sure, but ordinal numbers exist and are useful. It's impossible to prove Goodstein's theorem without them. https://en.wikipedia.org/wiki/Ordinal_number https://en.wikipedia.org/wiki/Ordinal_number https://en.wikipedia.org/wiki/Goodstein%27s_theorem https://en.wikipedia.org/wiki/Goodstein%27s_theorem The statement and proof of the theorem are quite accessible and eye-opening. I think the number line with ordinals is way cooler than the one without them.
- dilippkumar 11mo agoThanks for the pointer. I went down the rabbithole, and as far as I can tell, you have to axiomatically assume infinities are real in order to prove Goodstein’s theorem. I challenge the existence of ordinal numbers in the first place. I’m calling into question the axioms that conjure up these ordinal numbers out of (what I consider sketchy) logic. But it was a really fun rabbithole to get into, and I do appreciate the elegance of the Goodstein’s theorem proof. It was a little mind bending.
- skulk 11mo agoyes, if you want ordinal numbers in ZFC you need to take the axiom of infinity. Other than that it's a pretty straightforward construction. If you reject the axiom of infinity you also essentially reject all of standard analysis (using limits to study reals often implicitly invokes the axiom of infinity).
- rjdj377dhabsn 11mo agoHow would you handle things like probability distributions with infinite support?
- drdeca 11mo agoDoing math without it is pretty ugly. (Granted, there are other objects that may seem ugly which can only be constructed by reference to infinite things.) You can do a lot of things without assuming that the natural numbers keep going, but it is plain awful to work with.
- chithanh 11mo agoIt turns out rather ok without actual infinity, by limiting oneself to potential infinity. Think a Turing Machine where every time it reaches the end of its tape, an operator ("tape ape") will come and put in another reel.
- deleted 11mo ago[deleted]
- gosub100 11mo agoInfinity doesn't exist, and neither does 4, or even a triangle. Everything is a concept or an approximation.
- anthk 11mo agoA triangle exists in physics.
- zmgsabst 11mo agoPhysics doesn’t exist. Reality does, stuff happens, etc. But physics is an abstract model we use to make predictions about reality — and triangles are part of that abstract model, not things that actually exist. You can’t, for instance, show me a triangle. Just objects that are approximated by the abstract concept in physics.
- gosub100 11mo agoNot if you keep zooming in. And not when you consider that all its particles are moving in random directions due to having a non-0 temperature
- anthk 11mo agoNot under matter. Under fields and interaction. Specially, under electromagnetism.
- amelius 11mo agoInfinity is a hack. It is very tempting to use it in place of a number, and so mathematicians (being humans) did that. Yes, mathematicians hack too. Maybe they even invented it.
- drdeca 11mo agoI don't think this is a good description of mathematicians using infinite objects. It typically doesn't involving something being given the label "infinity". That's used in like, taking limits and such, but there it is just a notation. When mathematicians are working with infinite objects, it is not by plugging in "infinity" somewhere a number should go, in order to imagine that the rule that would construct an object if that were a number, constructs an object. No. Rather, (in a ZF-like foundations) the axiom of infinity assumes that there is a set whose elements are exactly the finite ordinals. (Or, assumes something equivalent to that.) From this, various sets are constructed such that the set is e.g. in bijection with a proper subset of itself (there are a handful of different definitions of a set being "infinite", which under the axiom of choice, are equivalent, but without AoC there are a few different senses of a set being "infinite", which is why I say "e.g."). In various contexts in mathematics, there are properties relevant to that specific context which correspond to this notion, and which are therefore also given the name "infinite". For example, in the context of von Neumann algebras, a projection is called a "finite projection" if there is no strict subprojection that is Morray-von Neumann equivalent to it. Or, in the context of ordered fields, an element may be called "infinite" if it is greater than every natural number. Usually, the thing that is said is that some object is "infinite", with "infinite" an adjective, not saying that some object "is infinity" with "infinity" a noun. One exception I can think of is in the context of the Surreal Numbers, in which the Gap between finite Surreal Numbers and (positive) infinite Surreal Numbers, is given the name "infinity". But usually objects are not given the name "infinity", except as like, a label for an index, but this is just a label. I suppose that in the Riemann sphere, and other one-point compactifications, one calls the added point "the point at infinity". But, this kind of construction isn't more "make believe" than other things; one can do the same "add in a point at infinity" for finite fields, as in, one can take the projective line for a finite field, which adds a point that is doing the same thing as the "point at infinity" in the complex projective line (i.e. the Riemann sphere).
- naasking 11mo ago> I’m convinced math would be better without infinity. It doesn’t exist. I agree finitism and ultrafinitism are worth more development. Infinity is a hack in the sense that it effectively represents a program that doesn't halt, and when you start thinking of it this way, then all sorts of classical mathematical arguments start looking a little fishy, at least when applying math to the real world. For instance, I do think this is at the heart of some confusions and difficulties in physics.
- calebm 11mo agoInfinity is simply the name for a process that does not end. Some of these processes increase faster than others (hence larger infinities). Personally, I also like the Riemann sphere model of infinity.
- kryptiskt 11mo agoMath isn't concerned with what exists or not, circles doesn't exist in reality either. And infinity is useful, if we didn't have it we would need to reinvent it in a clumsier form, like "the limit if x goes to a very, very big number, bigger than anything you could name".