/sci/ - The Busy Beaver Game - Science & Math


08/21/20	New boards added: /vrpg/, /vmg/, /vst/ and /vm/
05/04/17	New trial board added: /bant/ - International/Random
10/04/16	New board for 4chan Pass users: /vip/ - Very Important Posts
[Hide] [Show All]

Anonymous
The Busy Beaver Game 09/26/26(Sat)04:31:38 No.17061230

File: Independencechart.png (125 KB, 631x844)

The Busy Beaver Game Anonymous 09/26/26(Sat)04:31:38 No.17061230

I imagine most of you have heard of the busy beaver game. It's the aim of creating a Turing machine that runs as long as possible without being infinite. But you might not know it's being ferociously researched right now.
https://wiki.bbchallenge.org/wiki/Main_Page
Basically, this collaborative project is aiming at finding values of the BB function and ruling out cases.
BB(3,3) has what's called a "Cryptid" - a Collatz-like function. https://wiki.bbchallenge.org/wiki/Cryptids
Additionally, the current candidate for BB(6) has a LOWER BOUND of [math]10 \uparrow\uparrow 10 \uparrow\uparrow 10 \uparrow\uparrow 8.10237[/math].

As an amusing aside, if ZFC is inconsistent, then a machine devoted to finding a ZFC contradiction could be made that would halt after at most BB(410) steps. Source: https://codeberg.org/ajwade/turing_machine_explorer

Anonymous
09/26/26(Sat)04:32:56 No.17061232

Anonymous 09/26/26(Sat)04:32:56 No.17061232

(The pic is outdated, ZFC has been lowered from 432 to 410. https://wiki.bbchallenge.org/wiki/Logical_independence hasn't' been updated with the codeberg update yet.)

Anonymous
09/27/26(Sun)06:25:37 No.17061796

Anonymous 09/27/26(Sun)06:25:37 No.17061796

>>17061230
What a cool fucking thread outside my expertise, thank you for sharing!

Anonymous
09/27/26(Sun)08:45:47 No.17061875

Anonymous 09/27/26(Sun)08:45:47 No.17061875

>If ZFC is inconsistent not only will we never know, no civilization possible in the observable universe would know
Kind of fucking terrifying

Anonymous
09/27/26(Sun)11:43:04 No.17061945

Anonymous 09/27/26(Sun)11:43:04 No.17061945

Chat solved Busy Beaver.
Well, almost. It’s stuck at 98%.
But last month it was only 47%, so “Progress”.

Anonymous
09/27/26(Sun)11:48:47 No.17061948

Anonymous 09/27/26(Sun)11:48:47 No.17061948

>>17061875
Some say this has already happened; twice.

Anonymous
09/29/26(Tue)05:05:50 No.17064407

Anonymous 09/29/26(Tue)05:05:50 No.17064407

>>17061230
>lower bound that high
what the fuck is going on with this function?

Anonymous
09/29/26(Tue)05:46:13 No.17064423

Anonymous 09/29/26(Tue)05:46:13 No.17064423

>>17061230
What's up with that 0=1 line up there? Is that meant to be "inconsistent with choice"?

Anonymous
09/29/26(Tue)08:04:59 No.17064521

Anonymous 09/29/26(Tue)08:04:59 No.17064521

>>17064423
yep, reinhardt cardinal or something

Anonymous
09/29/26(Tue)08:45:06 No.17064543

Anonymous 09/29/26(Tue)08:45:06 No.17064543

>>17061230
World’s oldest profession.

Anonymous
09/29/26(Tue)14:14:08 No.17064729

Anonymous 09/29/26(Tue)14:14:08 No.17064729

>>17064543
Counting?

Anonymous
09/29/26(Tue)15:14:13 No.17064768

Anonymous 09/29/26(Tue)15:14:13 No.17064768

>>17064729
Busying beavers

Anonymous
09/29/26(Tue)15:16:43 No.17064773

Anonymous 09/29/26(Tue)15:16:43 No.17064773

>>17064768
For purposes of later counting, once they’ve finished.

Anonymous
09/30/26(Wed)10:45:11 No.17065261

Anonymous 09/30/26(Wed)10:45:11 No.17065261

>>17064729
Counting anything you do that someone would metonymize you as and pay you for.

Anonymous
10/04/26(Sun)00:37:58 No.17067491

Anonymous 10/04/26(Sun)00:37:58 No.17067491

>>17064768
nice

Name
Options
Comment
Verification	4chan Pass users can bypass this verification. [Learn More] [Login]
File
Please read the Rules and FAQ before posting. Additional supported file types are: PDF Use T_eX with [math] tags for inline and [eqn] tags for block equations. Right-click equations to view the source.

🎉 Happy Birthday 4chan! 🎉