2011年08月21日のツイート
@kururu_goedel: @zhanpon ぶっちゃけて言うと、集合論に応用する程度の話に重点がきていて、数理論理学を突き詰める方には向いていないってことです。例えば、命題論理の推論規則をきちんと書かずに、「すべてのトートロジー」とかを使うのは、非古典論理に繋げるにはかなりまずいだろうと。
2011-08-21 12:39:21 via TweetDeck to @zhanpon
@kururu_goedel: @zhanpon ただ、recursive fuctionをきちんと定義してないか、かなり後まで直感に頼って取り扱っているかで、そこはちょっと問題です。
2011-08-21 12:14:51 via TweetDeck to @zhanpon
@kururu_goedel: @zhanpon "Mathematical introduction to logic"のことですか?良い本だと思います。重点の置き方は私好み、というか集合論者受けすると思います。
2011-08-21 12:12:15 via TweetDeck to @zhanpon
@kururu_goedel: 夢喰いメリー見てる。声がどれも微妙に耳に障るのがとても楽しい。
@kururu_goedel: @nycity1022 そうですよね。でも、それに思い至ったのはすごいと思います。しかもそれをしっかり実証しようとしているのが。
2011-08-21 11:34:05 via TweetDeck to @nycity1022
@kururu_goedel: 木の葉のつき方にヒントを得たフィボナッチ数列を使う効率の高い太陽光発電のパネルの配置法を開発した13才の子の話。URL