[過去ログ]
IUTを読むための用語集資料集スレ (1002レス)
IUTを読むための用語集資料集スレ http://rio2016.5ch.net/test/read.cgi/math/1592654877/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
487: 132人目の素数さん [sage] 2020/08/24(月) 17:40:41.09 ID:RdW5LUtD >>486 言い回しだけ変えてもそもそも論理がオカシイから理解できないよ http://rio2016.5ch.net/test/read.cgi/math/1592654877/487
488: 132人目の素数さん [sage] 2020/08/24(月) 17:48:29.54 ID:RdW5LUtD >>480の標準語訳 「要するにセタ君は 準超実数 且つ 順序体 ( 準超実数体 ) で 非超現実数 の時 「0.999≠1は証明できるとも反証(⇔0.999…=1の証明)できるとも言えない命題である」 と主張するんだな?」 ここで蕎麦のいう 「準超実数 且つ 順序体 ( 準超実数体 ) で 非超現実数 の時」 の意味が分らん 当人も全然分かってなくて口から出まかせで書いてるんだろう 私には、こう聞こえた 「セタは白目剥いてこう絶叫した 「超実数では0.999≠1だ! 素人のオレが無条件で神と崇拝するテレンス・タオ様が云ったのだ! 神は絶対だ!神に間違いはない!」」 馬鹿は論理が理解できないから権威に盲従する http://rio2016.5ch.net/test/read.cgi/math/1592654877/488
489: 132人目の素数さん [sage] 2020/08/24(月) 17:53:52.69 ID:RdW5LUtD >>481 そこタオとかイアンとかどうでもいいな 要するに実数の公理を否定して超実数の公理を立てたら0.999≠1といってるだけ コーシーフィルターを否定してウルトラフィルタを採用したら0.999≠1といってるだけ それ、連続体仮説の非決定性と全然違うな むしろ、選択公理の下で非可測集合が存在するという話に対して 「選択公理を捨てて決定性公理を使えば実数上の全ての集合がルベーグ可測」 というような話 選択公理を前提した話を否定するのに、選択公理を否定するのは馬鹿素人 (いっとくが、選択公理を否定する決定性公理の無矛盾性とか無関係) http://rio2016.5ch.net/test/read.cgi/math/1592654877/489
490: 132人目の素数さん [sage] 2020/08/24(月) 17:55:35.07 ID:RdW5LUtD >>482 そもそも蕎麦の超実数理解が間違ってる 超準自然数の桁を考えるから馬鹿になる そんなもの超実数の定義には出てこない 定義を読め 定義を読まずに妄想したらセタと同じ大馬鹿野郎になるぞ http://rio2016.5ch.net/test/read.cgi/math/1592654877/490
491: 132人目の素数さん [sage] 2020/08/24(月) 18:03:19.82 ID:RdW5LUtD 蕎麦はセタ同様に粗雑な素人のようだ 蕎麦は素人でもわかるライトストーンの超実数が タオのウルトラフィルターによる超実数と同じだと 勝手に決めつけてるが、実は全然違う しかもその後のイアン・スチュアートの例とも全然つながってない (イアン・スチュアートの例はライトストーンとはつながってるようだが確証はない) http://rio2016.5ch.net/test/read.cgi/math/1592654877/491
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.106s