Entries from 2011-10-27 to 1 day
MLG meeting に参加していたので,感想みたいなもの。前から思っていたことではあるけど,もっといろんな本や論文を読んで,論理のいろんな見え方を知りたい。多値論理と直観主義論理とか,僕が知らないだけで,もっと密接に関係しているんじゃないか,とか…
MLG meeting に参加していたので,感想みたいなもの。前から思っていたことではあるけど,もっといろんな本や論文を読んで,論理のいろんな見え方を知りたい。多値論理と直観主義論理とか,僕が知らないだけで,もっと密接に関係しているんじゃないか,とか…