2007-05-17 ゲーデル賞 今年のゲーデル賞は Alexander A. Razborov and Steven Rudich: Natural Proofs, Journal of Computer and System Sciences, Vol. 55, No. 1, 1997, pp. 24-35 に授与されることになったようです.