20/01/03 21:50:22.94 ivt0JCXh.net
>>938
いや、
スレの定義>>1とハンドルネームに”雑談”と入れてあるから（＾＾；
IUT（の雑談）も、このスレの守備範囲だよ
1072:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/03 21:57:29.87 ivt0JCXh.net
>>939 参考
URLﾘﾝｸ(ja.wikipedia.org)
圏論
(抜粋)
歴史
一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。
他の分野への影響
これの応用として関数型プログラミングの理論および領域理論がある。
これらは全て、ラムダ計算の非構文的な記述として適用されたデカルト閉圏を背景としている。
圏論的言語を用いることで、関連する分野が厳密に、（抽象的な意味で）何を共有しているのかを明らかにすることができる。
1073:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/03 23:18:24.04 ivt0JCXh.net
>>939
追加補足
逆数学： IUTに”どの程度の集合存在公理が必要かを問う”べし
URLﾘﾝｸ(ja.wikipedia.org)
数理論理学
集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。
現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。
圏論の分野では多くの形式公理的方法を用いる。それには圏論的論理（英語版）の研究も含まれる。しかし圏論は普通は数理論理学の下位分野とは見做されない。
圏論の応用性は多様な数学の分野に亙っているため、ソーンダース・マックレーンを含む数学者らは、集合論とは独立な数学のための基礎体系としての圏論を提案している。
これはトポスと呼ばれる古典または非古典論理に基づく集合論の成す圏に類似の性質を持つ圏を基礎に置く方法である。
URLﾘﾝｸ(ja.wikipedia.org)
再帰理論
(抜粋)
再帰理論は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。
数理論理学における再帰理論の研究者がよく扱うのは、この記事で触れる相対的な計算可能性、還元性の概念、次数構造などである。
これらは、計算機科学における計算可能性理論が、計算複雑性理論、形式手法、形式言語などを主な研究対象とすることと対照を成す。これら二つの研究コミュニティには知識と手法の面で重なる部分が多々あり、はっきりした境界を引くことは出来ない。
逆数学
逆数学のプログラムは、二階算術の中の部分体系において、ある定理を証明するのにどの程度の集合存在公理が必要かを問うものである。
この研究は Har
1074:vey Friedman が創始し、Stephen Simpson らが進めた。Simpson（1999）で、これに関する詳細が議論されている。 対象となる集合存在公理は、自然数のべき集合が様々な還元可能性の概念の下で閉じていることを言う公理群とほぼ対応している。
1075:１３２人目の素数さん
20/01/03 23:23:44.68 glmNLmg1.net
>>941
言い訳するな
どうせガロアなんか理解できないんだから捨てろ！
かわりにもっともワケワカランIUTを語れ！！！
1076:１３２人目の素数さん
20/01/03 23:25:49.90 glmNLmg1.net
次スレは
「現代数学の系譜 よもやま雑談 IUT理論を読む80」
にしろ
ガロアの名前は捨てろ！
IUTのほうが誇大妄想狂の貴様にふさわしいｗ
1077:１３２人目の素数さん
20/01/03 23:28:28.94 glmNLmg1.net
ついでにHNも
「現代数学の系譜 雑談 IUT理論を読む」
に変えろ
ガロアの名前は捨てろ！
IUTのほうが誇大妄想狂の貴様にふさわしいｗ
1078:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/03 23:29:11.14 ivt0JCXh.net
>>936 補足
(引用開始)
思うに
「”the ABC Conjecture, and the Szpiro Conjecture for elliptic
curves all follow as special cases of Theorem A. ”
みんな、Theorem Aで証明可能」
ということを、”正しい” と認めさせるべし！！（＾＾
そうすれば、「IUTを勉強しなくちゃ！」という人が増えるよ
(引用終り)
IUTが、the ABC Conjecture, and the Szpiro Conjecture
たちを証明するのに失敗しているとすれば
くその役にも立たないIUTなんて、だれも習熟したいとは思わないだろう
やる気の無い人を、習熟させるなんてことはムリゲーだろう
まず、”やる気”ありきだ
そのためには、いままでのthe ABC Conjecture, とか the Szpiro Conjecture とか
「みんな、Theorem Aで証明可能」ということを
数学業界で認めてもうらうことだよ
それに向けての戦略が
必要でしょう
1079:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/03 23:34:59.95 ivt0JCXh.net
>>946
へへ（＾＾；
「ガロア」はさ、IUTの「宇宙」と同じでさ
キャッチー（下記）なんだｗｗ（＾＾；
俗世間の世事に疎い 数学落ちこぼれの おサルさんには
理解できない
話だよ
URLﾘﾝｸ(kotobank.jp)
コトバンク
キャッチー（英語表記）catchy
大辞林 第三版の解説
（ 形動 ）
人にうけそうなさま。人の注意を引きやすいさま。
出典 三省堂大辞林 第三版
1080:１３２人目の素数さん
20/01/04 05:39:11.78 U3pD+5vK.net
バカ丸出し
1081:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 07:56:19.92 MNiodNk0.net
950になったので、次スレ立てた
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
ｽﾚﾘﾝｸ(math板)
（このスレが終わる前に、次スレを立てて、案内を埋め込むのが綺麗なので（＾＾ ）
1082:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 07:58:12.29 MNiodNk0.net
ここを使い切るか
新しい話題で続きそうな場合は、次スレへ
1083:１３２人目の素数さん
20/01/04 07:59:11.50 YGbyzZoY.net
>>948
>「ガロア」はさ、IUTの「宇宙」と同じでさ キャッチー（下記）なんだ
>>949
>バカ丸出し
ホントにね
IUTと同じく、如何わしさ丸出しのペテン師のくせにねｗ
1084:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 08:01:10.55 MNiodNk0.net
新スレにも書きましたが
今年は、オリンピックイヤーでもあり、IUTワークショップイヤーでもあります。
>>946 みたいなご意見もありますが
私見では、IUTは今年で決着するのではないかと、思っています
良い方向にね
というか、良い方向に決着するように、
周到に準備すべきでしょうね
1085:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 08:02:34.56 MNiodNk0.net
>>952
>IUTと同じく、如何わしさ丸出しのペテン師のくせにねｗ
へへ、>>953な（＾＾；
1086:１３２人目の素数さん
20/01/04 08:09:53.74 YGbyzZoY.net
>>953
>IUTは今年で決着するのではないかと、思っています
>良い方向にね
>良い方向に決着するように、周到に準備すべきでしょうね
・・・とかいいつつ、IUTがトンデモだったら面目丸つぶれだから
自分のスレを「IUT理論を読む」と名付けられないチキンの◆e.a0E5TtKE
安心しろ、IUT以前に、正規部分群の定義と∈と無限の定義で
貴様は勉強嫌いのトンデモ馬鹿野郎であることは露見済み
ゴキブリの貴様に守るべき面目なんかないんだよｗｗｗｗｗｗｗ
1087:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 10:52:55.02 BzkpPjaw.net
>>955
＞・・・とかいいつつ、IUTがトンデモだったら面目丸つぶれだから
そっくりお返しするよｗ(゜ロ゜;
＞自分のスレを「IUT理論を読む」と名付けられないチキンの◆e.a0E5TtKE
IUTなんて、あと半年もすれば帰趨が見えてくるだろう
成立の
＞ゴキブリの貴様に守るべき面目なんかないんだよｗｗｗｗｗｗｗ
それは同意だよ（＾＾
仮に、おサルに守るべき面目があるとしてもねｗ(゜ロ゜;
1088:１３２人目の素数さん
20/01/04 10:59:12.60 YGbyzZoY.net
>>956
＞＞IUTがトンデモだったら面目丸つぶれだから
＞そっくりお返しするよ
要らないよｗ
＞IUTなんて、あと半年もすれば帰趨が見えてくるだろう
素人は数学ってもんが全然わかってないな
俺には面目なんてないよ
トンデモ叩きなんて面目がある奴のすることじゃないｗ
1089:１３２人目の素数さん
20/01/04 11:04:50.57 2EI1YYla.net
おっちゃんです。
>>901
>>「時枝先生、それ間違っているんじゃないですか」と考えることは、全く”正しい”数学の態度です（＾＾；
時枝記事を視覚化して、◆e.a0E5TtKEがよくいうように直観的に考えることは出来るが、
時枝記事を正しく視覚化して直観的に考えないと、間違う。
私が見る限りでは、◆e.a0E5TtKEは時枝記事を正しく視覚化して直観的に考えることが出来ていない。
1090:１３２人目の素数さん
20/01/04 11:29:27.32 YGbyzZoY.net
>>958
◆e.a0E5TtKEは無限が全然分かってないからね
「有限列と同じく無限列にも最後の項がある」
とかトンデモなこと平気でいってたしな
「尻尾の同値類全体に共通する尻尾がある」
とかいうこれまたトンデモなこといってた
「Zermelo構成のωは無限重シングルトン…{}…」
「Neumann構成のωの一番右のΦを残せば、Zermelo構成のωが作れる」
とかいうのも同様の誤解なんだな
有限と無限が「全く同じ」だと思ってる
そんなレベルじゃ、数セミの記事読んでも理解できるわけないんだよ
1091:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 11:36:17.33 BzkpPjaw.net
>>959
＞「有限列と同じく無限列にも最後の項がある」
無限列をコンパクト化すれば、最後の項が出来るよ
＞「尻尾の同値類全体に共通する尻尾がある」
無限数列のシッポの同値類でしょ
99/100なんて確率計算できない
それ（できない）を理解するには、極限として、無限数列の「尻尾の同値類全体に共通する尻尾がある」と考えると理解しやすいといっただけ
曲解するな
＞「Zermelo構成のωは無限重シングルトン…{}…」
おまえは結局、極限とかコンパクト化が分かってないんでしょ（＾＾
1092:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 11:43:10.35 BzkpPjaw.net
>>960 補足
＞＞「尻尾の同値類全体に共通する尻尾がある」
あと、数列の尻尾の同値類なんだから
その同値類に属する数列が
s1,s2,s3,・・・
とあれば、みな同じシッポなんでしょ？
それって、ほとんど同値類の定義じゃね？ｗ（＾＾
無限長の数列だから、シッポは無限の先になるけどｗ
1093:１３２人目の素数さん
20/01/04 11:50:10.40 2EI1YYla.net
>>960
いや、有限と無限の区別が付かないと、時枝記事を正しく視覚化して直観的に考えようとしてもこのことをするのは余計難しくなる。
時枝記事を微分積分や測度論で視覚化して直観的に考える方が簡単ではある。
1094:１３２人目の素数さん
20/01/04 12:26:18.83 2EI1YYla.net
Euclid平面 R^2 において、R^2 のx座標が正整数となる点全体に対してx軸に垂直な可算無限本の直線をすべて引く。
そうすると、時枝記事での R^N の同値類の区別は視覚化して直観的に出来るようになる。
1095:１３２人目の素数さん
20/01/04 12:33:47.53 2EI1YYla.net
あとは、測度論を使ってもいいけど、確率を計算するだけ。
時枝記事では有限な確率空間での確率計算になるから、測度論を持ち出すまでもないか。
1096:１３２人目の素数さん
20/01/04 13:36:58.92 2EI1YYla.net
>>963のように時枝記事を視覚化して直観的に考えると、
時枝記事ではファイバーだったかセクションだったかが出て来たと思うが、
ファイバーを考えるときは>>963のような操作後に、
R^2 のy座標が整数となる点全体に対してy軸に平行な可算無限本の直線をすべて引く。
すると、選択公理から、時枝記事での R^N の同値類について、それぞれの代表元は決まる。
このとき、各実数列について、それらの決定番号も一意に決まる。
あとは、時枝記事では確率を求める問題の話になっていたと思う。
1097:１３２人目の素数さん
20/01/04 14:21:29.0
1098:7 ID:YGbyzZoY.net
1099:１３２人目の素数さん
20/01/04 14:25:43.23 YGbyzZoY.net
>>961
＞数列の尻尾の同値類なんだから
＞その同値類に属する数列が
＞s1,s2,s3,・・・
＞とあれば、みな同じシッポなんでしょ？
残念でした 答えは否ｗ
同値類から有限個の列をとってきた場合には共通の尻尾がある
し・か・し
同値類から無限個の列をとってきた場合には共通の尻尾がない場合がある
ヒント：カントルスレの今日の投稿を見よ
＞無限長の数列だから、シッポは無限の先になるけど
うわー馬鹿、ほんと馬鹿ｗ
無限の先なんかねぇよｗ
全ての項が自然数で番号づけられてる
つまり有限ｗ
1100:１３２人目の素数さん
20/01/04 14:28:14.88 YGbyzZoY.net
>>963-965
またこいつはこいつで馬鹿な間違いしでかしてるな
思考力がない馬鹿は数学するな 無駄ｗ
1101:１３２人目の素数さん
20/01/04 14:46:07.62 YGbyzZoY.net
乙が口を出すと 数セミの記事がトンデモに見えるが
実際は、乙もまた記事を正しく読めずに
自分勝手な妄想をくりひろげる
正真正銘の●違いだというだけのこと
1102:１３２人目の素数さん
20/01/04 15:13:41.07 2EI1YYla.net
>>965の
>R^2 のy座標が整数となる点全体に対してy軸に平行な可算無限本の直線をすべて引く。
という書き方というか操作は微妙な表現になっているが、
>R^2 のx座標が1以上の実数となる点全体に対してy軸に平行な非可算無限本の直線をすべて引く。
と書く方がより適切か。
1103:１３２人目の素数さん
20/01/04 15:16:19.81 U3pD+5vK.net
>「時枝先生、それ間違っているんじゃないですか」と考えることは、全く”正しい”数学の態度です（＾＾；
と、共通のしっぽが存在すると言い張る白痴が申しております
1104:１３２人目の素数さん
20/01/04 15:22:08.38 2EI1YYla.net
>>970の訂正：
>>965の
>R^2 のy座標が整数となる点全体に対してy軸に平行な可算無限本の直線をすべて引く。
という行は、(>>970のような訂正ではなく)
>R^2 のx座標が1以上の実数となる点全体に対してx軸に平行な非可算無限本の直線をすべて引く。
に訂正。
この訂正後の操作をすると塗りつぶすようなことをすることになる訳で、それをする必要があるかどうかは微妙だ。
1105:１３２人目の素数さん
20/01/04 15:33:59.08 U3pD+5vK.net
＞無限長の数列だから、シッポは無限の先になるけど
なにこのファンタジー数学ｗ
1106:１３２人目の素数さん
20/01/04 15:34:14.84 2EI1YYla.net
>>969
>乙が口を出すと 数セミの記事がトンデモに見えるが
>実際は、乙もまた記事を正しく読めず
私は◆e.a0E5TtKEとは違って、数セミを買って読んでいない。
ずっと前に時枝記事について書いたことや時枝記事の内容などを探すのに時間がかかった。
1107:１３２人目の素数さん
20/01/04 15:47:48.45 YGbyzZoY.net
>>973
＞＞シッポは無限の先
＞なにこのファンタジー数学
この音楽がかかっちゃうｗ
URLﾘﾝｸ(www.youtube.com)
1108:１３２人目の素数さん
20/01/04 15:53:43.55 9bV7OsfL.net
>>957
俺には面目なんてないよ
トンデモ叩きなんて
面目あるやつがする事じゃない
＊゜。°゜*。°゜(ノД`)°゜。
1109:１３２人目の素数さん
20/01/04 15:55:12.65 9bV7OsfL.net
゜＊。゜。°゜。＊°゜。
1110:１３２人目の素数さん
20/01/04 15:56:52.75 U3pD+5vK.net
>有限と無限が「全く同じ」だと思ってる
そもそも有限と無限が同じなら両者を区別不要、すなわち有限も無限も無いｗ
超限何某を中途半端に聞きかじって妄想を暴走させる◆e.a0E5TtKEw
1111:１３２人目の素数さん
20/01/04 15:57:23.97 9bV7OsfL.net
°*゜。＊。゜°゜。゜゜。*°。
今宵も夜空に星屑たちの囁きが＊*
1112:１３２人目の素数さん
20/01/04 16:13:17.88 YGbyzZoY.net
>>976
＞＊゜。°゜*。°゜(ノД`)°゜。
おまえ、いいヤツだなｗ
1113:１３２人目の素数さん
20/01/04 17:05:23.44 2EI1YYla.net
それじゃ、おっちゃんもう寝る。
1114:１３２人目の素数さん
20/01/04 18:12:05.52 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:20番)
>いまだに理解できないとはバカ過ぎｗ
正規部分群も∈も無限も誤解するくらいだから
数セミの記事を誤解するのも当然
1115:１３２人目の素数さん
20/01/04 18:53:58.98 tpDDJZaU.net
>>981
はやッ！
1116:１３２人目の素数さん
20/01/04 19:31:01.83 YGbyzZoY.net
ホントに寝てるかどうか怪しいよ
以前も寝る寝るいいながらしつこく書き込みしてたし
馬鹿のくせに利口ぶる痛々しい奴
1117:１３２人目の素数さん
20/01/04 19:40:12.66 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:8番)
＞このスレは、半分趣味と遊びのスレと思ってくれ
＞もう半分は、ここはおれのメモ帳だ
上の文章のおかしな点は
「趣味と遊び」と「メモ帳」が
全く別のものとしている点
しかし実際は
「訳も分からず検索した結果をコピペした
メモ帳を作成する行為」こそが
「趣味と遊び」であるから同じことである
したがって今度からこう書きなおすべきだろう
「このスレは全くの趣味と遊びと思ってくれ
これはおれのメモ帳だ」
ついでにいうと、５ｃｈで数学が語れない理由を
「数学記号が使えないから」としているが
実際には論理的思考ができないから
◆e.a0E5TtKE おまえの頭が悪いんだよｗ
1118:１３２人目の素数さん
20/01/04 19:44:35.75 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:10番)
＞「イメージ」～「ビジョン」～「哲学」
こんなことばっかりいってる奴は例外なく妄想家
しかも自分が落ちこぼれの劣等生だという自覚がないｗ
＞ただ単に、厳密性のみを追い求めるのはピエロだ
＞だから、だからおまえは数学で落ちこぼれるんだよ
論理を蔑ろにするゴキブリは
初歩から矛盾して数学で落ちこぼれる
しかも自分が矛盾していること
落ちこぼれることを認めようとしない
正真正銘の●違い
1119:１３２人目の素数さん
20/01/04 19:50:58.78 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:11番)
＞数学は，記号列として記述された「死んだ」数学ではなく，
＞思考のプロセスとしての脳髄の生理現象そのものであろう
脳髄の生理現象全てが数学というわけではないがな
「生きた」妄想の塊 それが◆e.a0E5TtKE
＞「生きた」「実存としての」(existentialな)数学で問題になるのは
＞アイデアの飛翔をうながす(可能性を持つ)数学的直観
妄想の飛翔をうながすナイーブな直感は
「生きた」「実存としての」活動だが
数学には全くつながらないｗｗｗ
＞記号列として記述された「死んだ」数学”で終わらずに
＞自分なりのイメージやビジョンを持つこと
＞佐藤幹夫先生はそんな人だと思うよ
佐藤幹夫も
ナイーブなウソっぱちイメージ・ビジョンに固執するトンデモ野郎
の◆e.a0E5TtKEに「同志」といわれてさぞ迷惑だろうｗ
1120:１３２人目の素数さん
20/01/04 19:53:52.88 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:12番)
＞きちんと検証していないで想像で議論しているだけ
◆e.a0E5TtKE おまえのことだぞｗ
＞勉強不足ですとか、分かっていませんでしたで済まされるものではない
◆e.a0E5TtKE おまえがいわれてるんだぞｗ
1121:１３２人目の素数さん
20/01/04 19:55:56.17 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:13番)
＞自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
じゃ信用できねえな
＞基本、信用しないように
じゃやめろよ
貴様の●違いな活動なんか迷惑なだけｗ
1122:１３２人目の素数さん
20/01/04 19:59:23.53 YGbyzZoY.net
ｽﾚﾘﾝｸ(math板:14番)
＞数学板で一番価値を置いているのは、確かな情報
これは正しいが
＞つまり 根拠の明確な情報 つまり コピペ
これは誤り
書いた奴が誰か、が最も重要
例えば◆e.a0E5TtKE が書いたと聞けば
「ああ、わけもわからず専門用語で検索して
見つけた結果を読みもせずに機械的に
コピペする白痴野郎か ゴミだな」
としてNGされるのがオチｗ
1123:１３２人目の素数さん
20/01/04 20:52:36 bUe87O2P.net
>>984
＊おっちゃん可愛ｅ＊。。。
1124:１３２人目の素数さん
20/01/04 20:55:15 bUe87O2P.net
おっちゃんさん。。。
お腹冷やさないでくださいね。。。
ビタミンＣと水分補給して
＊良くお休ミレニアムくださいね。。。＊
1125:１３２人目の素数さん
20/01/04 20:56:55 bUe87O2P.net
じゃ♪おっちゃんさん♪♪
お休ミレニアムなΨ～。。。
1126:１３２人目の素数さん
20/01/04 21:02:36 R9y7Ngbn.net
>>984
あ、そうだ。
あんまりおっちゃんさんを
いじめないでくださいね...
( ・ω・)
お年寄り虐待で通報しますからね？
1127:１３２人目の素数さん
20/01/04 21:03:25 R9y7Ngbn.net
ＩＤ替えちゃった。。。＊♪
1128:１３２人目の素数さん
20/01/04 21:04:49 R9y7Ngbn.net
じゃあばよ！ヒステリーじじぃｯﾁｬﾏ！
1129:１３２人目の素数さん
20/01/04 21:09:58.87 R9y7Ngbn.net
そのヒステリー、
＊＊男性更年期障害＊＊じゃ？
「ロー症候群」←ググってミレニアム？
すぐに泌尿器科へＧＯ！！？
ｗ
1130:１３２人目の素数さん
20/01/04 21:10:44.65 R9y7Ngbn.net
w
1131:１３２人目の素数さん
20/01/04 21:11:47.86 R9y7Ngbn.net
９９９ならスレから
ミレニアム問題解決＊＊勇者＊現る＊。。。＊？
1132:１３２人目の素数さん
20/01/04 21:12:34.94 R9y7Ngbn.net
１０００ならおっちゃんさん１００までご長寿～♪♪♪
1133:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 50日 13時間 55分 52秒
1134:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています