Tag Archives: nature of proof

Machine-Checked Proof

“In my view, the choice between the conventional process by a human referee and computer verification is as evident as the choice between a sundial and an atomic clock in science.” – Tom Hales (from [4]) “The rapid advance of … Continue reading

Posted in Math, Technology & Math | Tagged , , , | Leave a comment

Is Math Truly Forever?

Guest Author: Andrea McNally Anyone involved in the discipline of math can most likely recall one, if not multiple, instances of being questioned on the usefulness of math. Eduardo Saenz de Cabezon addresses this question in his TED talk “Math … Continue reading

Posted in Math, Math History | Tagged , , | Leave a comment