←back to thread

BusyBeaver(6) Is Quite Large

(scottaaronson.blog)
271 points bdr | 1 comments | 28 Jun 25 16:53 UTC | HN request time: 0.262s | source
Show context
Scarblac ◴[28 Jun 25 17:29 UTC] No.44406478[source]▶
It boggles my mind that a number (an uncomputable number, granted) like BB(748) can be "independent of ZFC". It feels like a category error or something.
replies(12): >>44406574 #>>44406590 #>>44407165 #>>44407378 #>>44407396 #>>44407448 #>>44407506 #>>44407549 #>>44408495 #>>44409048 #>>44410736 #>>44413092 #
Straw ◴[28 Jun 25 17:39 UTC] No.44406590[source]▶
The category error is in thinking that BB(748) is in fact, a number. It's merely a mathematical concept.
replies(7): >>44406641 #>>44406756 #>>44406982 #>>44407096 #>>44407244 #>>44407342 #>>44428546 #
1. Almondsetat ◴[28 Jun 25 17:45 UTC] No.44406641[source]▶
As if numbers weren't merely mathematical concepts