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