今回の証明の件は関係ないのかもしれないけど、ヒルベルトの問題第10番はディオファンタス方程式の有理解一般を
求めるアルゴリズムの有無で、否定的に解決されたけど、いろいろ副産物があって興味深かった。
ディオファンタス方程式の解の有無とある命題の真偽が対応していてその命題の中にはリーマン予想も入っている。
命題と有理解の対応の話はよくわからないけど、こういう手法の発展はなかなか現代的で面白そう。
チャイティンに「メタマス」読むとディオファンタス方程式は万能チューリングマシンと「同値」らしいからね。
ここらへんも素人ながらにワクワクする話なんだけど。。なかなか最新の結果は出ているのかわからない。