3 ms·
> Now for the philosophy question: in what sense do those unfindable, unverifiable answers actually exist? Well, you can't calculate BusyBeaver(n), but they've
by wfunction 13y ago
> Now for the philosophy question: in what sense do those unfindable, unverifiable answers actually exist?
Well, you can't calculate BusyBeaver(n), but they've found the first few Busy Beaver numbers anyway.