For example, if A were searching for both proofs and disproofs that it would output 1, it wouldn’t be able to prove the first proposition quite so easily, and maybe not at all.
Yeah—I suspect the answer is “not at all” because this ‘searching for proofs or disproofs’ seems to be exactly what’s needed to unbreak the reasoning in my comment above.
Yeah—I suspect the answer is “not at all” because this ‘searching for proofs or disproofs’ seems to be exactly what’s needed to unbreak the reasoning in my comment above.