Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
191(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)17:30 ID:NbOUr+U1(7/10) AAS
>>168
>＞無限集合は認めるが、操作は有限に限るとね
>カントールは、無限集合を「要素を空集合から１つずつ加える操作を無限回実行したもの」と定義していない
ふっふ、ほっほ
下記の 「＜特別寄稿＞スコーレムの有限主義 出⼝, 康夫. 哲学論叢. 2002」
で、有限 or 無限操作に関する記述があったので、少し引用しよう
君たち二人の主張は、哲学的には 構成主義？ｗ
省17
192(1): 08/25(月)17:50 ID:O3poJvHG(5/8) AAS
>>191
誰が構成主義と？ 実無限を認めないと？
まーた幻聴かい？ 言ってないことが聞こえるのは病気だよ
193: 08/25(月)17:52 ID:iXlQT2JW(2/7) AAS
>>191
誤 「無限回繰り返し可能な有限回操作」
正 「任意有限回繰り返し可能な、有限文字数で表記可能な操作」
ここいい間違ったら馬鹿として爆死
＞実無限は「その無限回繰り返しが完了した」ことまでも意味する。
そう定義するなら実無限は実現できない（笑）
数学の無限はどれ一つとして上記の意味の実無限ではない
省10
195(1): 08/25(月)17:58 ID:O3poJvHG(6/8) AAS
>>191
屁理屈はいいので早く無限回の足し算の定義を示してよ
well-defined だと言うなら万人に祖語の無い定義を示せるはずだろ？
201(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)18:31 ID:NbOUr+U1(9/10) AAS
>>192-198
ふっふ、ほっほ
>>191の「＜特別寄稿＞スコーレムの有限主義 出⼝, 康夫. 哲学論叢. 2002」
日本の1980年代の大学数学教育は 有限主義的な教え方が主だったろう
だが、その後 ”超準解析”が広まっていった
21世紀では、スコーレム流の有限主義は 古いと思うねｗ ；ｐ）
加藤文元氏 メンタルピクチャーや Terence Taoの“big picture”としても イマイチだろう（時代おくれ）
省16
207: 08/25(月)21:21 ID:O3poJvHG(8/8) AAS
>>191
>21世紀数学は 実無限を認める人多数だろうさ ；ｐ）
正則性公理により ∀x(¬x∈x) だから ∀x(x≠x∪{x})。よって x∈X→x∪{x}∈X なる条件はXが無限集合であることを要請する。
つまり実無限とされる無限集合の定義に無限操作なるものは不要。
よって無限操作なるものの否定は実無限の否定という主張はただの言いがかり。バカの妄言に過ぎない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s