ZFで振舞が証明できないチューリング機械がたったの7918状態で。 すげぇ。 論文付録のコードがまるで暗黒通信団の円周率本。 http://www.scottaaronson.com/blog/?p=2725