19/06/13 15:45:08.51 fIom6At7.net
>>54
私よりもふさわしい方、下記 京都大学助教授にお勧めください(^^
URLリンク(repository.kulib.kyoto-u.ac.jp)
<特別寄稿>スコーレムの有限主義 出口, 康夫 哲学論叢 (2002), 29: 81-104
(抜粋)
1 序
スコーレム(Thoralf Albert Skolem: 1887 ? 1963)は算術(自然数論)や解析学の分野で重要
な業績を残したノルウェーの数学者である。が、彼はまた、ゲーデルと並ぶ 20 世紀最大の
論理学者の一人と評されることがあるほど(1)、論理学や集合論の領域でも多大な貢献をな
した。
本論は、この数学の哲学上の空白を埋める、本格