Lectures on the Philosophy of Mathematics

by Joel David Hamkins

In Prover-Skeptic terms, we may say that a proof has been certified if it has been examined by a sufficient number of suitable Skeptics, and none of them has found errors in it.