“Proving or disproving a formula—once you’ve encrypted the formula into numbers, that is—is just a calculation on that number. So it means that the answer to the question is, no! Some formulas cannot be proved or disproved by any mechanical process! So I guess there’s some point in being human after all!” Alan looked pleased until Lawrence said this last thing, and then his face collapsed. “Now there you go making unwarranted assumptions.”
