In this lecture, Enrico Bombieri, IBM von
Neumann Professor in the School of Mathematics, attempts to give an
idea of the numerous different notions of truth in mathematics.
Using accessible examples, he explains the difference between
truth, proof...