jet's interesting finds

38 readers

4 users here now

my journal

founded 1 month ago

MODERATORS

[email protected]

The 5th busy Beaver number is solved! BB(5) = 47,176,870. Congrats Tristan et al! (dna.hamilton.ie)

submitted 3 weeks ago by [email protected] to c/[email protected]

3 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 3 weeks ago* (last edited 3 weeks ago) (1 children)

Great video, thanks for pointing it out! I'm subscribed now

I was confused about how this would solve the conjecture, because if the busy Beaver eliminates all of the non-halting machines, couldn't one of them have been the conjecture?

[–] [email protected] 2 points 3 weeks ago

I think knowing the BB number of a set is akin to knowing that all problems in that set are either halting or non-halting. I don't think the important part is the number itself but rather knowing that all programs have been checked.

Hence, once BB(27) is known then that will mean the Goltbach conjecture is proven true or false.