"In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians ... shows that proof and other forms of mathematical exploration continue to be living evolving practices--responsive to new technologies yet embedded in permanent (and astonishing) facts about human beings"--Back cover.