ゲーデル！数学ガール！古典数理論理！

Tw
  • 22:37 結城浩「数学ガール3」、読了。長い長い旅路の果てに、正直村に戻ってくるこのステルス伏線ッ！そして参考文献にある引用が森博嗣。「すべてがFになる」の冒頭引用が青木淳と同じくらい驚くぞ。それにしても、古典数理論理もヒルベルト流も懐かしい記憶だ。4人しか生徒がいない講義を受けていたな。
    • -

Powered by GAE/j
http://twitter.com/crayzic