[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
1(2): 07/20(日)17:27 ID:JxJPBISF(1/7) AAS
(前“応援”スレが、1000又は1000近くになったので、新スレ立てる)
前スレ:Inter-universal geometry と ABC予想 (応援スレ) 72
2chスレ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chスレ:math
<IUT最新文書>
省25
922: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:34 ID:FFVXfbDV(12/18) AAS
また文学の方に戻るわ。では。
923: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:36 ID:FFVXfbDV(13/18) AAS
必ずしも予後が良いことが大事だろうか。
924: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:37 ID:FFVXfbDV(14/18) AAS
人の予後不良がわからないと。
925: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:38 ID:FFVXfbDV(15/18) AAS
信仰される立場で。
926: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:40 ID:FFVXfbDV(16/18) AAS
精神的に暴力性がないこと、身体的にストイックなこと。
927: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:41 ID:FFVXfbDV(17/18) AAS
理解できるのは俺という古典のものの読者でも限られるだろう。
928: 08/21(木)16:03 ID:m+UPs8Gd(1/13) AAS
クロルプロマジン
929: 08/21(木)16:03 ID:m+UPs8Gd(2/13) AAS
フルフェナジン
930: 08/21(木)16:03 ID:m+UPs8Gd(3/13) AAS
レボメプロマジン
931: 08/21(木)16:04 ID:m+UPs8Gd(4/13) AAS
ハロペリドール
932: 08/21(木)16:04 ID:m+UPs8Gd(5/13) AAS
ピパンペロン塩酸塩
933: 08/21(木)16:04 ID:m+UPs8Gd(6/13) AAS
スルピリド
934: 08/21(木)16:05 ID:m+UPs8Gd(7/13) AAS
アリピプラゾール
935: 08/21(木)16:05 ID:m+UPs8Gd(8/13) AAS
リスペリドン
936: 08/21(木)16:05 ID:m+UPs8Gd(9/13) AAS
ペロスピロン
937: 08/21(木)16:06 ID:m+UPs8Gd(10/13) AAS
オランザピン
938: 08/21(木)16:06 ID:m+UPs8Gd(11/13) AAS
クエチアピンフマル酸塩
939: 08/21(木)16:06 ID:m+UPs8Gd(12/13) AAS
クロザピン
940: 08/21(木)16:08 ID:m+UPs8Gd(13/13) AAS
精神科で診てもらって
薬処方してもらって
飲んでな
ここには書き込まない
ここの書き込みは読まない
いいね ベンツ君
941(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)16:16 ID:FFVXfbDV(18/18) AAS
精神科は終え神経科ですが。
942(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:26 ID:/FwGOxIP(1/3) AAS
ふっふ、ほっほ
∩を使わない ”無限集合Iから自然数を抽出する”があるでよ(下記)
なんか、言っていることが、グダグダ
下記を百回音読してねw ;p)
(参考)
外部リンク:ja.wikipedia.org
無限公理
省34
943: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:28 ID:/FwGOxIP(2/3) AAS
>>941
死狂幻調教大師S.A.D.@月と六ベンツ さん
スレ主です
いつもありがとうございます。
今後ともどうかよろしくお願いいたします。
944: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:29 ID:/FwGOxIP(3/3) AAS
次スレ立てた
ここが終わったら 次へ
2chスレ:math
Inter-universal geometry と ABC予想 (応援スレ) 74
945(1): 08/22(金)00:47 ID:EqzHJSfS(1/8) AAS
>なんか、言っていることが、グダグダ
自分が理解できないといつもグダグダと言うね君
946: 08/22(金)02:39 ID:EqzHJSfS(2/8) AAS
グダグダって口先で言ってゴマカすのは具体的指摘が一切できないおまえの得意技だもんなw
947: 08/22(金)06:39 ID:DmmS/CLT(1/2) AAS
>>945
>自分が理解できないといつもグダグダと言うね君
◆yH25M02vWFhP は三歳児
>グダグダって口先で言ってゴマカすのは
>具体的指摘が一切できないおまえの得意技
集合論の基礎も分かってないから
∀x(x∈W↔∀I(Φ(I)→x∈I)) と
省4
948: 08/22(金)07:15 ID:DmmS/CLT(2/2) AAS
また国粋高卒サルが性懲りもなくクソスレ立てたので
しつこく指導書き込みしてやったぞ 感謝しな
動画リンク[YouTube]
949: 08/22(金)08:45 ID:lLXfWi3o(1) AAS
>>942
>ふっふ、ほっほ
homo?
950: 08/22(金)08:46 ID:pREzy93p(1/7) AAS
>∩を使わない方法があるでよ
∩が嫌い? ていうか、名古屋人? 河村たかし?
951: 08/22(金)08:47 ID:pREzy93p(2/7) AAS
>なんか、言っていることが、グダグダ
自嘲?
952: 08/22(金)08:49 ID:pREzy93p(3/7) AAS
>百回音読してね
声に出すことで満足したら
中身が理解できないままだよ
953: 08/22(金)08:51 ID:pREzy93p(4/7) AAS
>無限集合Iから自然数を抽出する
>無限集合Iはすべての自然数を含んでいるが。
>自然数全体が集合となることを示すために、…不要な要素を取り除いて、残った集合Nが自然数全体からなる集合である。
>この集合は…一意である。
そうだよ
意味わかってる?
954: 08/22(金)08:52 ID:pREzy93p(5/7) AAS
>自然数を抽出するために、どの集合が自然数であるかを定義する必要がある。
>外延性の公理とaxiom of induction(英語: epsilon-induction)のみから
>自然数を定義することが可能である。
意味わかってる?
955: 08/22(金)08:55 ID:pREzy93p(6/7) AAS
>Φ(x)を「xは帰納的である」という論理式、つまり、
>(∅∈x∧∀y(y∈x→(y∪{y}∈x))) とする。
この論理式、日本語で書けるかい?
「xは空集合φ(={})を要素にもち、かつ、xの任意の要素yに対して、yと{y}の和集合y∪{y}もxの要素である」
これ、できないと、数学の教科書、読めないよ。
できてる?君
956: 08/22(金)08:58 ID:pREzy93p(7/7) AAS
>おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。
そうだね。で、なぜ
「すべての帰納的な集合の共通部分をとる」と
「不要な要素を取り除る」のか、わかる?君
957: 08/22(金)09:03 ID:qkcuzqcJ(1/3) AAS
>形式的に書くと、次のような集合Wが一意に存在することを示したい。
>∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I)) (*)
どうぞ、ご随意に
できる?君
958: 08/22(金)09:05 ID:qkcuzqcJ(2/3) AAS
>存在については、無限公理と分出公理を使って証明する。
どうぞ、ご随意に
できる?君
959: 08/22(金)09:06 ID:qkcuzqcJ(3/3) AAS
>Iを無限公理によって保証された帰納的集合とする。
一行で終わり。
無限公理に関するところがこれだけって、わかる?君
960(1): 08/22(金)09:12 ID:EqzHJSfS(3/8) AAS
>>942
>W′を別の帰納的集合とすると
は間違い。
実際、{{{}}}∈W' なら W≠W' だから、W'が帰納的集合というだけでは W=W' は言えない。
「∀x(x∈W'↔∀I(Φ(I)→x∈I)) とすると」
に修正すれば正しい。
なぜならWが帰納的集合だから、∀x(x∈W'⇒x∈W) すなわち W'⊂W が言え、∀x(x∈W↔∀I(Φ(I)→x∈I)) からWとW'を入れ替えて同じことが言えるから。
省1
961: 08/22(金)09:16 ID:93kwSQ78(1/4) AAS
>分出公理を使って集合
>W={x∈I:∀J((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈J)}
>を取り出す。
>つまりWはIの要素のうち、あらゆる帰納的集合に含まれているものを集めてきた集合である。
>明らかにWは
>∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I))(*)
>を満たす。
省5
962: 08/22(金)09:18 ID:93kwSQ78(2/4) AAS
>一意性については、
>∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I)) (*)
>を満たす集合はそれ自体帰納的集合であることに注意する。
そうだね
何故だか分かる?君
963: 08/22(金)09:20 ID:93kwSQ78(3/4) AAS
>なぜなら、0はすべての帰納的集合に含まれているし、
>xがすべての帰納的集合に含まれているとすると、
>その後続x∪{x}もすべての帰納的集合に含まれている。
そうだね
これでいいって分かる?君
964: 08/22(金)09:25 ID:EzerkUp9(1/3) AAS
>W′を別の帰納的集合とすると、
>Wが帰納的であるため
>W′⊆Wが成り立ち、
>W′が帰納的であることから
>W⊆W′も成り立つ。
>よってW=W′。
>>960の指摘の通り
省13
965: 08/22(金)09:29 ID:EzerkUp9(2/3) AAS
>この集合をωと書く。
>この定義は数学的帰納法を容易に導けるため便利である。
ところで、ωが標準的な自然数しか含まない、と言い切れる?
つまり、ナイーブに
{},{}∪{{}},{}∪{{}}∪{{}∪{{}}},…
を任意有限回繰り返したものだけが要素となる集合だといえる?
Yes or No?
966: 08/22(金)09:32 ID:EzerkUp9(3/3) AAS
まあ、ゲーデルの不完全性定理を知ってれば分かることだけど
標準的自然数だけを含む集合を、帰納的な公理系で定義するのは・・・無理(笑)
「無限回の繰り返し」なんてナイーブなことをいっちゃう人は
ゲーデルの不完全性定理に反してるんだよね(嘲)
967(1): 08/22(金)10:25 ID:EqzHJSfS(4/8) AAS
>>942
>この集合をωと書く。
>この定義は数学的帰納法を容易に導けるため便利である。
これ何故か分かるかい?
P(n)をω上の命題関数、Sを後者関数、0:={}としたとき、数学的帰納法の条件節は P({})∧∀n∈ω(P(n)→P(S(n)))、帰結節は ∀n∈ω(P(n)) と書ける。
P(n)の真理集合 {n∈ω|P(n)} をTと書くと、条件節を仮定したとき {}∈T∧∀n∈ω(n∈T→S(n)∈T) すなわちTは帰納的集合。
Tはωの部分集合、且つωはあらゆる帰納的集合に含まれるから T⊂ω ∧ ω⊂T、すなわち T=ω、すなわち {n∈ω|P(n)}=ω、よって数学的帰納法が成り立つ。
省1
968: 08/22(金)10:40 ID:EqzHJSfS(5/8) AAS
自然数はペアノの公理で定義される。
ωが数学的帰納法(及びペアノの公理の残りの公理)を満たすから定義によりωが自然数全体の集合と言えるんだよ。
決して ω={0,1,2,・・・} だからではない。そもそも 0,1,2,・・・ が何者かZFは何も語っていない。
オチコボレは根本から分かってない。
969: 08/22(金)10:43 ID:93kwSQ78(4/4) AAS
>>967
それが、956の
>なぜ
>「すべての帰納的な集合の共通部分をとる」と
>「不要な要素を取り除る」のか
の答え
しかし、一方では、{}から始めて、順々に要素を追加していった結果、
省3
970: 08/22(金)10:59 ID:EqzHJSfS(6/8) AAS
>そもそも 0,1,2,・・・ が何者かZFは何も語っていない。
逆なんだよ。
ωが自然数全体の集合であることが示されたから、その元に
{}:=0,{}∪{{}}:=1,{}∪{{}}∪{{}∪{{}}}:=2,…
と別名を与え、それで初めて 0,1,2,・・・ が何者か定まるんだよ。
ωを{0,1,2,・・・}で定義したら循環論法になることが分からない?
オチコボレはいつも循環論法やらかすね。実数の構成でも和集合の定義でも整列可能定理でもやらかした。数学を根本から分かってない。
971: 08/22(金)11:14 ID:vKEk5VA3(1/2) AAS
◆yH25M02vWFhPトンデモ発言集
75
>素朴集合論では 自然数N={0,1,2,・・・}
97
>無限集合Iから… Iの部分集合として
>帰納的集合たる 自然数のN={0,1,2,,・・・} を 抽出する
111
省15
972: 08/22(金)11:17 ID:vKEk5VA3(2/2) AAS
「上限の無い 有限集合」って何すか?
限界の無い有限?
精神、大丈夫?
973: 08/22(金)11:32 ID:EqzHJSfS(7/8) AAS
「0.999・・・は桁数上限の無い有限小数」とか言ってた愚かすぎるど素人(安達何某)と同じで無限が分かってない
いや、彼は分かったうえで否定してたのか? だとしたらどこぞのオチコボレより賢いねw
974: 08/22(金)12:27 ID:Os76lbrK(1/2) AAS
有限=上限がある、という意味なので
「上限のない上限のある小数」だと
「上限はあるの?ないの?どっち?!」
ってなるよな?
◆yH25M02vWFhP 精神、大丈夫?
975: 08/22(金)12:28 ID:Os76lbrK(2/2) AAS
安達某が正確に何を言ったか知らないが
彼はいかなる小数にも桁の終わりがある
と考えてたっぽい気がする
976(1): 08/22(金)19:42 ID:QsO2RxxQ(1/5) AAS
無限小数0.999…は1では無い
1に収束しないって言ったんだよ
977: 08/22(金)19:45 ID:QsO2RxxQ(2/5) AAS
テレンス・タオの0.999…999…9に引っ掛けてたのが蕎麦氏だったと思う
安達氏は0.999…≠1
978(1): 08/22(金)19:47 ID:QsO2RxxQ(3/5) AAS
そして君は1に収束するって説を支持してる。
無限性ゆえに必ず1に収束する、と
979(1): 08/22(金)19:52 ID:QsO2RxxQ(4/5) AAS
安達氏はその無限性を加算無限と非可算無限でどこまでも細分化できるから決して1には収束しないって言ったんだよ
どこまでも無限に細分化して滑らかな数の連続がやがて1に収束するという考え方を受け付けなかった
980: 08/22(金)19:52 ID:QsO2RxxQ(5/5) AAS
不思議だね
981: 08/22(金)21:16 ID:EqzHJSfS(8/8) AAS
安達の主張
0.999・・・は桁数の上限が無い有限小数で、時に0.9だったり時に0.99だったり時に0.999だったり・・・する。だから1ではない。
背景にある思想
1.実無限は存在しない。例えば無限集合や無限小数は存在しない。0.999・・・は無限小数ではない。
2.0.9,0.99,0.999,・・・の極限は1だが、0.999・・・は0.9,0.99,0.999,・・・の極限ではない。
彼は(可能無限は認めるが)実無限を頑なに認めなかった。どうしようもなく頭が固い。
またケーキは食べきれない、なぜならケーキを半分に切ってひとつ食べ、残りを半分に切ってひとつ食べ、・・・の繰り返しに終わりは無いから、とも言っていた。ゼノンのパラドックスやな。
982: 08/23(土)09:02 ID:XQOxXTSd(1/13) AAS
>>976
「無限小数0.999…は1では無い」と
「無限小数0.999…1に収束しない」は違うけど
0.999…を数列だと考えないなら
「無限小数0.999…1に収束しない」は意味を持たないけど。
983: 08/23(土)09:08 ID:XQOxXTSd(2/13) AAS
>>978
>そして君は1に収束するって説を支持してる。
>無限性ゆえに必ず1に収束する、と
君が誰だか知らんけど
0.999…とは
0.9,0.99,0.999,…
という数列のこと
省13
984(1): 08/23(土)09:12 ID:XQOxXTSd(3/13) AAS
>>979
>滑らかな数の連続がやがて1に収束するという考え方
数学ではそんな狂った考え方を全く採用していない
カントールは有理数のコーシー列の同値類を実数と定義した
つまり、
収束先とかいう妄想を完全に排除した
無限性とかいう妄想を完全に排除した
省1
985(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)09:12 ID:KYsCHIBD(1/4) AAS
>>975-981
ありがとう
その無限小数の話は面白いね
下記の ja.wikipedia が、良く纏まっている
1)まず、無限小数展開の存在を認めるか否か?
2)無限小数展開の定義として
a)いくらでも繰り返せるが、無限小数の存在を認めない(無限操作を認めない)
省20
986: 08/23(土)09:19 ID:XQOxXTSd(4/13) AAS
>安達の主張
> 0.999・・・は桁数の上限が無い有限小数で、時に0.9だったり時に0.99だったり時に0.999だったり・・・する。
「桁数の上限が無い」が嘘。
上限はある。決まってないだけ。
日本語を正しく使えない奴は、数学を正しく理解できない。
>背景にある思想
>1. 実無限は存在しない。例えば無限集合や無限小数は存在しない。0.999・・・は無限小数ではない。
省7
987(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)09:23 ID:KYsCHIBD(2/4) AAS
>>985 補足
>社会人レベルは 上記1),2)のa)〜c) は、立場の違い
>というか、その場そのときで、適切に選んで良いということだね
>牛刀を用いてニワトリを割くがごとく いつも牛刀を持ち出す必要は無い
下記の”無限公理 独立性”
『無限公理の否定もまた、ZFCが無矛盾であるかぎり、ZFCのほかの公理からは導けない(これは他の公理たちが無矛盾ならば、ZFCも無矛盾であると言うに等しい)。よってZFCは無限公理もその否定も導かず、どちらとでも両立する』
ですね
省10
988: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)09:30 ID:KYsCHIBD(3/4) AAS
>>985 補足
>分数による証明
>/3 を小数表示すると、小数点以下の位は全て 3 であることを利用する。
>0.333・・・=1/3
有理数1/3 が、巡回小数表現を持つことは、小学生レベルだろう
だが、これを 極限だの なんだのと グダグダしい説明をする必要はない!
それは、小学生向けのみならず 大学生向けでも同じ
省3
989: 08/23(土)09:33 ID:XQOxXTSd(5/13) AAS
>>985
>無限小数の話は面白いね
無限小数が何だか、分かってない高卒 ◆yH25M02vWFhP にはね
>まず、無限小数展開の存在を認めるか否か?
無限小数展開とは、有限小数の無限列である
そして有限小数の無限列とは、自然数から有限小数への写像である
これを認めないなら、大学の数学を認めないってことだ
省31
990: 08/23(土)09:35 ID:XQOxXTSd(6/13) AAS
>>985
>0.999… = 1 という関係(または類似の関係)が
>正しいと教えることは一つの課題となっている
これはカントールの実数論の定義なので
受け入れないなら、大学の微分積分学の単位はとれない
宗教の強制? そうかもしれんね
いやなら大学をやめて、高卒のままでいるこった
省1
991: 08/23(土)09:39 ID:XQOxXTSd(7/13) AAS
>>985
>社会人レベルは
>上記1),2)のa)〜c) は、
>立場の違いというか、その場そのときで、
>適切に選んで良いということだね
社会人として認められたいなら、
2)のb)を受け入れるしかない
省2
992: 08/23(土)09:44 ID:XQOxXTSd(8/13) AAS
>>987
2)のb)も認めるが
2)のc)も別の考え方として認める、というのはあり
超準解析とはそういうもの
ただ、2)のb)を認めない、というのは、
カントールの実数の定義を否定するので、奇人
そういうこと
993: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)09:46 ID:XZ6J116Y(1/2) AAS
しかし俺は株や為替みたいな金融経済が専門だからとはいえ数学の先鋭も興味深く通読している。読むのに時間かからない。
994: 死狂幻調教大師S.A.D.@月と六ベンツ 08/23(土)09:47 ID:XZ6J116Y(2/2) AAS
株価だってこの掲示板に反応して上がっていないか。素晴らしい。
995: 08/23(土)09:53 ID:XQOxXTSd(9/13) AAS
>有理数1/3 が、巡回小数表現を持つことは、小学生レベルだろう
小学生はわけもなく信じているだけで、論理を理解してるわけではない
論理を理解するとは、どういう前提によるかを理解するということ
高卒の君も小学生レベル
>だが、これを 極限だの なんだのと グダグダしい説明をする必要はない!
理屈を「グダグダしい」といって理解したがらない君は、大人になれない皮カムリ
だから大学を卒業できない 永遠の高卒
省16
996: 08/23(土)09:58 ID:XQOxXTSd(10/13) AAS
無限小数が、無限個の桁の数がすべて記載された存在物だと思う奴は、
大学1年の微分積分の単位が取れず、大学を退学することになる
無限小数が、自然数nから、n桁までの有限小数への写像、と考え
実数を有理コーシー列の同値類と考えれば
数列の操作によって、等号がなりたつかどうかの判定ができる
無限操作?まったく必要ない
できもしないことをできる、とするのは●違い
省4
997: 08/23(土)10:02 ID:XQOxXTSd(11/13) AAS
大学数学におけるもっとも狂った見解
「数学者は無限操作を実行する魔術師である」
んなこたぁない
そんなことをしなくてもすむように
論理によって前提が設定されているのである
このことを理解せず
「論理なんてめんどうだ
省4
998: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)10:11 ID:KYsCHIBD(4/4) AAS
>>984
>カントールは有理数のコーシー列の同値類を実数と定義した
>つまり、
>収束先とかいう妄想を完全に排除した
>無限性とかいう妄想を完全に排除した
多分違うよ
あなたの受けた 1980年代の日本の数学科は、そういう厳密病の教育だった気がする
省25
999: 08/23(土)10:17 ID:XQOxXTSd(12/13) AAS
>カントールは無限小数展開を結構多用している気がする
>極限だの収束だの へったくれを いう必要なし!
カントールがトンデモ扱いされるとは(笑)
>>111
>N:={0,1,2,・・・} は、
>無限公理の部分集合を経由しないと
>あくまで 上限の無い 有限集合でしかない
省2
1000: 08/23(土)10:19 ID:XQOxXTSd(13/13) AAS
◆yH25M02vWFhP
迷わず地獄に墜ちるがよい
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 33日 16時間 52分 26秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.029s