←back to thread

BusyBeaver(6) Is Quite Large

(scottaaronson.blog)
271 points bdr | 1 comments | 28 Jun 25 16:53 UTC | HN request time: 0s | source
Show context
NooneAtAll3 ◴[28 Jun 25 18:20 UTC] No.44406905[source]▶
If you want to learn about actual Busy Beaver results, I suggest reading https://www.sligocki.com/ instead

Unlike Aaronson, he actually is on the forefront of Busy Beaver research, and is one of the people behind the https://bbchallenge.org website

replies(5): >>44406991 #>>44407000 #>>44407081 #>>44407749 #>>44414815 #
1. dloranc ◴[29 Jun 25 17:34 UTC] No.44414815[source]▶
Maybe Scott isn't at the forefront of the research by some standards, but I still consider him a prominent figure in the field. Independence of ZFC, Busy Baver Frontier paper, "Who Can Name the Bigger Number?" essay. He did a lot to popularise the topic and posed some interesting ideas or conjectures (Beeping Busy Beavers for example).