ゲンツェンの問題に対する貢献を理由に
学会賞を受賞した人がいる。