Abstract

The computational properties of a system are generally thought to be independent in some sense from its physical properties, in virtue of the fact that computation is a formally characterized concept. Several philosophers have recently challenged the idea that such “medium‐independence” is an essential feature of computation by arguing that some kinds of computation lack medium‐independence. This paper explores and rejects three such arguments in an attempt to defend the essential medium‐independence of computation.