[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む71 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む71 http://rio2016.5ch.net/test/read.cgi/math/1561208978/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
705: 哀れな素人 [] 2019/07/01(月) 10:09:28.70 ID:Na8Xzl1X ついでにいっておくと、 可算無限集合というのは集合ではない。 なぜなら集合というのは閉じていなければならないからである。 可算無限集合は閉じていない。 だから可算無限集合は集合とはいえない。 http://rio2016.5ch.net/test/read.cgi/math/1561208978/705
708: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/07/01(月) 10:25:36.63 ID:40q2pJBE >>705 哀れな素人さん、どうもスレ主です。 ＞可算無限集合というのは集合ではない。 それ、有限主義かな https://ask.fm/ytb_at_twt/answers/105450565194 有限主義ってなんですか？直観主義とは違うのですか？ ytb askfm over 1 year ago (抜粋) 有限主義とは「有限的な数学的対象」のみの存在を認める立場です。ベースとなる論理は、古典論理でもかまいません（排中律とかそういうこだわりはありません）。その点で直観主義と大きく異なります。 http://en.wikipedia.org/wiki/Finitism 背景ですが、20世紀、公理的集合論などの無限的理論や無限的手法が広く数学の中で使われるようになりました。無限集合などの無限的対象も広く登場します。 しかし一方で、無限的対象は、かつての無限小のように、一部の「数学の基礎」を気にする数学者にとっては、ものすごく胡散臭いものにうつります。 そこで、無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。 １）本当に存在する数学的対象は有限的なもの（自然数とか）だけである。疑うヤツには自然数を構成してみせればよい ２）だけど有限的対象だけで数学をやろうとするとえらくメンドイ。だから、略記として無限的対象を導入し、ショートカットをする。 ポイントは（無限小をεδ論法で置き換えた時みたいに）「無限的対象・手法は、やろうと思えばちゃんと有限的なやり方で書ききれるが、しんどいので略記として導入している」というスタンスを貫くことです。 まあ、ホントにどんな有限的対象でも書ききれるのか？とか、逆に「ショートカットをせずにちゃんと書く」ってそもそもどういう事よ、とかいろいろ問題はあるのですが、ともかく、20世紀前半には中心的な立場として広く議論されてきました。 http://rio2016.5ch.net/test/read.cgi/math/1561208978/708
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s