Can Church's thesis be viewed as a Carnapian explication?

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 concerni...

Full description

Bibliographic Details

Published in:	Synthese Vol. 198; pp. 1047 - 1075
Main Author:	Quinon, Paula
Format:	Article
Published:	Springer Nature Mar2021 Supplement 5
Subjects:	Carnap, Rudolf, 1891-1970 Recursion theory Mathematical logic Mathematical forms
Online Access:	View this record in EBSCOhost