Inter-universal geometry と ABC予想 (応援スレ) 76 (206ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
91: 10/11(土)00:08 ID:lPtR1Iej(1/16) AAS
>>88
じゃあ
>しかし、群は 公理で扱うのはちょっとねぇ〜（＾＾
はトンチンカンってことじゃん
92: 10/11(土)00:19 ID:lPtR1Iej(2/16) AAS
>>65
>でも二階論理で健全かつ完全な実効的推論できる？
"彼"はそもそも健全性・完全性の定義から分かってないのでしょう
99: 10/11(土)08:25 ID:lPtR1Iej(3/16) AAS
>>97
>1）下記 ja.wikipedia 連続体濃度 「実数の全体 Rは自然数の全体 N の冪集合の元と同じ数の元をもつ」
> これを、百回音読しよう
>|2^N|=|R|(>>39) が読めないの？ 言語障害？ 病院行きなよ
102: 10/11(土)08:43 ID:lPtR1Iej(4/16) AAS
>>97
>”補題8.5 f：Ω→（0,1]は全単射である.したがって、すべてのx∈[0,1]は無限小数によって一意的に表される”
>のPDF全文を百回音読しよう！ ；ｐ）
つまり
>そこから 冪P(N)=2^N で、連続濃度集合Rができる（>>39）
が間違いってことじゃんｗ 馬鹿ですか？
105: 10/11(土)08:51 ID:lPtR1Iej(5/16) AAS
>>97
>まあ、お主は 基本的なことの理解が スッポリ抜けているぞｗ （＾＾
それが君。
なぜなら「無限小数全体の集合が実数の公理を満たすことの証明」からシレっと逃げてるから。
基本的なことの理解がスッポリ抜けてないなら即答できるはずだろ？
114: 10/11(土)09:26 ID:lPtR1Iej(6/16) AAS
>>103
アホなこと言ってないで>>58を理解できるまで読め
理解できるまでおまえはレス禁止 アホに発言権は無い
115: 10/11(土)09:32 ID:lPtR1Iej(7/16) AAS
>>113
>>この式 "|2^N|=|R|∧2^N≠R"なｗ
>濃度 (数学)、Cardinalityを根本的に誤解している・・
ではその根本的誤解とやらの内容を具体的に述べよ
負け惜しみで口から出まかせに言ってないなら述べられるはず
117: 10/11(土)09:39 ID:lPtR1Iej(8/16) AAS
>>107
君、頭おかしいの？
118: 10/11(土)09:42 ID:lPtR1Iej(9/16) AAS
>>108
口から出まかせにアホなこと言ってないで以下を読め
外部ﾘﾝｸ:ja.wikipedia.org
二階述語論理には、いくつかの推論体系があるが、standard semantics に対して完全と言えるものは存在しない。
120: 10/11(土)09:49 ID:lPtR1Iej(10/16) AAS
>>110
>つまり、基礎論を離れた 実際の数学の場面では空集合φから組み立てるのは あまりに迂遠だ
なんで都度組み立て直すこと前提なんだよｗ 一回組み立てられることが示されたら十分だろｗ
おまえはいつも同じことを口にするがまったくナンセンスなんだよ
121: 10/11(土)09:49 ID:lPtR1Iej(11/16) AAS
>>110
>つまり、基礎論を離れた 実際の数学の場面では空集合φから組み立てるのは あまりに迂遠だ
なんで都度組み立て直すこと前提なんだよｗ 一回組み立てられることが示されたら十分だろｗ
おまえはいつも同じことを口にするがまったくナンセンスなんだよ
132: 10/11(土)11:42 ID:lPtR1Iej(12/16) AAS
>>129
無限小数全体の集合が実数の公理を満たすことの証明はまだ？
なんで逃げるの？
142: 10/11(土)20:12 ID:lPtR1Iej(13/16) AAS
ヒルベルトの夢をゲーデルが粉砕した
143: 10/11(土)20:14 ID:lPtR1Iej(14/16) AAS
>>140
>ε計算か・・・
一階述語論理も分からない縁なき衆生には無縁
144: 10/11(土)20:17 ID:lPtR1Iej(15/16) AAS
古典を賞賛するのに大学の教科書を蔑ろにするのはなぜ？
145: 10/11(土)20:22 ID:lPtR1Iej(16/16) AAS
>数学でも 名著と言われる古典は あって、それは 勉強や理解の深みを増す意味で、読む価値はあると思うよ
と、ど素人が申しております
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s