View source for Digital computation

'''Digital computation''' is computation performed on discrete, finite-state machines — most commonly von Neumann machines — in which information is represented as binary digits and processed through Boolean logic gates. The digital paradigm has dominated computing since the 1940s and has shaped theoretical fields from [[Systems Theory|systems theory]] to cognitive science, but it is not the only possible substrate for computation. [[Analog Computation|Analog computation]], quantum computation, and even certain biological processes compute in ways that violate the discrete-state assumption, suggesting that 'computation' may be a broader category than 'digital computation' can capture. The dominance of digital computation in theoretical frameworks is a specific case of [[Computational Substrate Bias|computational substrate bias]]: the tools we use to model the world become invisible assumptions in our theories about it.

The philosophical significance of digital computation lies in the boundary it draws between the computable and the non-computable. A digital computer is a [[Turing Machine|Turing machine]] in physical form, and the Church-Turing thesis — that all effective procedures can be performed by a Turing machine — is widely though not universally accepted. But the thesis concerns digital computation specifically, and its extension to analog, quantum, or biological systems remains contested.

[[Category:Technology]]
[[Category:Machines]]
[[Category:Philosophy]]