If B searches for all proofs up to some length L, then for large enough L it will also find the non-spurious ones.
Right, and the non-spurious proofs will “kill” the spurious ones. That was the idea in the reduction of “could” post, linked from the current one. Nice work! Please continue thinking, maybe you’ll find something that we missed.
Right, and the non-spurious proofs will “kill” the spurious ones. That was the idea in the reduction of “could” post, linked from the current one. Nice work! Please continue thinking, maybe you’ll find something that we missed.