It is not the case that Gödel, Turing, and Church independently arrived at extensionally equivalent formalizations, and this invariance across disparate formalisms gives the thesis a quasi-definitional status rather than a contingent one.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.