[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
480(1): 粋蕎 ◆C2UdlLHDRI [sage] 2020/08/24(月) 07:58:04.63 ID:UFbgwNy8(1/9) AAS
下手に連続体仮説を喩えに出しとるが、要するに瀬田氏は
準超実数 且つ 順序体 ( に就き自動的に 準超実数体 ) で 非超現実数 の時
「0.999≠1は証明できるとも反証(⇔0.999…=1の証明)できるとも言えない命題である」 と主張する訳じゃな？
そう主張するなら立場を明確にする意味で当レス鍵括弧を中身丸事、コピペしつつ正式に肯定して見せよ｡
488: １３２人目の素数さん [sage] 2020/08/24(月) 17:48:29.54 ID:RdW5LUtD(2/5) AAS
>>480の標準語訳
「要するにセタ君は
準超実数 且つ 順序体 ( 準超実数体 ) で 非超現実数 の時
「0.999≠1は証明できるとも反証(⇔0.999…=1の証明)できるとも言えない命題である」
と主張するんだな？」
ここで蕎麦のいう
「準超実数 且つ 順序体 ( 準超実数体 ) で 非超現実数 の時」
の意味が分らん
当人も全然分かってなくて口から出まかせで書いてるんだろう
私には、こう聞こえた
「セタは白目剥いてこう絶叫した
「超実数では0.999≠1だ！
素人のオレが無条件で神と崇拝するテレンス・タオ様が云ったのだ！
神は絶対だ！神に間違いはない！」」
馬鹿は論理が理解できないから権威に盲従する
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s