[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (981ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
373: 2021/06/19(土)10:40 ID:dMVF6Ao+(12/51) AAS
Well-defined
外部ﾘﾝｸ:ja.wikipedia.org
数学におけるwell-defined（ウェル・ディファインド）は、
「定義によって一意の解釈または値が割り当てられる」
ことを言う。
374: 2021/06/19(土)10:41 ID:dMVF6Ao+(13/51) AAS
ある定義がwell-definedであるのは
以下の二命題が示されたときである。
375: 2021/06/19(土)10:41 ID:dMVF6Ao+(14/51) AAS
命題１：実際に成立する
（定義で）示された表式が成立しない場合、well-definedであるとは言えない。
376: 2021/06/19(土)10:42 ID:dMVF6Ao+(15/51) AAS
命題２：経由する中途の表式に依存しない
往々にして、（数学上の）定義はいくつもの表式を経由する。
このとき、最終的な結論が中途の表式に依存している場合、
well-definedであるとは言えない。
377: 2021/06/19(土)10:47 ID:dMVF6Ao+(16/51) AAS
>>372
なんか一人発●してる方がいらっしゃいますが
そんなに「維新！」っていわれてムカついたのなら
こう言い返せばよかったのに
「なんですか？トミファさん」
378(1): 2021/06/19(土)10:52 ID:dMVF6Ao+(17/51) AAS
>>179
＞インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つことか
Iとして任意の半順序集合を取る場合、
数学における上昇列は上記の条件を満たすが
逆は正しくないので不十分
379(1): 2021/06/19(土)10:58 ID:dMVF6Ao+(18/51) AAS
>>179
＞I={0, …, ω}から
そもそもインデクス集合として{0, …, ω}をとった時点でオウンゴール
ｘ＜ωとなるｘ∈Ｉで、最大のものがある？ ないよね？ だから、ダメ
<列の意味を理解してないから、そういう間違いをやらかす
380(1): 2021/06/19(土)11:02 ID:MYDkk4us(1/2) AAS
>>357
危険だからAIつきのロボットにやらせるというのは
もはや常識になっていると思っていましたが
その意味では廃炉は挑戦しがいのある課題では？
381(1): 2021/06/19(土)11:02 ID:H9G4VwdL(2/4) AAS
>>378
「数学における上昇列」とは？
>>379
「<列」の定義があなたとこちらでは違うという話だな
曖昧な単語で結論づけてしまったことに落ち度があるということで落ち着いてる
382: 2021/06/19(土)11:02 ID:dMVF6Ao+(19/51) AAS
まとめ
・ID:H9G4VwdLさんはwell-definedが分かってない
・ID:IxFCR29aさんはそもそも匿名掲示板が分かってない
匿名掲示板でアイデンティティを主張するくらい、バカなことはありません
しかもそのアイデンティティがバカ丸出しだったら、もう救いようがありません
383(7): 2021/06/19(土)11:08 ID:dMVF6Ao+(20/51) AAS
>>381
＞「数学における上昇列」とは？
０からはじめて、より大きい順序数をその都度選ぶ、
というプロセスをつづけることです
＞「<列」の定義があなたとこちらでは違うという話だな
いえ、数学界とあなた一人で違うということです
私ではなく数学界
あなたのいう「こちら」に数学界はありません
あなた一人です
＞曖昧な単語で結論づけてしまったことに
省9
384: 2021/06/19(土)11:12 ID:dMVF6Ao+(21/51) AAS
まとめ
「０からより大きな順序数を選んでいって
どの順序数もωより小さい無限列が構成できる」と
「ωからより小さい順序数を選んでいったら
かならず有限回で０に至る」は
全く矛盾しませんよ
♪なんでだろーなんでだろーなんでだなんでだろー
385(2): 2021/06/19(土)11:13 ID:IxFCR29a(3/20) AAS
>>368
>＞では聞く 「元の定義」を書いてください
>すでに十分書かれてるようですが
>全く理解できませんでしたか？
スレ主です
おサルは、数学科出身だったよね
誤魔化しにかかっているよね（＾＾
数学では「定義」の確認は、きほんの”き”
それができないおサルさん
数学で「定義」を聞かれたのに対して、”十分書かれてるようですが”って、なにそれ？ｗ
省7
386: 2021/06/19(土)11:13 ID:dMVF6Ao+(22/51) AAS
ついでにいうと、
「ノンコンパクトな集合を包含するコンパクト集合が存在する」
というのも全く矛盾ではありません
♪なんでだろーなんでだろーなんでだなんでだろー
387(1): 2021/06/19(土)11:15 ID:dMVF6Ao+(23/51) AAS
>>385
>誤魔化しにかかっているよね
いいえ
>>383で、定義書いてますから 残念！
388: 2021/06/19(土)11:17 ID:dMVF6Ao+(24/51) AAS
>>385
＞即答できないのは、数学のド素人だよ（おれも似たようなものだがｗ
似たようなもの、ではなく、そのものです
ID:IxFCR29aさん あなたは、数学のド素人DEATH！
動画ﾘﾝｸ[YouTube]
389(3): 2021/06/19(土)11:37 ID:H9G4VwdL(3/4) AAS
>>383
数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
とりあえず、あなたの言いたいことはようやく分かった
何かしらの定理や補題が証明できてそれを主張するなら、その側が厳密に述べなければならない
それをせずにツッコまれることこそ数学では当たり前だよ
390(5): 2021/06/19(土)11:39 ID:IxFCR29a(4/20) AAS
>>387
>>>383で、定義書いてますから 残念！
？>>383より
(引用開始)
＞「数学における上昇列」とは？
０からはじめて、より大きい順序数をその都度選ぶ、
というプロセスをつづけることです
＞「<列」の定義があなたとこちらでは違うという話だな
いえ、数学界とあなた一人で違うということです
(引用終り)
省16
391(1): 2021/06/19(土)11:47 ID:AWat3zSx(1/2) AAS
>>380
>危険だからAIつきのロボットにやらせるというのは
>もはや常識になっていると思っていました
危険な実験は下手すると大事故につながる
爆発して建物が吹っ飛ぶこともあり得る
逆に、AIが何らかの化学反応を起こすようなこともあり得る
そういう危険な実験はAIでは出来ない
392(1): 2021/06/19(土)12:03 ID:dMVF6Ao+(25/51) AAS
>>389
＞数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
常識的なことはわざわざ書きませんよ
集合における∈の意味みたいなもんです
あとは数学ド素人のあなたの愚痴なので聞き流します
上下前次1-新書関写板覧索設栞歴
あと 589 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s