Given a string S,is it a theorem of arithmetic?

To semidecide this, just start generating every possible proof.

If S is a theorem, you will eventually find it.

continued... Next