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.