Two Paradigms for Individuating Implementations

Colin Klein

Research output: Contribution to journalArticlepeer-review


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 languageEnglish
Pages (from-to)167-179
Number of pages13
JournalJournal of Cognitive Science
Issue number2
Publication statusPublished - 2012
Externally publishedYes


  • computation
  • implementation
  • computational explanation
  • analog computing


Dive into the research topics of 'Two Paradigms for Individuating Implementations'. Together they form a unique fingerprint.

Cite this