2010-12-09から1日間の記事一覧

2010年12月09日のツイート

@kururu_goedel: @next49 詳しい人につっこまれそうですが、数理論理学(mathematical logic)は数学。単に論理学といえば普通は哲学です。もっとも、数学者同士でlogicといえば数理論理学をさしますが。2010-12-09 15:06:31 via TweetDeck to @next49 @kururu…