| Machines can't produce the entire Lucas arithmetic  UnterstĂŒtzendes Argument1 #1125 Even though Lucas can't produce the entire Lucas arithmetic, we can still salvage a weaker conclusion from his arguments; namely, that machines can't produce the entire Lucas arithmetic either.  | 
David Lewis (1969).  |