[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
413: 粋蕎 ◆C2UdlLHDRI 2020/08/09(日)13:52 ID:Geh5aSQj(1/3) AAS
非学者、論に負けず
瀬田氏の引用、タオの仕事に基づきイアンが呼んだ 0.999… とは 0.999…;…999000… なる 標準部0.999…類の一要素、つまり 0.999…擬き であり
正しい0.999… である 0.999…;…999999… とは異なる事
また、順序体では超現実数を除き 0.999…≠1 とは成り得ぬ為に 0.999…≠1 と成す為には順序体で無くす必要が有る。
Aなる考え方がある一方でBなり考え方もある、とは言うが 0.999…≠1 かつ 非超現実数 で 順序体 なる 準超実数 は、存在しない、存在し得ない。
其れを押して 0.999…≠1 かつ 非超現実数 で 順序体 なる 準超実数 が存在するという考え方が在っても良いと主張するなら、やればいい。
Aなる考え方がある一方でBなり考え方もある、という分岐は数学で言えば選択公理じゃが、
省1
420: 粋蕎 ◆C2UdlLHDRI 2020/08/09(日)17:53 ID:Geh5aSQj(2/3) AAS
>>414
(しーっ!!そう言わんと瀬田氏が分からんじゃろ)
瀬田氏にとっては 0.999…≠1 かつ順序体とならない超実数 と 0.999…≠1 かつ順序体となり超現実数でもない超実数 が
平面幾何学と球面幾何学と双曲線幾何学らの関係と同様に存在し得ると思い込んどるらしい。
422(1): 粋蕎 ◆C2UdlLHDRI 2020/08/09(日)18:02 ID:Geh5aSQj(3/3) AAS
AA省
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.043s