 J. R. Lucas (1964) claims that this reveals human beings are not machines. A computer is a concrete instantiation of a formal system. Hence, its “knowledge” is restricted to what it can prove. By Gödel’s theorem, the computer will be either inconsistent or incomplete. However, any human being could have consistent and complete knowledge of arithmetic. Therefore, necessarily, no human being is a computer.