GodelとSkolem

今日以下の雑誌が届く。

  • History and Philosophy of Logic, Volume 26, Number 4 / November 2005

さっそくここに収録されている以下の論文を読む。

  • Mark van Atten  “On Gödel's awareness of Skolem's Helsinki lecture”

Abstract

Gödel always claimed that he did not know Skolem's Helsinki lecture when writing his dissertation. Some questions and doubts have been raised about this claim, in particular on the basis of a library slip showing that he had requested Skolem's paper in 1928. It is shown that this library slip does not constitute evidence against Gödel's claim, and that, on the contrary, the library slip and other archive material actually corroborate what Gödel said.

大変興味深い。次にその興味深いことがらを1点だけ記す。