[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む32 [無断転載禁止]©2ch.net (700ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
96(1): 現代数学の系譜11 ガロア理論を読む 2017/05/22(月)13:26 ID:0yI+BCI1(30/45) AAS
>>94 （以前にも書いたと思うが（＾＾
ご参考
外部ﾘﾝｸ:ask.fm
有限主義ってなんですか？直観主義とは違うのですか？ About ytb Ask.fm December 22, 2013
有限主義とは「有限的な数学的対象」のみの存在を認める立場です。ベースとなる論理は、古典論理でもかまいません（排中律とかそういうこだわりはありません）。その点で直観主義と大きく異なります。
外部ﾘﾝｸ:en.wikipedia.org
背景ですが、20世紀、公理的集合論などの無限的理論や無限的手法が広く数学の中で使われるようになりました。無限集合などの無限的対象も広く登場します。
省5
101(5): 現代数学の系譜11 ガロア理論を読む 2017/05/22(月)13:50 ID:0yI+BCI1(31/45) AAS
>>96 補足
外部ﾘﾝｸ:en.wikipedia.org
Finitism
(抜粋)
History
The issue entered a new phase when Georg Cantor, starting in 1874, introduced what is now called naive set theory and used it as a base for his work on transfinite numbers.
When paradoxes such as Russell's paradox, Berry's paradox and the Burali-Forti paradox were discovered in Cantor's naive set theory, the issue became a heated topic among mathematicians.
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s