Mathematicians can and do fill in gaps, correct errors, and supply more detail and more careful scholarship when they are called on or motivated to do so. Our system is quite good at producing reliable theorems that can be solidly backed up. It's just that the reliability does not primarily come from mathematicians formally checking formal arguments; it comes from mathematicians thinking carefully and critically about mathematical ideas.

Mathematics is much less formally complete and precise than computer programs.

The real satisfaction from mathematics is in learning from others and sharing with others.

Mathematics is an art of human understanding.

Math is really about the human mind, about how people can think effectively, and why curiosity is quite a good guide.

I think mathematics is a vast territory. The outskirts of mathematics are the outskirts of mathematical civilization. There are certain subjects that people learn about and gather together. Then there is a sort of inevitable development in those fields. You get to the point where a certain theorem is bound to be proved, independent of any particular individual, because it is just in the path of development.

Experience has shown repeatedly that a mathematical theory with a rich internal structure generally turns out to have significant implications for the understanding of the real world, often in ways no one could have envisioned before the theory was developed.