Mathematical proof dates back at least to Euclid in 300 BCE, and yet little is known about what happens in the mind when ...