step beyond mere rules and see truth. Colloquially we call this ‘common sense’ or ‘stepping outside the box’ The Lucas argument uses the theories of Gédel and Turing to show computer algorithms have limitations. Some things are simply not computable. Computers can do many useful things, but they cannot