[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
495(2): 2023/07/08(土)12:33 ID:cqvJDowr(1) AAS
>>482
長いので読むのが大変だったが、以下の文章には
共感できるところがある。
少し昔に，日本でデデキント研究の第一人者の 1 人
と言われている哲学者と話をしたときに，この方が「デデキントの書いたものは，
形式論理で書かれていないのでその正当性の保証がないことが問題である」という
ようなことを言われたので，大変驚いたことがあました．もちろん，これを formal
に書き直してみるというのは，数学能力のない人のためには適当な課題にはなるか
もしれないし，今日だったら，mizar かなにかを使って，デデキントのやったこと
を (弱い集合論の体系の上で) 展開してみるというようなことができたとすれば，
そのような (数学にクリエーティヴに加担のできる能力は持っていないような) 人
の業績にさえなるかもしれないわけですが，ここに本質的な問題がないことを見通
すことのできる知性を持ちあわせていないような人が「数学の哲学」を研究してい
る，という事実は，大変不快なものだし，こういうことを真顔で言われることがあ
ると，日本の「哲学者」の言うことはあまり信用できない，ということを結論せざ
るを得なくなってしまいそうです．
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.864s*