Turing and Gandy's analyses show that abstract computational significance is logically independent o...