J. R. Lucas

…such as the British philosopher J.R. Lucas, tried to produce positive arguments against a mechanistic theory of mind by employing certain discoveries in mathematical logic, especially Kurt Gödel’s first incompleteness theorem, which implies that no axiomatic theory could possibly capture all arithmetical truths. In general, however, philosophers have not found