A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate-which shows few signs of converging on one view-can be circumvented by regarding Church's and Turing's thesesdoi:10.1007/s11229-019-02286-7 fatcat:kckfy7ky7renvh3flf3dmfsgbu