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...
| Publicado en: | Synthese Vol. 198; pp. 1047 - 1075 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Mar2021 Supplement 5
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |