The computational implementation debate, links and discussion

In yesterday's joint post with Adria he and I spoke about a surprisingly pernicious problem in the philosophy of computer science: we don't actually have a good account of what "implementation" is. Implementation is one of the most fundamental relations in the philosophy of computer science. In fact, much of the field is dedicated to trying to deploy or make use of it. To give a “computational”…