Several philosophers had strong objections to the statements being created by AI researchers. One of the earliest was John Lucas, who argued that Gödel's incompleteness theorem showed that a formal system (such as a computer program) could hardly ever see the truth of selected statements, whilst a human being could.[122] Hubert Dreyfus ridiculed t