Showing math.HOShow all
2 papers · 1 filter
math.HO2026
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…
math.HO2024
Hard Proofs and Good Reasons
Simon DeDeo
Practicing mathematicians often assume that mathematical claims, when they are true, have good reasons to be true. Such a state of affairs is "unreasonable", in Wigner's sense, bec…