If the Alonzo Church model and Turing model of computing are computationally equivalent, then does it really matter? I may not be understanding correctly.