[過去ログ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
136
(3): 132人目の素数さん [sage] 2017/08/03(木) 13:41:22.63 ID:Zd4Pd/o1(1/8) AAS
>>134
ピエロくん、おとなしいね〜(^^
追い打ちをかけておくよ

ピエロくんパロディーその1:「フェルマーの最終定理が否定されるなら、選択公理が否定される」
ピエロくんパロディーその2:「ゴールドバッハの予想が否定されるなら、選択公理が否定される」

これをいずれも、私が言ったとしたら?
皆さんの予想コメントされるコメントは、下記

予想コメントその1:「選択公理が分かってないね、おまえ」
予想コメントその2:「ゴールドバッハの予想を証明してから言え! おまえ」

さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・
フェルマーの最終定理やゴールドバッハの予想との違いは? 分かりますか?

分かんねーだろうね
ピエロくんの頭じゃね(^^

(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理

https://ja.wikipedia.org/wiki/%E3%82%B4%E3%83%BC%E3%83%AB%E3%83%89%E3%83%90%E3%83%83%E3%83%8F%E3%81%AE%E4%BA%88%E6%83%B3
ゴールドバッハの予想とは、次のような加法的整数論上の未解決問題の一つである。
全ての 2 よりも大きな偶数は二つの素数の和として表すことができる[1]。
137: 132人目の素数さん [sage] 2017/08/03(木) 13:45:50.15 ID:Zd4Pd/o1(2/8) AAS
>>136 訂正

皆さんの予想コメントされるコメントは、下記
 ↓
皆さんの予想されるコメントは、下記
150
(7): 132人目の素数さん [] 2017/08/03(木) 18:45:07.67 ID:CCJ/JfvG(6/8) AAS
>>136
>追い打ちをかけておくよ
また>>1のオウンゴールかw

「箱入り無数目」の箱の中身予想の情報はどこから得られる?
選んだ一列の同値類の代表列だろ?

で「絶対に予想できない」という場合

1.そもそも代表列がとれない
2.代表列はとれるが、決定番号が
  必ず自分が予想したい箱の先にあるから
  箱の中身と代表列の情報が一致するとは限らない

のいずれかでなければならない

で、もし「同値類の代表列はとれる」と認めるなら
「決定番号が必ず自分の予想したい箱の先にある」
とはいえないよ

「予想できない」と言い張るんなら
1.に全てをかけるしかないわけ

あのね、これは>>1の面目のためにいってやってるんだぜ
どうせ考えも無しに口からデマカセいったんだろ?
そのくせ面目にこだわる小人物だから引っ込みがつかないんだろ

だから「選択公理なんか認めない」っていって
終わっちまえっていってやってんだよ 
どうせ数学のスの字も分かんないんだろ?
悪いいこといわないから そうしろよ
537
(4): }現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 06:27:40.90 ID:bM/5YfPT(3/18) AAS
>>528の補足説明
 >>136に戻る
引用>>136より
”さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・
フェルマーの最終定理やゴールドバッハの予想との違いは? 分かりますか?
分かんねーだろうね
ピエロくんの頭じゃね(^^”

<補足説明>
1.まず、「3.1 集合(ベン図)による説明」 http://yama-taku.science/mathematics/logic-and-sets/converse-inverse-and-contraposition/ 論理と集合の基本5|「逆,裏,対偶」と対偶の利用 合格タクティクス 2015.12.20 >>524 を見て下さい
2.全体集合Uとして、ZFC公理系が成り立つ”宇宙 (数学)”とする。選択公理Cは当然U全体で成り立つ。∵公理だから当然。
3.整列可能定理の適用範囲も、U全体だ。従って、整列可能定理の否定は、つまり、ベン図で言えば、Uの否定つまりUの外あるいは、Uの内なら空集合だ
4.こういう場合に、「整列可能定理が否定されると、選択公理が否定される」は言えるのだ
5.が、フェルマーの最終定理やゴールドバッハの予想は、そうではない。時枝記事もそうではない!!(^^

https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
(抜粋)
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙(うちゅう、英: Universe)とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
目次 [非表示]
1 ある特定の文脈において
2 通常の数学
3 集合論
4 圏論
5 関連項目
(引用終り)
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.431s*