Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
228(2): 08/26(火)08:14 ID:v2xfVefA(1/23) AAS
{}に要素を１つずつ付け加えて無限集合である帰納的集合を作ることを考える。
無限回の付け加えが終了して帰納的集合Xが出来上がったと仮定する。
最後に付け加えられた要素をxと書くとXはx∪{x}を持たないからXは帰納的集合ではない。
矛盾が導かれたから仮定は偽。よって無限回の付け加えは終了しない。
234: 08/26(火)11:20 ID:v2xfVefA(2/23) AAS
>>231
>極限順序数は、「後続順序数でない順序数」である。１つずつ付け加えるという順序数の操作では 到達できないのは当然
まさにそれこそが無限操作なるものが存在しない証拠じゃん
自分で自分を否定してて草
236: 08/26(火)11:50 ID:v2xfVefA(3/23) AAS
>>231
>無限操作で ”最後の操作”とか考えるのは、おろかだよ。
要素を1つずつ追加して無限集合が出来上がったなら、1つずつの追加が完了したのだから、最後の追加があるはず。
対偶で、最後の追加が無い（＝君の意見）なら、要素を1つずつ追加して無限集合が出来上がることはない。すなわち無限操作は不可能。
つまり「無限操作は不可能」が君の意見。完全に自己矛盾ｗ
237: 08/26(火)12:01 ID:v2xfVefA(4/23) AAS
オチコボレくんの主張こそがオチコボレくんの持論「無限操作は可能」を否定しているのに、それすら分からない発狂ぶりで草
243(1): 08/26(火)12:22 ID:v2xfVefA(5/23) AAS
あれほど無限操作は可能と言い続けたんだから極限順序数をきっぱり否定して欲しかった
しかしなぜかそこだけは標準数学に迎合してしまうオチコボレくんだったとさ
245: 08/26(火)13:01 ID:v2xfVefA(6/23) AAS
>>244
何が言いたいの？
246(1): 08/26(火)13:04 ID:v2xfVefA(7/23) AAS
>>244
>結論を言えば，ゼノンの議論は，それ自身の中に自己矛盾を内蔵する，誤った命題の表明にすぎないことが判明する
何がどう判明したのか、もちろん君は分かって引用したんだよね？ じゃあ説明してみて
249: 08/26(火)13:08 ID:v2xfVefA(8/23) AAS
>>244
文字列検索したらこんなんでてきました、が許されるのは幼稚園児までな
いい歳したおっさんなら何を言わんとして引用したのか説明してごらん
259: 08/26(火)14:26 ID:v2xfVefA(9/23) AAS
>>250
多角的になんちゃらすんのは君の勝手だけど、結局何が言いたいの？
無限操作は取り下げるの？ 取り下げないの？ どっちなの？ 理由は？
260: 08/26(火)14:28 ID:v2xfVefA(10/23) AAS
>>252
ほんそれ
262: 08/26(火)14:31 ID:v2xfVefA(11/23) AAS
>>254
>無限操作の定義によるが・・ｗｗ
>現代数学としては可能でしょ？！ｗｗｗ ；ｐ）
じゃあ無限回の足し算の定義書いて
書けもしないのになんで可能と言うの？ 頭おかしいの？
268: 08/26(火)14:52 ID:v2xfVefA(12/23) AAS
と、高校生に負けるオチコボレがほざいております
285: 08/26(火)16:06 ID:v2xfVefA(13/23) AAS
>>281
>”σ-代数”下記だね（演算を可算無限回まで含めて順序完備（英語版）化したもの）
はい、嘘八百です。
可算無限和（積）は可算無限回の和（積）ではない。
任意の集合 X に対して、
和∪Xとは、X の要素の要素全体からなる集合。
積∩Xとは、X のどの要素も共通に持つ要素全体からなる集合。
省1
286(1): 08/26(火)16:09 ID:v2xfVefA(14/23) AAS
>>281
そういえば、箱入り無数目で 国語オチコボレさんで、箱入り無数目の標本空間が有限集合であることも読み取れない人が居たね ；ｐ）
304(2): 08/26(火)19:23 ID:v2xfVefA(15/23) AAS
>>302
> つまり、可算無限しばりをやめて 可算以上の添字集合を使う（実無限）
>”操作は有限に限る”とか、寝言は寝て言え■
君、頭大丈夫？
添え字集合が有限だろうと可算無限だろうと非可算無限だろうと、無限操作なるものが存在するなんの証拠にもなってないことが分からないの？
さっき∪Xは任意の集合Xに対して定義されていると教えてあげたよね？ 当然Xは非可算集合でもよいんだよ Xが非可算無限集合のとき∪Xは非可算無限回の∪演算ではなく1回の∪演算。Xの元に適当に添え字を割り当てて∪[I]Xとしても同じこと。
君さあ、いいかげんに妄想で語るのやめない？ 勉強しないで語るから妄想に走るんだよ なんでそんなに勉強嫌いなの？
305(1): 08/26(火)20:48 ID:v2xfVefA(16/23) AAS
>そもそも述語論理の限量子∃、∀を定義するのに、
>∨と∧の無限回適用なんかしてない
オチコボレのための超親切レクチャ
Xは無限集合とする。∧[x∈X]P(x) は無限回の∧演算結果か？
否
下記同値変形が可能であることが述語論理において定義されている。
∧[x∈X]P(x)⇔∀x∈X:P(x)
省5
308(2): 08/26(火)22:29 ID:v2xfVefA(17/23) AAS
>>306
>三階建で、3階が日常の数学、2階が素朴集合論、1階が公理的集合論だ
はい、大間違いです。
内包公理を素朴集合論は認め、公理的集合論は認めません。すなわち互いに相容れません。レイヤの違いとの理解はまったくの誤解です。
初歩の初歩から分かってないね。なんで勉強しないの？ なんでそこまで勉強嫌いなの？
309(2): 08/26(火)22:32 ID:v2xfVefA(18/23) AAS
>内包公理を素朴集合論は認め、公理的集合論は認めません。すなわち互いに相容れません。
実際、集合{x|¬x∈x}が、素朴集合論では存在し、公理的集合論では存在しないので、両者に互換性はありません。
310(2): 08/26(火)22:53 ID:v2xfVefA(19/23) AAS
>>306
>3階の日常の数学で 何か無限操作を考えるとき
>それを 2階の素朴集合論 なり 1階の公理的集合論に翻訳できれば
>その日常の数学の無限操作は許されるのだよ■ ；ｐ）
無意味。
無限回の足し算なるものを無限級数で定義して「無限回の足し算は可能」と主張したところでただただ無意味なだけ。それと同じ。
311(2): 08/26(火)22:59 ID:v2xfVefA(20/23) AAS
>>306-307
君、なんとかピクチャー大好きだね
でも無意味だね
だって君、口を開けば間違いだらけじゃん なんとかピクチャー全然役に立ってないじゃん
312(2): 08/26(火)23:12 ID:v2xfVefA(21/23) AAS
別になんとかピクチャーはあっても良いが、君の場合妄想でピクチャー描くからむしろ害になってる
さっきも素朴集合論と公理的集合論はレイヤの違いと妄想して間違ったピクチャー描いてたことがめくれたよね
書かれてることを書かれてる通りに理解せず勝手読みして妄想する悪癖治さないと数学は一ミリも習得できないよ
314: 08/26(火)23:51 ID:v2xfVefA(22/23) AAS
>>313
>？ 数学科生だって？ そりゃ 君 ”有限主義”やってれば 数学科ではオチコボレは必定だよｗ ；ｐ）
オチコボレは口を開けば間違いだらけの君
なんとか主義ガーなんとかピクチャーガーと言い訳しても無駄
316: 08/26(火)23:58 ID:v2xfVefA(23/23) AAS
>>313
>下記同値変形が可能であることが述語論理において定義されている。
>∧[x∈X]P(x)⇔∀x∈X:P(x)
>∨[x∈X]P(x)⇔∃x∈X:P(x)
君、これ知らなかったでしょ 大の勉強嫌いだもんね
勉強嫌いがなんとか主義ガーなんとかピクチャーガーと吠えたところでただただ空虚なだけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s