[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む74 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
357(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/10(土)08:37 ID:AHc3nl9z(4/26) AAS
>>353 補足
>「このように、可能無限と実無限がお互いにお互いを否定していることを認めると、現代数学には相反する2つの無限が混在していることがわかる」
>”完結する無限としての実無限は、終わりのない無限を終わると仮定した無限であり、相反する2つの意味を内蔵している自己矛盾した概念です。実無限が矛盾しているなら、実無限からなる用語、実無限からなる証明もすべて矛盾していることになります。”
((現代数学の)無限に関する様々な数学的概念)
無限大、無限小(infinitesimal)、無限遠点、無限集合、無限小数、無限列
などなど、無限に関する数学の用語と定義があります
普通は、ZFC公理系から、無限集合を作って、以下順に”無限大”を定義して、”無限列”を定義して、・・・
省22
358(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/10(土)08:39 ID:AHc3nl9z(5/26) AAS
>>357 補足の補足
>しかし、”実無限”と”可能無限”との区別は、致しません!!
”実無限”と”可能無限”との区別は、数学ではなく、哲学の世界ですよ(^^;
360: 2019/08/10(土)08:48 ID:YVEy2auq(1/27) AAS
>>357-358
無限公理を採用した無限集合論は実無限の立場に立つものですよ
無限公理の否定を採用した有限集合論が可能無限
ただ(無限公理抜きの)集合論が無矛盾なら
無限公理を追加してもその否定を追加しても
無矛盾だというなら、無限公理から矛盾が導ける場合
そもそも集合論の他の公理だけから矛盾が導けることになる
省1
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.034s