"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!"