[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
40(1): 10/10(金)00:00:21.09 ID:yQyjZawx(1/19) AAS
>>33
>なので、「無限公理あり」のみが 実質的に
>冪P(N)=2^N → 連続濃度集合Rが 構成できる ってことだ
しかしZF-Infinityのモデルで連続体濃度集合が存在するようなものの存在を否定できない。なぜならZFが無矛盾なら連続体濃度集合の存在とZF-Infinityは矛盾しないから（仮に矛盾するとしたらZFが矛盾していることになる）。
62: 10/10(金)16:57:30.09 ID:MvpWPYvj(1/6) AAS
>>56
＞数学では、証明できて 初めて定理を名乗れるが
＞証明なし かつ 反例反証なしなら ”ｘｘ予想”と呼ばれる
Aも、¬Aも証明できないと分かれば、
A（と¬A）は決定不能命題と呼ばれる
ZFCにおける連続体仮説
ZFにおける選択公理(AC)
がいい例
「成り立つと思われるけど証明されてない」のが予想
「成り立つモデルもあれば成り立たないモデルもある」のが決定不能命題
省3
133: 10/11(土)11:44:25.09 ID:BRlCdX9j(20/24) AAS
>>131
＞君は、ガロア第一論文を読んでないだろ
＞私は 読んだ
でも何が何だかチンプンカンプンだった、と
悪いけど、意味ないな（バッサリ）
＞ガロアは 第一論文で 群の定義を与えていないが
＞当時の論文としては 良かったし 内容も問題なしだ
＞（扱ったのは、置換(群)という具体的なもの）
最後の行で、（群）と書いたのが君の無理解ぶりを表している
個々の置換だけ具体的に見ても全然わかるわけがない
省8
206: 10/12(日)11:50:58.09 ID:Vx13olwY(14/14) AAS
>>205
だからダメなんだよお前は。第三者の目から見てもなんとか相手の上から目線で話したいという気持ちにあふれかえってる文章さらけだしといて自分でそれに気づいてないか、もしくはそんな自分の人格的なみっともなさを「あえてみえないふりして」話をつづける厚顔無恥さ。それがお前の人格破綻でありお前の無能さのすべての原因なんだよ。
まぁお前はどんなにがんばっても一生この便所の落書きで天然の無能さをさらけだすだけの能無し人生でおわるやろけどな
468: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/16(木)20:50:00.09 ID:eZW98GbJ(2/4) AAS
>>465-466
ありがとう （＾＾
612(1): 10/19(日)18:32:47.09 ID:BroAvXfY(4/4) AAS
>>521
目次を書いてどうするんでしょう
703(3): 10/23(木)17:21:46.09 ID:DrfhhjAK(3/3) AAS
>>701
>無限公理なしの場合、無限集合Nは存在せず
仮にそれが正しいとしたら、ZFから無限集合の存在とその否定の両方が証明できる、すなわちZFが矛盾していることになる
793(1): 10/28(火)09:34:47.09 ID:IVAxJxVj(1) AAS
>>792
まあ、そんな計算芸しか覚えられないサルでも
グレブナー基底を求めるブッフバーガーアルゴリズムは分かるし
それがわかるなら、例えば任意の多項式ｆに対して
Ｐ（ｓ）ｆ^(ｓ＋１)＝ｂ（ｓ）ｆ＾ｓ
となるような微分作用素Ｐ（ｓ）とｂ（ｓ）も求められる
（なんでそうなるかとかいう理屈抜きで）
ま、そんな計算芸を覚えるだけで
数学できた気分になれて嬉しいなら
いくらでもその手の邦書読んで
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.110s*