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