No, the set of proofs is infinite. There is a program that outputs all proofs; it’s just that it takes forever to do so.
...but a finite amount of time to output any specific proof off the list.
No, the set of proofs is infinite. There is a program that outputs all proofs; it’s just that it takes forever to do so.
...but a finite amount of time to output any specific proof off the list.