m a variety of sources and the verdict would be a matter of subjective opinion rather than objective fact. Inconsistency is very bad in mathematics. The Lucas Argument J.R. Lucas of Oxford University believes Gédel’s theorem says something fundamental about the nature of the human mind. In 1959, he wrote a paper, M