BLC 2010

The proof theoretic foundations of logic, logicism, computation and computationalism.
Michael Gabbay
I propose a proof theoretic account of computation along the same lines as proof theoretic accounts of logic. The account gives an abstract characterisation of a computer and a program. I suggest how this account is applicable to computational theories of the mind.