@kururu_goedel: @yukoim あ、CMU は確かに良さそうですね。2010-12-24 23:14:58 via TweetDeck to @yukoim @kururu_goedel: コメント返したけど、なんか不完全性定理に関する解説書で良いものってありますかねえ。URL2010-12-24 15:19:09 via TweetDeck @ku…