4 ms·
You aren't trolling, but it is trivial to come up with larger numbers that are, in a sense, just as practical. Memory suggests that if the universe has a finite
by another-one-off 9y ago
You aren't trolling, but it is trivial to come up with larger numbers that are, in a sense, just as practical. Memory suggests that if the universe has a finite size then there is a finite amount of information that can be stored in it. "The states of data that could be stored in the observable universe interpreted as a hard dive" is a much, much larger quantity than size of the universe in Plank Lengths.
However, what if we want to theorise about what, if anything, sits outside the observable universe? You seem to be suggesting that it will always be finite, which is optimistic to say the least. Just because we can't observe something doesn't mean that it isn't real, and that we won't get utility out of modeling it. Infinity might be out there.
- mikeash 9y agoThe value of BB(v), where BB is the Busy Beaver function, and v is the volume of the observable universe in planck length cubes, ought to suffice. I hope you didn’t want a number you could actually figure out....
- rrampage 9y agoCan't we keep on applying the BB function i.e BB(BB(BB(...(BB(v)))) given that every application of BB still results in a finite number?
- posterboy 9y agoyes, but "can" is rather optimistic. The largest number I saw written out is the number of symmetries in the monster group, spelled out on wikipedia (iirc).
- yters 9y agoYes, and you can generalize this to BBN(v, N), which means N applications of BB to v. If we replace N with v, it becomes a single parameter BBN(v). Then we can apply this thing to itself, and so on. So, with any finite storage space, we can represent an arbitrarily large number in this fashion. Thus, finite storage does not set an upper bound on the number that can be represented.
- andrewflnr 9y agoI'm actually going to say that's not a real number until you actually build that busy beaver. For one thing, the Bekenstein Bound is doing to come into play.