[過去ログ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
482
(3): 現代数学の系譜11 ガロア理論を読む 2017/05/03(水)12:20 ID:hJ9NLdiz(19/43) AAS
>>480 関連

出口康夫先生、過去スレでも紹介していたね
2chスレ:math
現代数学の系譜11 ガロア理論を読む25
332 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2016/11/19
>>331 つづき

スコーレムの有限主義
省12
483
(1): 現代数学の系譜11 ガロア理論を読む 2017/05/03(水)12:34 ID:hJ9NLdiz(20/43) AAS
>>482 有限主義補足
Susumu Hayashi 林晋先生
外部リンク:www.shayashi.jp
Susumu Hayashi 林晋, 京都大学大学院文学研究科 現代文化学専攻 情報・史料学教授
外部リンク[html]:www.shayashi.jp
旧「数学基礎論の歴史」のページ
エッセイ・論文・講演 Essays Papers Talks
省12
500
(1): 現代数学の系譜11 ガロア理論を読む 2017/05/03(水)16:46 ID:hJ9NLdiz(28/43) AAS
>>478 補足

>無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。
> 1)本当に存在する数学的対象は有限的なもの(自然数とか)だけである。疑うヤツには自然数を構成してみせればよい
> 2)だけど有限的対象だけで数学をやろうとするとえらくメンドイ。だから、略記として無限的対象を導入し、ショートカットをする。
>ポイントは(無限小をεδ論法で置き換えた時みたいに)「無限的対象・手法は、やろうと思えばちゃんと有限的なやり方で書ききれるが、しんどいので略記として導入している」というスタン>スを貫くことです。

うーん、有限主義=二段ロケット方式というのも違っているように思う
有限主義はあまり詳しくないが、記憶では有限主義はあくまで有限主義で、”無限は認めない”ってことじゃなかったかな?(^^:
省5
501: 現代数学の系譜11 ガロア理論を読む 2017/05/03(水)16:48 ID:hJ9NLdiz(29/43) AAS
>>500 訂正

少なくとも、>>481>>482の「スコーレムの有限主義」出口康夫を読む限り・・
 ↓
少なくとも、>>480>>482の「スコーレムの有限主義」出口康夫を読む限り・・
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s