News for hackers. Stuff that matters.
Re:BusyBeaver(6) Is Quite Large by falcor84 on Saturday June 28, 2025 @03:06PM (#44407274)
Couldn't you make the same argument for sqrt(2), or better yet for zero [0]?

[0] https://en.wikipedia.org/wiki/Zero:_The_Biography_of_a_Dange...

Re:BusyBeaver(6) Is Quite Large by Dylan16807 on Saturday June 28, 2025 @03:11PM (#44407319)
For sqrt(2) I can tell you the order of magnitude and output as many digits as you want. I think that's plenty specific for this use case.

For zero I can not only do that, I can also count to it if you let me count both up and down, which seems like a very simple ask.

Re:BusyBeaver(6) Is Quite Large by falcor84 on Saturday June 28, 2025 @06:17PM (#44408632)
But that's the thing - each generation struggles with whether some new thing is a number. We're typically very inclusive, accepting imaginary numbers and even weirder things like surreal numbers, which we definitely can't count.

But as someone in this generation, I see a good argument for rejecting the big busy beaver numbers, which are provably outside of the realm of calculating with all the resources of our universe's runtime, from being fully accepted as numbers, any more than the first uninteresting number [0].

[0] https://en.wikipedia.org/wiki/Interesting_number_paradox

Re:BusyBeaver(6) Is Quite Large by Straw on Monday June 30, 2025 @06:29PM (#44428624)
sqrt(2), and pretty much everything else you can think if, is computable- there's a program that can output rational numbers arbitrarily close.

BB(n) is not.