1 paper
Yong Cheng, Colin McLarty
What constitutes depth in a mathematical proof? This paper addresses this foundational question through a close case study of Andrew Wiles's proof of Fermat's Last Theorem. We prop…