『現代思想』第35巻第3号（総特集：ゲーデル）、2007.

ひとまず読んだということで。P=NP問題の話が一番面白かった。ところでconstructible universeって構成的宇宙と訳すのが通例なのか。構成可能的宇宙だと思っていたのだが。constructive set theoryというのもあるし、各ランクでのconstructible setは構成主義的にはとても構成的だとは言えないものだけど。