Can the human mind be properly described in mechanical terms? It is in order to demonstrate that it cannot be that in 1959 John R. Lucas presented an anti-mechanist argument by appealing to Gödel’s first incompleteness theorem. He attempted to show that any computational device cannot be an adequate model of the human mind, since, if there is a model of the human mind that is a machine, then there is at least a sentence that the machine cannot prove, while the human mind can. Lucas could not have foreseen the many disputes that this argument would have produced since then and the significant impact that it would have on the studies on the mechanical simulation of the human mind. As a tribute to the ingenuity of Lucas, this volume collects the most relevant papers that have contributed to the lively and stimulating debate arising from his argument.
