J.R. Lucas argued that all minds must be “alive” and human, not “dead” and “ossified” like “machines”. Lucas’s position is almost entirely dependent upon Kurt Gödel's first incompleteness theorem.