Re:BusyBeaver(6) Is Quite Large
by Straw on Monday June 30, 2025 @06:15PM
(#44428496)
Yes, I would say that neither is really a number in the traditional sense of the word, nor in constructive analysis.
[ Parent
| on HN ]
There are no comments on this comment yet.