• @badcommandorfilename
    link
    English
    221 days 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.