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.
| Original language | English |
|---|---|
| Pages (from-to) | 167-179 |
| Number of pages | 13 |
| Journal | Journal of Cognitive Science |
| Volume | 13 |
| Issue number | 2 |
| Publication status | Published - 2012 |
| Externally published | Yes |
Keywords
- computation
- implementation
- computational explanation
- analog computing