ABSTRACT
Discussions of appeals to the incompleteness theorem in the philosophy of mind (“Go¨delian arguments”) sometimes refer to machines (computers), sometimes to formal systems. The two notions are interchangeable in these discussions, since for any formal system there is a way to program a computer to systematically generate the theorems of the system, and conversely, for any way of programming a computer to generate sentences in some formal language, there is a corresponding formal system which has those sentences among its theorems.
