 There have been repeated attempts to apply Gödel’s theorems to demonstrate that the powers of the human mind outrun any mechanism or formal system. Such a Gödelian argument against mechanism was considered, if only in order to refute it, already by Turing in the late 1940s (see Piccinini 2003). An unqualified anti-mechanist conclusion was drawn from the incompleteness theorems in a widely read popular exposition, Gödel’s Theorem, by Nagel and Newman (1958). Shortly afterwards, J.R. Lucas (1961) famously proclaimed that Gödel’s incompleteness theorem