Well, in such a case you can use the method to test somewhat more complex conjectures.
Unfortunately, the growth of the Busy Beaver function is so rapid that the number of bits of complexity of such provable conjectures added by your revised definition of N (I am ignoring the word “larger”, since that makes N undefined), is likely not very many.
Well, in such a case you can use the method to test somewhat more complex conjectures.
Unfortunately, the growth of the Busy Beaver function is so rapid that the number of bits of complexity of such provable conjectures added by your revised definition of N (I am ignoring the word “larger”, since that makes N undefined), is likely not very many.