The Lucas-Penrose argument has been broadly rejected: Gödel's incompleteness results apply to formal...