TY - JOUR
T1 - Primiero on Physical Computation
AU - CURTIS-TRUDEL, André
PY - 2023/1/24
Y1 - 2023/1/24
N2 - This note discusses the account of physical computation offered in Part II of Primiero’s On the Foundations of Computing. Although there is much to find attractive about the account, I argue that the account is obscure at certain crucial junctures and that it does not supply a wholly satisfactory account of miscomputation. I close by considering whether the engineering foundation of computing requires a theory of physical computation in the first place, suggesting tentatively that it does not.
AB - This note discusses the account of physical computation offered in Part II of Primiero’s On the Foundations of Computing. Although there is much to find attractive about the account, I argue that the account is obscure at certain crucial junctures and that it does not supply a wholly satisfactory account of miscomputation. I close by considering whether the engineering foundation of computing requires a theory of physical computation in the first place, suggesting tentatively that it does not.
U2 - 10.1007/s10516-023-09661-7
DO - 10.1007/s10516-023-09661-7
M3 - Journal Article (refereed)
SN - 1122-1151
JO - Axiomathes
JF - Axiomathes
ER -