The other guy needs a disproof of the CTT...an effective procedure that can only be computed in protoplasm.
The other guy needs a disproof of the CTT...an effective procedure that can only be computed in protoplasm.