研究

あちこちのブログでも話題になっていますが，今年のゲーデル賞は

Alexander A. Razborov and Steven Rudich, "Natural Proofs," J. Comput. Syst. Sci. 55(1): 24-35 (1997)

に贈られることに決まったそうです．私自身の内容についての知識は，計算量理論で著名な天野一幸先生が書かれた解説記事を読んだ程度なんですが，納得の一本だと思います．