William Gasarch http://arxiv.org/abs/1108.3347プログラムの停止性の証明にRamsey理論を応用する、という研究の紹介．複雑なRamsey理論を使うわけじゃないけど，個人的にこういうのは好き．実際に使われるようなプログラムとかアルゴリズムにこういうのが…