Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

2011-08-28から1日間の記事一覧

計算機科学と論理実証主義?

コンピュータ文化そのものが、かつては見えないものだった意味の領域をできるだけ見えるものに変え、コード化し論理化しようとする情熱を原理的に抱えている。計算機科学や情報理論とは、そもそもが、すべてが見えること、操作可能であることを理想とした学…