A correspondence problem for mathematical proof

Simon DeDeo, Eamon Duede

Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an un…