Machines can't produce the entire Lucas arithmetic VoorArgument1 #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). |