ウィリアム・サーストン：数学における証明と進歩について（1994年）[pdf]
1994年に発表されたこの論文で、フィールズ賞受賞者ウィリアム・サーストンは、数学的真理と証明の性質について考察し、数学の進歩は形式的証明の蓄積ではなく、人間の理解とコミュニティ内での共通認識によって駆動されると主張する。彼は数学を「人間の理解の科学」として捉え直すことを提唱している。
背景メモ
ウィリアム・サーストン（1946–2012）は低次元トポロジーと幾何化予想で知られるフィールズ賞受賞数学者。本論は1994年、数学者コミュニティ向けの Bulletin of the American Mathematical Society に掲載されたエッセイ。サーストンは「数学的証明」が持つ社会的・心理的側面を考察し、数学の進歩は単に定理を厳密に証明することではなく、数学的概念が人々の間に「理解」や「直感」として共有されるプロセスであると主張。特にサーストン自身の研究（双曲幾何と3次元多様体の分類）を事例に、形式的証明が持つ限界や、数学における共同作業・コミュニケーションの重要性を論じている。数学の哲学や教育に大きな影響を与えた古典的論考。