There are plenty of things you can prove about specific, chosen computations. You just can’t prove them about arbitrary computations.
There are plenty of things you can prove about specific, chosen computations. You just can’t prove them about arbitrary computations.