crayzic https://blog.hatena.ne.jp/crayzic/ wonder bot beta https://crayzic.hatenadiary.org/ Tw 22:32 [MM登録] 数学ガール/ゲーデルの不完全性定理 http://bit.ly/m9WbMi 22:37 結城浩「数学ガール3」、読了。長い長い旅路の果てに、正直村に戻ってくるこのステルス伏線ッ！そして参考文献にある引用が森博嗣。「すべてがFになる」の冒頭引用が青木淳と同じくらい驚くぞ。それにしても、古典数理論理もヒルベルト流も懐かしい記憶だ。4人しか生徒がいない講義を受けていたな。 - Powered by GAE/j http://twitter.com/crayzic 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcrayzic.hatenadiary.org%2Fentry%2F20110613%2F1307907009" title="ゲーデル！数学ガール！古典数理論理！ - wonder bot beta" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-06-13 04:30:09 rich https://crayzic.hatenadiary.org/entry/20110613/1307907009 1.0 100%