Tag Archives: Proofs

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

Proofs from The Book

I recently came across an article on Stack Exchange that asks readers what proofs they think other mathematicians should know and why. There are 23 answers on the post (it is a closed question now unfortunately) with many different proof suggestions. This reminded me of … Continue reading

Posted in Book Reviews, General, Math, Mathematics Online | Tagged , , | Leave a comment