User blog comment:DWither/Doubt about busy beaver/@comment-5529393-20180904212819/@comment-30869823-20180905220250

Yeah the best thing we can do is to search for proofs in a strong theory that a program halts but some large BB value will always be independent of the theory.