Abstract
What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for digital computation. We argue that our account evaluates positively against adequacy criteria for accounts of computation.
Original language | English |
---|---|
Pages (from-to) | 1469-1492 |
Number of pages | 24 |
Journal | Synthese |
Volume | 191 |
Issue number | 7 |
DOIs | |
State | Published - 1 Jan 2014 |
Externally published | Yes |
Keywords
- Computational taxonomy
- Digital computation
- Finite state automata
- Information processing
- Instructional information
- Physical computation
- Turing machines
ASJC Scopus subject areas
- Philosophy
- Social Sciences (all)