2005-12-13から1日間の記事一覧

 Godel は Skolem の論文を読んで、完全性定理を証明しているのか?

Mark van Atten “On Gödel's awareness of Skolem's Helsinki lecture,” in: History and Philosophy of Logic, Volume 26, Number 4 / November 2005 Godelが彼の完全性定理を証明する前に、実はSkolemの1922年(あるいは1923年)の論文を読んでいたのであり…

 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 tha…