<a href="http://www.math.ias.edu/~avi/PUBLICATIONS/MYPAPERS/W06/W06.pdf">Avi Wigderson "P, NP and Mathematics - a computational complexity perspective" (pdf)</a>

In Theory: P, NP, and Mathematics経由で. 数学科向けのP vs NP問題の話ぽい. イントロで出てくるのが, Diophantine equationsに結び目に証明論.