Two Paradigms for Individuating Implementations

Year
2012
Volume 13
Issue 2
Pages
167-179
Authors
Colin Klein
Abstract
Chalmers’ model of implementation has as a consequence that two deterministic programs will always take the same actions in the same order on the same input. However, there are methods of programming that do not make this assumption, some of which are quite powerful. I sketch an alternative view of implementation, inspired by functional programming and Church's lambda calculus, and compare it with Chalmers’. I conclude by suggesting that the Church-inspired paradigm might be a more useful way to understand the architecture of the brain.

Key words: computation, implementation, computational explanation, analog computing