2009-08-02から1日間の記事一覧

 Frege's Consistency Proof in Grundgesetze, I, §31

個人的に意外に感じたことを以下に記します。とても長いです。 例によって、哲学的考察を展開しているというものではありません。 私自身の見解は、まったく表明しておりません*1 また、以下の日記の内容は、Frege-Hilbert Controversy と深い関係があります…

最近入手の文献を記します。 以下に並べられらた論文は、すべて次の書籍に収録されているものです。 各論文名末尾の数字は、その論文・書簡の初出年または執筆年です。 Jean van Heijenoort Selected Essays, Bibliopolis, History of logic, 3, 1985 Logic …