| |
Abstract:
(Contributed Talk)
It is sometimes observed that computation in its current form
is often disembodied, abstract, or purely syntactic. I propose to
argue that these features are not inherent properties of
computation. Instead, they result from specific applications,
such as the computation of abstract functions, the simulation of
physical functions, and the emulation of computer programs. Once
we carefully separate abstract from physical functions,
simulation from computation, and emulation from implementation,
we should be able to identify the conditions for a properly
embedded computationalism.
|
