3 ms·
I beg your pardon? What did I miss? (In case it happens to be you and not I who missed something: the said number is formally specified though uncomputable, j
by Eliezer 16y ago
I beg your pardon? What did I miss?
(In case it happens to be you and not I who missed something: the said number is formally specified though uncomputable, just as much as saying BusyBeaver(100); it is not paradoxical like using English to talk about English; and it is also vastly larger than anything you can express compactly by talking about Busy Beavers and oracle machines, which was the top level of the original article.)