[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
841: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)08:43 ID:snc5ukVk(11/21) AAS
無限イキ狂いか、有限イキ狂いか。というとこか。
842: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)08:44 ID:snc5ukVk(12/21) AAS
狂い咲きは西行。
843: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)08:45 ID:snc5ukVk(13/21) AAS
別にどっちでもいいじゃん。苦手な苦しい方。
844: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)08:46 ID:snc5ukVk(14/21) AAS
隠喩に込めた性欲の問題では。
845: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)08:47 ID:snc5ukVk(15/21) AAS
さあどうなるんですかね朝から。
846(1): 08/20(水)10:42 ID:fv7TbqJr(1) AAS
>>819
ブンゲン、メンタルピクチャー教の教祖になる（笑）
自らを健全だという奴ほど、不健全なものはない（嘲）
ブンゲンの主張は、まったく反駁不可能であるがゆえに、
まったく科学的でなく不健全極まりない
このような不健全なカルト宗教を盲信狂信する
高卒◆yH25M02vWFhP も不健全である
省4
847: 08/20(水)10:57 ID:zvxRP59z(1) AAS
>>820
＞君は、数学的思考が理解できないらしいな
高卒 ◆yH25M02vWFhP は論理的思考ができない
>「無限操作なんてものは実行できない」か 笑える
有限操作を無限操作と誤解する高卒 ◆yH25M02vWFhP こそ笑える
有限と無限の区別もできんのか？
＞数学は あくまで思念の産物であって、頭の中で考えるものだ
省24
848: 08/20(水)11:06 ID:zV8Ap9ho(1/2) AAS
826 ＞初学者や未経験を馬鹿にするより筋道をつけてやれよ。
述語論理を勉強しなよ、と筋道をつけてやってる。
827 >ちゃんとスカウト育成しろ。
828 >数学する人が減ってしまうよ。
誰も数学しなくても人類は滅びない。
逆に皆数学ばっかりやりだしたら人類滅びそう（笑）
829 >ただでさえ女子は特に人材才能不足なのに。
省10
849: 08/20(水)11:16 ID:C+cqd7md(1/2) AAS
>>836
>無限公理の”メンタルピクチャー”が欠落している
>集合の制限なしの無限操作を認めると、ラッセルのパラドックスなどが起きる
>一方、無限操作を一切認めないと 不便。
>というか カントールの無限集合論に 公理として到達できない
>そこで、制限された集合の無限操作として 無限公理をおいた
>もう一つは、選択公理による無限操作
省19
850: 08/20(水)11:24 ID:N6uHb292(1/3) AAS
ブンゲンのメンタルピクチャー教の最も不健全な点は
「メンタルピクチャー」とかいう正解があると
勝手に決めつけてる点である
神は存在する、と決めつけるくらい不健全である（笑）
微分積分はある意味不健全な動機に基づいた思考を
ありとあらゆる屁理屈で正当化しようとした理論である
人は生きるために動物を食わねばならず
省6
851(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/20(水)11:45 ID:n7uBTsIt(1/5) AAS
>>820
(引用開始)
外部ﾘﾝｸ:de.wikipedia.org
Unendlichkeitsaxiom
(google英訳)
Infinity axiom
Natural numbers
省38
852(1): 08/20(水)12:17 ID:bAHCyJ5t(1/3) AAS
>>851
＞”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”なる式
＞おれは、こんな式訳分からんぞ
どこがどうわけわからんの？
山ほどあるAの部分集合
{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
の共通集合じゃん
省4
853(1): 08/20(水)12:25 ID:VJZ/zbMe(1) AAS
>>851
＞記号∩が、公理から直接導けないので 公理の裏付けが不明確
∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}って、
∀v.x.x⊂A＆∅∈x∧∀y[y∈x→y∪{y}∈x]＆v∈x⇒v∈B
となるようなB(⊂A)のことでしょ？
Aの存在は無限公理から示せる
でもAが最小とは限らない
省3
854(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/20(水)13:45 ID:n7uBTsIt(2/5) AAS
>>846
(引用開始)
ブンゲン、メンタルピクチャー教の教祖になる（笑）
自らを健全だという奴ほど、不健全なものはない（嘲）
ブンゲンの主張は、まったく反駁不可能であるがゆえに、
まったく科学的でなく不健全極まりない
(引用終り)
省33
855: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/20(水)13:45 ID:n7uBTsIt(3/5) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
素朴集合論
外部ﾘﾝｸ:en.wikipedia.org
Naive set theory
Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language.
Sets are of great importance in mathematics; in modern formal treatments, most mathematical objects (numbers, relations, functions, etc.) are defined in terms of sets. Naive set theory suffices for many purposes, while also serving as a stepping stone towards more formal treatments.
省12
856: 08/20(水)14:58 ID:zV8Ap9ho(2/2) AAS
>>854
＞メンタルピクチャー教の反対が、厳密教だろうか
形式論理主義(formal logicism)な 実に左翼的だろ（笑）
＞1980年の中頃まで 日本では 厳密教 全盛だった気がする
君が大学の一般教養の数学で落第したのが1980年の中頃か（笑）
実際の数学者はそれほど形式論理に通じていたとは思えないが
数学の正当性の根拠は最終的に形式論理によるという信仰は
省27
857: 08/20(水)15:12 ID:C+cqd7md(2/2) AAS
＞数学の研究者にとっては，数学は，
＞記号列として記述された「死んだ」数学ではなく，
＞思考のプロセスとしての脳髄の生理現象そのものであろう
＞したがって，数学はその意味での実存として
＞数学者の生の隣り合わせにあるもの，
＞と意識されることになるだろう
＞そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
省30
858: 08/20(水)15:20 ID:N6uHb292(2/3) AAS
∞とかいう数を考えて
（1+1/∞）^∞を直接計算したら
ｅが求まるとかいうなら苦労はない
そうならないんだから
∞みたいな数をデッチあげ
∞回みたいなものを直接実行しようと
バカチョン思考するのは無駄
859: 08/20(水)15:27 ID:bAHCyJ5t(2/3) AAS
(1+i/n)のべき乗を計算して、何回目でそれが第三象限に入るか
その回数mとnの比は、nが大きくなるにつれてどう変化するか
そこから円周率が見えてくる
まあ、せっかちな人は第二象限に入るところまで見て
mとnの比の二倍を見ればいいけどな
このくらいは高校数学の範囲
まあ、高卒 ◆yH25M02vWFhP はここがゴールだろう
省2
860(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)15:30 ID:snc5ukVk(16/21) AAS
2の数学なんて頭がくさるほど阿呆になるから読まないほうがいいんじゃないの。永遠にね。
861: 08/20(水)15:31 ID:bAHCyJ5t(3/3) AAS
高卒 ◆yH25M02vWFhP が云ってることって
ぶっちゃけ ひろゆきの
「実数は存在するけど、虚数は存在しないよね」
と同レベルの戯言である（笑）
862: 08/20(水)15:34 ID:N6uHb292(3/3) AAS
>>860
２とは１こと◆yH25M02vWFhPをバカにする俺のことかい？
じゃ、おベンツはさしずめ３だな（笑）
３は俺様２のいうことが理解できないのが悔しくて阿呆よばわりするのだろうが
俺様２にいわせればおベンツ３は正真正銘の●違い（笑）
永遠に黙れ 統失
863: 08/20(水)16:18 ID:FFMsJxNV(9/16) AAS
>>851
出たああああああああああ ∩恐怖症ｗ
>記号∩が、公理から直接導けないので 公理の裏付けが不明確
はい、大間違いです。
任意の集合Xに対して ∩X:={x∈∪X|∀y∈X(x∈y)} だから、分出公理、和集合の公理から直接導けますけど？（実は和集合の公理を使わない定義も可能）
こんな簡単なことの何を理解できないのか知らないが、君が理解できないからって言いがかりをつけない方が良い。世界は自分中心に回ってるとの誤解が許されるのは3歳まで。
864(1): 08/20(水)16:27 ID:FFMsJxNV(10/16) AAS
>>852
>何がどう分からんのか、ここで言ってくれる？
>>853
>何がどうわからんの？
∩の添え字範囲が書かれてないから分からないんだと
いやそもそも {x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられた集合族ではないから添え字範囲自体が意味を為さない教えてあげたのにどうしても納得しないんだよね
超絶バカでしょ？ｗ
865(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/20(水)16:34 ID:n7uBTsIt(4/5) AAS
>>681
>整列可能定理の証明の方法で可算集合Xの整列順序を作るには選択関数f:2^X-{}→Xが必要。且つ|2^X-{}|は非可算。よって可算選択公理は役に立たない。
>一方で全単射g:N→Xが存在するからg(0)<g(1)<・・・で整列順序<を定義可能。（よって整列可能定理の証明の方法を取る必要が無い。よっていかなるタイプの選択公理も不要。）
中高一貫生も来る可能性があるので、赤ペン先生をしておく
まず
(参考)>>671-672より再録
１）下記 可算選択公理 Axiom of countable choice ACω は
省25
866(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/20(水)16:34 ID:n7uBTsIt(5/5) AAS
つづき
Another example is the set of proper and bounded open intervals of real numbers with rational endpoints.
ZF+ACω suffices to prove that the union of countably many countable sets is countable. These statements are not equivalent: Cohen's First Model supplies an example where countable unions of countable sets are countable, but where ACω does not hold
外部ﾘﾝｸ:en.wikipedia.org
Axiom of dependent choice
In mathematics, the axiom of dependent choice, denoted by
DC, is a weak form of the axiom of choice (AC) that is still sufficient to develop much of real analysis. It was introduced by Paul Bernays in a 1942 article in reverse mathematics that explores which set-theoretic axioms are needed to develop analysis.[a]
省26
867(2): 08/20(水)16:39 ID:FFMsJxNV(11/16) AAS
おそらく論理がチンプンカンプンな彼には {x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} が読めないってことじゃないかな。
「Aの部分集合で帰納的であるもの全体の集合」としか読み様が無いんだがね。
添え字範囲が書かれてないから不明確と言いがかりつけてくるのは「レベルが違い過ぎると会話が成立しない」の好例。
868: 08/20(水)16:43 ID:FFMsJxNV(12/16) AAS
>>854
出たああああああああああ 厳密恐怖症ｗ
869: 08/20(水)16:44 ID:FFMsJxNV(13/16) AAS
てか、こいつが理解できないのは厳密だからではなく、そもそも初歩の初歩から分かってないから
だから厳密であることを忌避するのはまったくの筋違い
870: 08/20(水)16:47 ID:FFMsJxNV(14/16) AAS
こいつは初歩の初歩から分かってないことをごまかすため大量にコピペする悪癖がある
ごまかすくらいならそもそも数学板に来なければいいだけなのにまったく奇特な野郎だ
871: 08/20(水)17:17 ID:Zt1/xG1a(1) AAS
哲学めっちゃ弱そうだな
このスレのクソ頭悪いIUT派
なんか中卒レベルじゃね
872(1): 08/20(水)17:23 ID:FFMsJxNV(15/16) AAS
>>865
>１）下記 可算選択公理 Axiom of countable choice ACω は
> ”Application of ACω yields a sequence (Bn) n∈N ”
> つまり ω長さの sequence (Bn) n∈N を作る能力がある
はい、大間違いです。
ACωを使えば可算族Anから代表系を取れると言っている。
君、数学だけじゃなく英語も全然ダメだね。
省2
873: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)18:10 ID:snc5ukVk(17/21) AAS
イスラム数学の異端は相当ユダヤを討ち取っていかないと成功しないだろう。
874: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)18:12 ID:snc5ukVk(18/21) AAS
協力する用意がなくもないが。
875: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)18:16 ID:snc5ukVk(19/21) AAS
ムハンマドやハディージャのように生きた証を残さないと。戦って。
876: 08/20(水)19:24 ID:St25m8FT(1) AAS
君が >>75 や >>742 で引用したTaoだって
厳密な基礎があるからこそ直観を使えるって言ってるよ！
数学では当然のことだね！
＞The “post-rigorous” stage, in which one has grown comfortable
＞with all the rigorous foundations of one’s chosen field, and
＞is now ready to revisit and refine one’s pre-rigorous intuition
＞on the subject, but this time with the intuition solidly buttressed
省4
877: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)20:28 ID:snc5ukVk(20/21) AAS
純粋数学のようなものより社会学の下に束ねられる医療など経済学に勝機がある。
878: 死狂幻調教大師S.A.D.@月と六ベンツ 08/20(水)20:31 ID:snc5ukVk(21/21) AAS
先進理工早稲田、一文早稲田でゲームとシナリオ作って教育社会早稲田が管理師範、世界を変えてく世界と変わることだってできるさ。
879: 08/20(水)21:45 ID:FFMsJxNV(16/16) AAS
厳密さの裏付けが無いならなんちゃらピクチャーはゴミでしかないのにね
880: 08/21(木)00:26 ID:LISQrQEJ(1/14) AAS
>>866
>１）いま、例示として 自然数N={0,1,2,・・}を取る
> それを 素直に 整列させて 0,1,2,・・ とすれば 下記の順序数でいうところの列長さωになる
> これは、可算選択公理 ACω で可能
> ところが、もし 偶数を先に全部並べて後 奇数を並べると
> 0,2,4,・・・、1,3,5,・・・ となる。これは列長さω + ωであるから
> 可算選択公理では 一度には無理
省10
881: 08/21(木)00:31 ID:6BZd354e(1) AAS
説明責任をはたさず
批判者の誹謗中傷と陰謀論に逃げたのが尊師の限界でしょ
882: 08/21(木)00:32 ID:LISQrQEJ(2/14) AAS
>>865
>ACωはω長さのsequenceを作る能力がある
まったくのデタラメ
数学も英語もダメダメなオチコボレが勝手読みして妄想してるだけ
883(1): 08/21(木)06:50 ID:PuT7+w5i(1/9) AAS
>>864
>∩の添え字範囲が書かれてないから分からないんだと
{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} なる集合全体だろ
これ分からないって言語分からんってこと
◆yH25M02vWFhP は国語からやりなおせ
884(2): 08/21(木)06:54 ID:PuT7+w5i(2/9) AAS
>>867
>論理がチンプンカンプンな彼には
>{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
>が読めないってことじゃないかな。
>「Aの部分集合で帰納的であるもの全体の集合」
>としか読み様が無いんだがね。
「Aの部分集合で、空集合を要素とし、任意の要素yに対してy∪{y}も要素とするもの」
省3
885: 08/21(木)07:00 ID:LISQrQEJ(3/14) AAS
>>883
>{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} なる集合全体だろ
そう、つまりAに含まれている帰納的集合全体。
>これ分からないって言語分からんってこと
言語障害だからね。
886: 08/21(木)07:02 ID:PuT7+w5i(3/9) AAS
>>867
>添え字範囲が書かれてない
集合{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}は１つではない
それらの全てに対して∩をとればいい
具体的には
∀u⊂A,v∈A.(({}∈u＆(x∈u⇒x∪{x}∈u))＆v∈u)⇒v∈B
なるAの部分集合B
省1
887(1): 08/21(木)07:04 ID:LISQrQEJ(4/14) AAS
>>884
あ、君、帰納的集合知らないんだ
だからバカ語だの訳も分からず言い換えしてるだのに見えるんだね？
888: 08/21(木)07:04 ID:PuT7+w5i(4/9) AAS
小賢しい受験秀才が大学の数学で落ちこぼれる最大の理由は
「数学書に書かれてることをそのまま読むのをめんどうくさがって
なんか勝手に”ぼくのかんがえたさいこうのりかい”をでっち上げようとして
ジャングルに入ったまんま、出てこれなくなること」
書いてある通り読め
それが基本
基本ができない奴はなにもやってもダメ
889(1): 08/21(木)07:07 ID:PuT7+w5i(5/9) AAS
>>887
＞あ、君、帰納的集合知らないんだ
そういうことではなくて、まっさきに言い換えしようとする◆yH25M02vWFhPがバカ、ってことよ
知ってる人が言い換えするのは構わない
知らん奴が言い換えるのは自爆
そういうこと
わかる？
890(1): 08/21(木)07:09 ID:LISQrQEJ(5/14) AAS
>>884
>空集合を要素とし、任意の要素yに対してy∪{y}も要素とするもの
を帰納的集合と云うんだよ。だから {x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は
>Aに含まれている帰納的集合全体
になる。
>訳も分からず言い換えしてる
訳も分からず批判してる。
891(1): 08/21(木)07:12 ID:PuT7+w5i(6/9) AAS
無限級数の値を無限回の和と読み替えるのはバカ
無限級数の値は有限和からなる数列の極限
無限小数はそれ自体無限和になってると思うのが小賢しい高卒バカ
無限小数は有限小数からなる数列の極限
そして実数は有理コーシー列の同値類なのだから
無限小数は有限小数（もちろん有理数）からなる数列（コーシー列）の属する同値類
１＝０．９９９・・・というのは、両者が同じ同値類に属するという意味
省2
892(1): 08/21(木)07:12 ID:LISQrQEJ(6/14) AAS
>>889
>まっさきに言い換えしようとする◆yH25M02vWFhPがバカ、ってことよ
？？？
彼は別に言い換えしようとしてはいないと思うけど
添え字範囲の記述が無いから不明確とかバカ発言はしてたけど
まあどうでもいいけど
893(1): 08/21(木)07:15 ID:PuT7+w5i(7/9) AAS
>>890
＞空集合を要素とし、任意の要素yに対してy∪{y}も要素とするもの
＞を帰納的集合と云うんだよ。
帰納的である＝空集合を要素とし、任意の要素yに対してy∪{y}も要素とする
という言い換えをしてることは分かるよ
言ってるのは、ただ訳も分からず漫然と言い換えするとバカになる、ってこと
＞訳も分からず批判してる。
省1
894(1): 08/21(木)07:17 ID:PuT7+w5i(8/9) AAS
>>892
>>まっさきに言い換えしようとする◆yH25M02vWFhPがバカ、ってことよ
>？？？
>彼は別に言い換えしようとしてはいないと思うけど
ん？彼がいったんじゃなくて、君がいったの？
要するに、君、「彼がいった」と嘘ついたの？
895(1): 08/21(木)07:19 ID:PuT7+w5i(9/9) AAS
＞添え字範囲の記述が無いから不明確
添え字範囲が読み取れない高卒◆yH25M02vWFhPがバカ ってことでこの話は終わりな
バカの話をしてるとオレもオマエもバカになるよ
896: 08/21(木)07:40 ID:LISQrQEJ(7/14) AAS
>>891
>１＝０．９９９・・・というのは、両者が同じ同値類に属するという意味
R上の１も０．９９９・・・も有理コーシー列全体の集合X上の同値類（X/〜の元）だろ
X上の同値類である１にQ上のコーシー列1,1,1,・・・が属す。
X上の同値類である0.999・・・にQ上のコーシー列0.9,0.99,0.999,・・・が属す。
1,1,1,・・・−0.9,0.99,0.999,・・・＝0.1,0.01,0.001,・・・が0に収束するからこれらは同値。よってX上の同値類として１＝０．９９９・・・
897: 08/21(木)07:41 ID:LISQrQEJ(8/14) AAS
>>894
>要するに、君、「彼がいった」と嘘ついたの？
何言ってんだかさっぱり
898: 08/21(木)07:42 ID:LISQrQEJ(9/14) AAS
>>893
>なに狂ってるの？ 君、中卒？
誰彼かまわず中卒に見えるのは病気だよ 病院行った方が良い
899(1): 08/21(木)07:46 ID:LISQrQEJ(10/14) AAS
>>895
>添え字範囲が読み取れない高卒◆yH25M02vWFhP
いや添え字範囲が読み取れないんじゃなく、そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
にもかかわらず添え字範囲が書かれてないとかクレーム付けてるのが超絶バカ。
900(1): 08/21(木)09:25 ID:9AZwSd2X(1/3) AAS
>>899
＞そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
添え字の有無にこだわるな
共通集合の対象が{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}の全体
これが読み取れない◆yH25M02vWFhPが馬鹿
ということでこのスレ終了 お疲れサマンサ
901(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:21 ID:7NN/U5QB(1/3) AAS
>>872-882
ふっふ、ほっほ
>>866の補足をしておく
１）まず 下記の従属選択公理
全域二項関係 R を利用して
『列 (xn)n∈N を全ての n∈N に対して xnRxn+1 であるように取れる』としている
つまり、出来る列の長さは ω
省28
902(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:21 ID:7NN/U5QB(2/3) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
Axiom of dependent choice
Relation with other axioms
It is possible to generalize the axiom to produce transfinite sequences. If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.
＜仏版のgoogle英訳＞
外部ﾘﾝｸ:fr.wikipedia.org
省26
903: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)11:38 ID:FFVXfbDV(1/18) AAS
デスパレス神戸 死神の都さ。
904(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:45 ID:7NN/U5QB(3/3) AAS
>>900
(引用開始)
＞そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
添え字の有無にこだわるな
共通集合の対象が{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}の全体
これが読み取れない◆yH25M02vWFhPが馬鹿
(引用終り)
省37
905: 08/21(木)12:34 ID:VOoIKstu(1) AAS
>>904
z inductive ＝ ∅∈z∧∀y[y∈z→y∪{y}∈z] だから
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x] と
N:={x∈I∣∀z(∅∈z∧∀y[y∈z→y∪{y}∈z] ⟹ x∈z)} は
同じ
＞集合積∩の記号は 素朴集合論では 2項演算として導入され 添え字集合族に対して拡張されるのが一般的だろ
物を知らぬ白知の妄想が一般的なわけないだろ
省1
906: 08/21(木)13:17 ID:LISQrQEJ(11/14) AAS
>>901
>２）次に Axiom of countable choice (可算選択公理)
> "That is, given a function A with domain N (where N denotes the set of natural numbers) such that
> A(n) is a non-empty set for every n∈N, there exists a function f with domain N such that f(n)∈A(n) for every n∈N."
> この場合も 『 f(n)∈A(n) for every n∈N』で 出来る列の長さは ω だが、全域二項関係 Rは使えない
任意の可算集合Xに対し全単射f:N→Xが存在するから自明な整列順序 f(0)<f(1)<・・・ が存在する。すなわちXは自明に整列集合。
YがXを含む（X⊂Ｙ）なら、写像g:Y→Yを以下で定義すれば、g(Y)はYの真部分集合（Y=g(Y)∪{f(0)}）で、全単射h:Y→g(Y),h(y)=g(y) が存在するからYはデデキント無限。
省8
907: 08/21(木)13:47 ID:LISQrQEJ(12/14) AAS
>>902
>説明で " f ( n ) ∈ A ( n ) for all n ∈ N"に触れていないからダメ
「任意の無限集合がデデキント無限であることなどが証明できる」と、証明できる事しか述べてないのに証明の内容の一部が無いからダメとトンチンカンな言いがかりつけるおまえがダメ
908: 08/21(木)14:07 ID:LISQrQEJ(13/14) AAS
>>904
>口先でゴマカソウとしてないか？
それ、おまえの得意技
>・ここで 自然数 N:={x∈I∣∀z(z inductive ⟹ x∈z)} と スッキリ
なにがスッキリだよｗ おまえ「inductiveは数学的帰納法で、数学的帰納法を無限回実行できると言っている」とか超絶アホ発言した事もう忘れたの？
>記号∩が、公理から直接導けないので 公理の裏付けが不明確
そのアホみたいな言いがかりは大間違いであることを親切丁寧に教えてやったのにぜんぜん理解できんかった？ レベルが違い過ぎると会話が成立しないの好例ｗ
省13
909: 08/21(木)14:12 ID:LISQrQEJ(14/14) AAS
>>904
おまえさ、初歩の初歩からぜんぜん分かってないことをいいかげん自覚しろ
無自覚に不用意に口開いた結果間違いだらけになってんだよ
少しは恥を知れよ恥知らず
910: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)14:40 ID:FFVXfbDV(2/18) AAS
管理栄養士なんかはいい仕事だけど。宗教の戒律を守った食事。しかし病院は疲弊しているな。助けないと。クリニック勤務で。
911: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)14:41 ID:FFVXfbDV(3/18) AAS
数学者になる道があるならな。
912: 08/21(木)14:52 ID:9AZwSd2X(2/3) AAS
ベンツは失せろ
913: 08/21(木)14:52 ID:9AZwSd2X(3/3) AAS
ベンツは統失治せ
914: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:24 ID:FFVXfbDV(4/18) AAS
クライエント診てもいいけど治療の敷居は高いよ。
915: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:25 ID:FFVXfbDV(5/18) AAS
破天荒な方が成功するだろう。
916: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:27 ID:FFVXfbDV(6/18) AAS
治すということは状態がレベルアップしなきゃいけない。精神医療の駄目なとこや嫌なことは知っている。
917: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:29 ID:FFVXfbDV(7/18) AAS
治すよりは一般社会に背を向けて出家でもするほうが早い。
918: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:30 ID:FFVXfbDV(8/18) AAS
出家とその弟子は超えたが。親鸞の。
919: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:31 ID:FFVXfbDV(9/18) AAS
死神と修道士を両立するような。
920: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:32 ID:FFVXfbDV(10/18) AAS
将来は修道院や神社でも経営するさ。
921: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:33 ID:FFVXfbDV(11/18) AAS
おしゃれで美食じゃないとな。
上下前次1-新書関写板覧索設栞歴
あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s