22/01/15 21:02:38.06 E0wCw7+f.net
>>228 つづき キャリア 2004年にウィスコンシン大学マディソン校で教鞭をとり、現在はジョンD.マッカーサー数学教授であり、2015年からその役職に就いています。[8] 2012年に彼はアメリカ数学協会のフェローになり、 2013年の合同数学会議でプレナリースピーカーを務め、数論と代数トポロジー、抽象的な高次元形状の研究、およびそれらの間の関係について講演しました。[9] [10] [11]彼は2015年にグッゲンハイムフェローに指名されました。 [12]彼は、2019年にコーネル大学の6人のADホワイト教授の1人に選出されました[13]。 彼の研究は「数論と代数幾何学の分野」に焦点を当てています。[14] (引用終り) （>>181より） ”There's a lot of technology here I'm not qualified to weigh in on. But the goal is a kind of rehabilitation of Mochizuki's ideas.” （google訳一部修正） ”ここにはたくさんのテクノロジーがありますが、私はそれを検討する資格がありません。 しかし、目標は望月のアイデアの一種のリハビリです。” Ellenberg氏は、神童にして数オリ金メダルで、米数学者で「数論と代数幾何学の分野」が専門だ 彼が、”ここにはたくさんのテクノロジーがありますが、私はそれを検討する資格がありません”という これが、21世紀数学の最先端の状況ぜよ 落ちこぼれで、プロ数学者になれなかった数理論理君が、「IUTを学部4年で読めるように論文書け」なんて、ナンセンスな妄言をいう 全くの的外れです 以上
252:１３２人目の素数さん
22/01/15 21:11:19.64 rJnmIXXq.net
>>184
半島から来た侵略団体の正体は朝鮮人と混血して帰って来た倭人で
半島で言う三韓情勢の頃の現地人が漢に支援を仰ぎを強めて倭人からの侵攻に対する優劣を反転される形で追われる様に
上陸から世代を経る中で混血して帰国して来た倭人、しかもまだ倭国人と日本国人とが別だった時代なので
半島に会った日本の出先機関である任那日本府との関係には関わり無い事だった｡
世代を経て血を取り込み乍ら朝鮮にも日本にもyap遺伝子を全く残さず帰国できたのは
時の中国や韓国が逃げ遅れた倭人をジェノサイドしたからだろう｡
253:１３２人目の素数さん
22/01/15 21:24:09.13 p/4Au0/g.net
>>225
16スレなのに1万5千投稿…
算数も出来ないとはね( ´,_ゝ｀)ﾌﾟｯ
254:１３２人目の素数さん
22/01/15 21:31:56.90 Lv54qNF1.net
【悲報】共通テスト第一日目午前でレッドカード退場の底辺准教55歳、ついに簡単な暗算もできなくなる
【16スレほぼ自演×1000レス/スレ=16,000投稿】
231 名前:１３２人目の素数さん [sage]
:2022/01/15(土) 21:24:09.13 ID:p/4Au0/g
>>225
16スレなのに1万5千投稿…
算数も出来ないとはね( ´,_ゝ｀)ﾌﾟｯ
255:１３２人目の素数さん
22/01/15 21:33:42.22 Xufhys8R.net
a_watcherの学習障害を確認
256:１３２人目の素数さん
22/01/15 21:34:57.77 Lv54qNF1.net
底辺准教55歳が架空の仮想敵の名前を連呼し始めたら負け犬モード
257:１３２人目の素数さん
22/01/15 21:37:42.12 +zNCryZd.net
ここは算数も出来ない様なのが来る場所じゃないよ
判ったらパパのおっぱいでも飲んでなa_watcher
258:１３２人目の素人さん
22/01/15 21:37:59.74 +59lWu4W.net
|∞゛
|艸`))ﾌﾟｯ!
ﾋﾟｯﾋｬｧｧ…
|=₃
259:１３２人目の素数さん
22/01/15 21:48:06.48 Lv54qNF1.net
底辺准教が研究生時代から精神異常だった件はfjを見ていた人にとっては暗黙の常識だし
その精神異常者が匿名掲示板や日本語版ウィキペディアでも身バレしてネットトラブルを頻繁し始めた2008年当時
1.「未科学」概念(科学研究の未開拓分野)を知らずに
超有名未科学問題を「ニセ科学」だと言い出したり
2.「非線形非平衡統計熱力学」の問題を
「古典熱力学(平衡熱力学)」と矛盾するから
「ニセ科学」だと言い出した時
この底辺准教が能力に見合わない学位と職位を無理矢理もぎ取った使いようのないポンコツ
だという事は自明になっているね
IUTスレの大量連投もそのレベルの児戯
260:１３２人目の素人さん
22/01/15 21:49:21.06 +59lWu4W.net
a_motcherｻﾝ
ｧﾓｩｯﾁｬﾏにﾈﾄｽﾄ歴…何年目ﾃﾞｽｶ?
…e_motcherゎ、もぅ、…
2年以上ﾃﾞｽめぇ!
|∞ ↙頭ｶﾞ@@~ｫｶｼｨ~@@~ﾋﾄ。
|◎◎)٩゛…
…ｽﾞｯﾄ見ﾏｽｮ…
261:１３２人目の素数さん
22/01/15 21:56:17.38 Lv54qNF1.net
■誇大妄想狂 天羽優子の妄想内容変遷 (2021年12月26日更新)
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
10月には総理大臣になりノーベル賞をとり学長になり衆院選で当選した(現在完了形)と言っていた人間が
2週間後には資産家と結婚して県議会議員になりたい
と妄想バブル大崩壊
妄想設定が毎日変わる誇大妄想末期状態
■2021/10/07(木) 11:38:58.78 ID:a47+vyZ4
> いつの時代も総理大臣が批判されるようなもんだ
■2021/10/08(金) 19:53:26.26 ID:3GIXAUpq0
> 山形の大島優子は次の総選挙に立候補すれば
> あれよあれよと女性初の総理大臣になるだろう
■2021/10/24(日) 17:50:54.16 ID:tdeJTnjr
> 天才だと思う ノーベル賞も夢じゃないね
■2021/10/30(土) 18:29:54.51 ID:???
> 学長になるらしい
■2021/10/30(土) 18:35:23.99 ID:???
> 人望がある
■2021/10/31(日) 23:37:25.95 ID:???
> ・ノーベル賞を受賞する→来年をお楽しみに
> ・総理大臣になる→5年後をお楽しみに
> ・衆院選に出馬する→国民民主から立候補している
> ・天羽が当選した→選挙速報見ろ
■2021/11/01(月) 11:33:08.67 ID:???
> 今回の衆議院選挙とは言っていない
> 次の衆議院選挙に立候補している
■2021/11/13(土) 23:04:52.53 ID:???
> 某女史は地元の資産家と結婚して
> 県議会議員になろうかとしている
■2021/11/18(木) 20:08:00.04 ID:???
> 旦那さんは代議士になったしあげまん
> だよなあ
■2021/11/19(金) 11:46:38.05 ID:???
> 旦那さん弁護士たから訴えられるぞ
■2021/11/20(土) 18:53:45.95 ID:???
> 立民の代表選に唯一女性候補として出たね
> 勝ったらこのコピペ主は社会から抹殺されるだろう
■2021/11/21(日) 21:25:18.84 ID:???
> 地元の有力者がパトロンだから笑いごとではなくなるぞ
■2021/12/14(火) 18:36:08.64 ID:???
> まあ歴史の教科書に載るくらいの功績は残すだろうね
■2021/12/26(日) 15:22:38.13 ID:???
> そもそも貴族の出だから生まれた時点で人の上に立っている 下々の方々は納得いかないだろけどね
262:１３２人目の素人さん
22/01/15 22:16:40.96 FxI+hGxv.net
|!💡 ゛
|…♀ｧﾓｩｯﾁｬﾏ♂ｽﾄ-ｶ-の
|ｧﾓｩｯﾁｬﾏﾝｻﾝがa_watcher
|∧∨a_motcherｻﾝだと、、
| … e_motcherゎ、…
|✨🐑✨めぇ_watcher🍀゜
|ﾉ◎◎٩゛✨ﾃﾞｽめぇ!◯。゜
🎶愛d z~~uttomotto🎶
🎶観ﾃﾀｨ🎶🎶
✨🌟神芝居✨
。○
| ∞ ゜
|´д
263:`)
264:１３２人目の素数さん
22/01/15 22:35:45.14 ndPWp95Y.net
>>212
本田翼が嫉妬したボーイッシュ美人はこの人ですね
265:１３２人目の素数さん
22/01/15 22:36:45.12 HiV/r4fj.net
>>207
ω{の右隣りの{は有るか無いかの二通りですべて。
有る場合：右隣りの{の添え字は何らかの自然数なのでω重カッコ＝有限重シングルトン。
無い場合：ω{}ωなのでω重カッコ＝空集合。
どっち？
266:１３２人目の素人さん
22/01/15 22:39:40.08 2d7nPpwT.net
🎶愛D Z~itto motto 🎶
✨
✨🐑✨◎◎٩゛
✨ 見ﾀｧ愛ｨ! ﾐﾀｨ!
ちょっち watch …
しょっちゅぅwatch!
ﾈﾄｽﾄだもの
戸津ﾏﾘ·ｽﾄｶ
|今日のﾎﾟｪﾑ 終ゎﾘｯ! ｫ仕舞ｨｯ!
|ｫ休ﾐﾅｻｨ!///゜🍀。🐑゜◯。゜
|ｯﾋﾟｬｧｧ…🔥
|=₃
267:１３２人目の素数さん
22/01/15 23:26:59.81 E0wCw7+f.net
>>229 追加
Jordan Ellenberg
神童にして数オリ金メダルで、米数学者で「数論と代数幾何学の分野」が専門
彼より格上の人、ここにいるか？ｗ
>>181より再録
URLﾘﾝｸ(arxiv.org)
#IUTABC
math_jinさんがリツイート
Jordan Ellenberg
1月14日
But my hope has always been that, ABC or no ABC, there were ideas in Mochizuki's work that could help inspire novel math.
Jordan Ellenberg
1月14日
i.e. the claim is that objects that have the kind of properties Mochizuki's objects claim can be constructed in a more "mainstream' way.
(引用終り)
彼は、”But my hope has always been that, ABC or no ABC, there were ideas in Mochizuki's work that could help inspire novel math.”
という。良いんじゃね？ 少なくとも、ショルツェ氏のような無茶苦茶な「IUT全面否定」ではない
岡の不定域イデアルを、Sheaf(層）で書き換えた カルタンのように
IUTを、もっと分かり易い、Arithmetic Teichmuller Spaces（これに限らない）>>181とかに書き換えようというKirti Joshi
方向性は間違っていない気がする
というのは、南出論文で、楕円曲線高さの明示公式を出したが、
ABCの数値シミュレーションから予想される明示公式よりも、かなり弱い形と見る
つまり、まだ改良余地ありと、個人的には思っている
もっと分かり易い形に書き換えることで、明示公式をもっと強い形にする手がかりが得られる気がする
あと、ABCから導かれる結果で未達成のものがある（下記など）
そこらも、書き換えで達成できることが期待されるし
（そうそう、リーマン予想にもIUT適用できるかもねｗ）
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
得られる結果の例
・トゥエ＝ジーゲル＝ロスの定理
代数的数のディオファントス近似に関する定理。
・ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点（英語版）を持たないこと
(引用終り)
以上
268:１３２人目の素数さん
22/01/15 23:30:17.08 HiV/r4fj.net
>>207
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
有限重シングルトンも空集合もぜんぜん新しくないけど？
269:１３２人目の素数さん
22/01/16 08:26:32.11 e5xijWkZ.net
>>245
>有限重シングルトンも空集合もぜんぜん新しくないけど？
同意だよ
添え字 n∈N で、
後者関数 suc(an)＝{an}n+1 (つまり、添え字nやn+1は残す)として
0,1,2,・・n,n+1,・・→ω(極限)
0→{}0
1→{{}0}1
2→{{{}0}1}2
・
・
n→{・・{{{}0}1}2・・}n
n+1→{{・・{{{}0}1}2・・}n}n+1
・
・
↓
ω→{・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限)
という対�
270:桙ﾉなつ これだけのことだもの。ぜんぜん新しいとは思わんよ 最後は、(極限)で、後者関数は使っていない！ {・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限) で、一番外には、カッコあるよ 一番外のカッコを取ったときが問題で ・・{{・・{{{}0}1}2・・}n}n+1・・ が、上記の元ということになる で、これは一つの状態であって、上記の自然数の列 0,1,2,・・n,n+1,・・→ω(極限)の ”0,1,2,・・n,n+1,・・”に対応している ”0,1,2,・・n,n+1,・・”を、集合として認めるならば （正確には、例えばクラトフスキーの表記（下記）などに よるとして） この”・・{{・・{{{}0}1}2・・}n}n+1・・”も認めるべき 対偶で、”・・{{・・{{{}0}1}2・・}n}n+1・・”の存在を否定するならば、”0,1,2,・・n,n+1,・・”も否定されるべきｗ この構成は、圏論チックでしょｗｗ (参考) https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E7%B5%84 順序組 順序対の入れ子としての定義 集合論において、順序対は集合として定義される（例えばクラトフスキーの定義）から、順序対による順序組の定義も集合によって定式化できる: (引用終り) 以上
271:超集合ω
22/01/16 08:26:41.98 .net
>>207
>「無限重シングルトン」は、
>ノイマン基数割当を経由しないと、
>定義出来ないとは思っているよ
２行目が誤り
正しくは
「無限重シングルトン」は、
集合概念を拡張しないと
定義出来ない
>>195
>超集合(hyperset)は集合の一般化で、超要素(hyperelement)を持つ
>集合に関しては、要素はもちろん超要素だが
>要素の要素、要素の要素の要素、・・・を全て超要素とする
>ωの場合、要素は持たないが、有限シングルトン全てを超要素とする
集合でない超集合ωは、要素を持たないが超要素を持つ
必要なのは超集合の理論でしたｗ
272:１３２人目の素数さん
22/01/16 08:28:12.03 e5xijWkZ.net
>>246 タイポ訂正
という対応になつ
↓
という対応になる
273:１３２人目の素数さん
22/01/16 08:33:57.98 e5xijWkZ.net
>>246 追加
一言付言すれば
この構成は、添え字集合 n∈N を使っている
だから、自然数Nやωが構成できた後でしかできない
つまり、公理的に、空集合Φから出発して「無限重シングルトン」を構成しようとはしていない ということにご注意
そこ、錯覚して的外れな批判をするサルがいる
274:徳川家無
22/01/16 08:39:54.95 .net
>>215
>不定域イデアル
いまどき、そんなんでドヤるの、ニホンザルだけだよｗ
岡潔よりグロタンディクのほうがよっぽど数学的に重要
国家って人をお🐎🦌なサルにするよね
275:江戸前寿司
22/01/16 08:46:57.76 .net
>>228
>>>Jordan Ellenberg
>>この人は、ちょっと大物かも
>神童にして、数学オリンピックで金メダル
>>229
>Ellenberg氏は、神童にして数オリ金メダルで、
>米数学者で「数論と代数幾何学の分野」が専門だ
>彼が、”ここにはたくさんのテクノロジーがありますが、
>私はそれを検討する資格がありません”という
>これが、21世紀数学の最先端の状況ぜよ
>>244
>Jordan Ellenberg
>神童にして数オリ金メダルで、
>米数学者で「数論と代数幾何学の分野」が専門
>彼より格上の人、ここにいるか？ｗ
まーた、中卒が他人礼賛カキコで
「俺はJordan Ellenberg」
とかいう妄想に浸ってるのか？
ガロア自慢するくせにガロア理論の初歩から理解できず
グロタンディク自慢するくせにグロタンディクの理論の初歩から理解できない
中卒君は三角関数の加法定理からやりなおせって
276:徳川家無
22/01/16 08:53:15.11 .net
>>244
>岡の不定域イデアルを、Sheaf(層）で書き換えた カルタンのように
>IUTを、Arithmetic Teichmuller Spaces とかに書き換えようというKirti Joshi
岡の証明は認められたけど、望月新一の証明はそもそも認められるのかね？
Kirti Joshiに全部もってかれるかもな
いや、もしかしたらScholzeが、Ultimate Teichmueller Theoryとか
言い出してまるごとかっさらうかもな
大日本帝国、ナチスドイツに完全敗北・・・
277:江戸前寿司
22/01/16 08:58:30.98 .net
>>244
>方向性は間違っていない「気がする」
>というのは、南出論文で、…を出したが、
>…よりも、かなり弱い形「と見る」
>つまり、まだ改良余地あり「と、個人的には思っている」
>もっと分かり易い形に書き換えることで、
>…をもっと強い形にする手がかりが得られる「気がする」
「なれずし」の常套文句は威勢のいい妄想のあとに
「気がする」「と見る」「と、（個人的には）思っている」
といきなり急ブレーキの自信ゼロ語尾ｗ
だったらいうなよ、ナニワの中卒ニホンザルｗ
278:１３２人目の素数さん
22/01/16 08:58:59.96 UCRiVL/x.net
>>246
>・・{{・・{{{}0}1}2・・}n}n+1・・
をxとおくと、xは集合？
xが集合の場合 xの元は何？
xが集合でない場合 xは何？ <
279:超集合ω
22/01/16 09:04:39.60 .net
>>246
>0→{}0
>…
>n→{・・{{{}0}1}2・・}n
>…
>ω→{・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限)
>という対応になる
>最後は、(極限)で、後者関数は使っていない！
そもそも極限が集合にならない
超集合>>247なんだって
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
超集合(hyperset)は集合の一般化で、超要素(hyperelement)を持つ
集合に関しては、要素はもちろん超要素だが
要素の要素、要素の要素の要素、・・・を全て超要素とする
ωの場合、要素は持たないが、有限シングルトン全てを超要素とする
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
集合でない超集合ωは、要素を持たないが超要素を持つ
必要なのは超集合の理論でしたｗ
280:１３２人目の素数さん
22/01/16 09:20:45.10 iWQKcoe1.net
共通テスト2日目
底辺准教一人芝居は朝8時26分開始
誰も読まない一人芝居を毎日書き飛ばす無駄な人生
281:１３２人目の素数さん
22/01/16 10:57:38.65 XXqp6NSK.net
>>256
その底辺准教さん(本当はエリート教授)は今週は4月から行く予定のケンブリッジ大学に事前視察に行ってるよ
向こうでは「マーベラス！」って大歓迎されたって噂
282:１３２人目の素数さん
22/01/16 11:08:09.16 iWQKcoe1.net
底辺准教天羽優子、山形ケンブリッジ共同作業所への左遷を大自慢の妄想大会
准教20年間やって学術的成果が何も出ずに
匿名掲示板の妄想世界で遊ぶ廃人の末路か
283:１３２人目の素数さん
22/01/16 11:09:25.95 i1sWT7aZ.net
8:26書き込み開始の底辺准教とは>>247の事だね
284:１３２人目の素数さん
22/01/16 11:29:50.42 e5xijWkZ.net
>>254
>>・・{{・・{{{}0}1}2・・}n}n+1・・
>をxとおくと、xは集合？
>xが集合の場合 xの元は何？
>xが集合でない場合 xは何？
良い質問です ｂｙ 池上彰
1）xは集合？
解答：その説明は下記
Q1.自然数の集合N＝{0,1,2,・・}の元は何？
A1. 0,1,2,・・です。一番右は？ ありません。無限だからです。あったら有限です
Q2.・・{{・・{{{}0}1}2・・}n}n+1・・ は集合？
A2. 集合でしょう？ 一番外のカッコ{}が定まっていないって？ それって、上記0,1,2,・・と同じです。人は、無限として そういうもの（状態）が、欲しいから無限公理を置いて、これを集合と認めたのですよ
2）が集合の場合 xの元は何？
解答：上記のN＝{0,1,2,・・}の元 0,1,2,・・を集合から成る列と認めるならば、右端の集合の元は何？
あなたが、この問いに答えることができるならば、それを利用して、解答を作るよｗ
3）xが集合でない場合 xは何？
解答：urelement ですね、xが集合でない場合は
(参考)
URLﾘﾝｸ(en.wikipedia.org) Urelement
以上
285:１３２人目の素数さん
22/01/16 11:35:16.11 BSH76eZU.net
>>260
またクズが内部矛盾してるクズ文章書いとるな
集合論の教科書一行も読まず集合論の話ができると信じるクズ
286:１３２人目の素数さん
22/01/16 11:37:35.23 XXqp6NSK.net
>>258
和風美人だから「エキゾチック！」ってイギリスではモテモテかもね
イケメンのイギリス人と結婚したらどうするよ？
287:１３２人目の素数さん
22/01/16 11:55:17.60 e5xijWkZ.net
>>260 補足
突然ですが
>>34 より
斎藤毅 「集合と位相」（東大出版会 2009）の
P90～91 第4章 位相空間 の
よりみち 62 に
”公理的方法をとることで、議論の不要な反復を避け、論点を明確にすることができる
しかし、公理的方法の真の効用はそのような消極的なものではなく
見かけ上かけ離れた対象を比較できるようにし、その共通点や相違点を明らかにすることがある”
とある
21世紀 2022年のいま、ZFCは数ある公理系の一つでしかない
urelementを認めても、何の問題もないだろう
しかし、「無限重シングルトン」>>246 は、ZFC内に存在しても、不思議はないと思っている
もし、その存在をZFC内で 否定できると思う人は、どうぞ否定してみてくださいｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
公理
目次
1 公理の例
2 歴史
3 公理の形式性
4 公理の直観的・歴史的な妥当
288:性 歴史 axiomという言葉の語源はギリシャ語のαξιωμα (axioma、価値があり適切と考えられるものあるいはそれ自身明らかなもの)である[2]。公理の概念が明確に記述された現存する文書のうちで最も古いものは、紀元前300年頃にギリシアで書かれたユークリッドの原論である。 https://en.wikipedia.org/wiki/Axiom Contents 1 Etymology 2 Historical development 2.1 Early Greeks 2.2 Modern development 2.3 Other sciences 3 Mathematical logic 3.1 Logical axioms 3.1.1 Examples 3.1.1.1 Propositional logic 3.1.1.2 First-order logic 3.2 Non-logical axioms 3.2.1 Examples 3.2.1.1 Arithmetic 3.2.1.2 Euclidean geometry 3.2.1.3 Real analysis 3.3 Role in mathematical logic 3.3.1 Deductive systems and completeness 3.4 Further discussion (引用終り) 以上
289:１３２人目の素数さん
22/01/16 11:59:40.10 e5xijWkZ.net
>>261
数理論理君だね
＞集合論の教科書一行も読まず集合論の話ができると信じるクズ
それブーメランで自分のことでしょｗ
おれ？
おれは、5～6行は最低読んだぜ（>>263 ”一行も”の反例提示）ｗｗ
290:１３２人目の素数さん
22/01/16 12:26:13.67 BSH76eZU.net
>>264
うそこけ能無し
集合論の教科書読んでこんなクズレスかけるか
それとも全然理解できてないんか？
もうレスバに負けたくない一心で自分の理性の声が聞こえなくなったか？
お前に何か証明して説明するなんて無駄な労力払うのはとっくにやめとるわ
おまえに何か数学の話しをする価値などないわバーカ
291:１３２人目の素数さん
22/01/16 12:28:08.31 i1sWT7aZ.net
底辺准教氏、発狂の末に罵倒しかできない廃人状態
292:１３２人目の素数さん
22/01/16 12:58:58.21 e5xijWkZ.net
>>266
>底辺准教氏、発狂の末に罵倒しかできない廃人状態
どうも、スレ主です
同意です
>>265
これ
数理論理君かな？ 上記の「発狂の末に罵倒しかできない廃人状態」と見られているに、同意だよ
数理論理君な、君はまともに、集合論とか基礎論につい、具体的に書いたこと無かったよね
但し、おサルの>>7
”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
を、弁護するために、自然数Nが昇鎖条件（下記）を満たすとか、喚いたよねｗ
それ、錯覚で、それに乗ったおサルを ボコボコに論破しましたけど
あんたは、その程度の人間だよｗｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
昇鎖条件
ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環のイデアルがある[1][2][3]。昇鎖条件および降鎖条件は、ダフィット・ヒルベルト、エミー・ネーター、エミール・アルティンらが可換環の構造に関する理論を構築する上で、重要な役割を果たした。
昇鎖条件および降鎖条件それ自体は、いかなる半順序集合に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel?Rentschler による抽象代数の次元に関する理論において有用である。
定義
半順序集合 P において、任意の真の上昇列 a1 < a2 < a3 < ... が有限回で止まるときに昇鎖条件が成り立つと言う。
注釈
�
293:E降鎖条件を満たす全順序集合は整列集合と呼ばれる。 (引用終り) 以上
294:１３２人目の素数さん
22/01/16 13:11:42.08 BSH76eZU.net
>>267
書いた事がないだ？
あほか
何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ
お前ひどーっつも理解しようとせんかったやろが能無し
自分の能無し棚に上げて何いうとんじゃカス
教科書読んだ？
うそこけ
なんの教科書読んだ？
読んだはおろか買ってすらおらんやろ
そうやって数学まじめに勉強した人間に対して謎の上から目線がお前の数学に対する姿勢の全てやろ
あらゆる謙虚さも勉学に対する真摯さもない尊大な自己愛の塊がお前の全て
お前に文化活動なとそもそも理解できる素養などないわカス
295:１３２人目の素数さん
22/01/16 14:01:15.08 e5xijWkZ.net
>>244
追加
URLﾘﾝｸ(twitter.com)
math_jinさんがリツイート
URLﾘﾝｸ(twitter.com)
math_jinさんがリツイート
Thomas Sauvaget
返信先:
@JSEllenberg
さん
Joshi also has two more recent preprints on the topic : URLﾘﾝｸ(arxiv.org) and
arxiv.org
Construction of Arithmetic Teichmuller Spaces and some applications
In this note I construct some categories which can be called Arithmetic Teichmuller Spaces. This construction is very broadly inspired by Shinichi Mochizuki's ideas on Anabelian Geometry, p-adic...
午後10:33 ・ 2022年1月15日・Twitter Web App
(deleted an unsolicited ad)
296:１３２人目の素数さん
22/01/16 14:11:33.78 UCRiVL/x.net
>>260
>2）が集合の場合 xの元は何？
> 解答：上記のN＝{0,1,2,・・}の元 0,1,2,・・を集合から成る列と認めるならば、右端の集合の元は何？
最大自然数なるものはペアノの公理に反するので存在しません。
> あなたが、この問いに答えることができるならば、それを利用して、解答を作るよｗ
よろしく
297:１３２人目の素数さん
22/01/16 14:16:21.18 UCRiVL/x.net
>>260
>一番外のカッコ{}が定まっていないって？ それって、上記0,1,2,・・と同じです。
何がどう同じと？
>人は、無限として そういうもの（状態）が、欲しいから無限公理を置いて、これを集合と認めたのですよ
違いますよ。
無限公理は無限集合の存在を主張しているのであって状態なる訳の分からないことは言ってません。
無限公理が存在を主張する無限集合にはちゃんと最外カッコがありますよ？一方xにはありません。何がどう同じなのか説明よろ。
298:DiverCity
22/01/16 14:20:21.77 .net
>>264
SET A>おれは、5～6行は最低読んだぜ
で、７行目のどんな文章で挫折した？
299:DiverCity
22/01/16 14:25:31.21 .net
>>267
>”＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
>ことも分からん「考えなしの素人」に数学はムリ”
>それ、錯覚で、それに乗ったおサルを ボコボコに論破しましたけど
ま~た、ニホンザルが、ｘ＜ωのｘも書けない屈辱に狂って
数学科卒をボコボコに論破したとか口からデマカセいってるな
300:１３２人目の素数さん
22/01/16 14:26:14.83 UCRiVL/x.net
>>267
>＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
> ことも分からん「考えなしの素人」に数学はムリ”
>を、弁護するために、自然数Nが昇鎖条件（下記）を満たすとか、喚いたよねｗ
＜ωの左隣りは何？
御託はいいのでズバリ答えて
301:DiverCity
22/01/16 14:29:47.45 .net
>>260
>あなたが、この問いに答えることができるならば、
>それを利用して、解答を作るよｗ
>>270は「ない」と答えたので
それをカンニングするなら
「ない」と答えるんだね
つまり、「ωは空集合だ」と答えたわけだねｗ
🐎🦌だねぇ・・・ニホンザル SET A ｗｗｗｗｗｗｗ
302:DiverCity
22/01/16 14:36:29.40 .net
>>260
SET A 完全に発狂ｗ
>Q2.・・{{・・{{{}0}1}2・・}n}n+1・・ は集合？
>A2. 集合でしょう？
いいえｗ
> 一番外のカッコ{}が定まっていないって？
ええ、だって書いてないでしょ？
>それって、上記0,1,2,・・と同じです。
全然違いますよ 頭オカシイですか？
>人は、無限として そういうもの（状態）が、欲しいから
>無限公理を置いて、これを集合と認めたのですよ
ヒトはそんなもの欲しがりませんｗ
欲しがるのはヒトになれないニホンザルの貴様だけだよ、SET A
無限公理は{0,1,2,・・}を集合とした
0,1,2,・・を集合としたのではない
0,1,2,・・の各項0とか1とか2とかがそれぞれ集合であればいい
し・か・し
・・{{・・{{{}0}1}2・・}n}n+1・・
は単
303:一の存在であって、集合なるものに分けられない つまり0,1,2,・・「同じ」ではなく全く「違う」 そんなこともわからん🐎🦌か？SET A
304:Antigod
22/01/16 14:44:21.07 .net
SET Aに答えられない質問
１．ωの前者は？
２．無限列 ０＜・・・＜ω の、＜ωの左の項は？
３．集合｛・・・{{・・{{{}0}1}2・・}n}n+1・・｝の要素となる集合の要素は？
人間なら１．の質問は「ない」と即答する
したがって２．のような無限列は存在しないと即答する
存在するとしたらｘ＜ωとなるｘが存在するが、
どのようなｘも自然数であって０に至る列が
有限長だから矛盾する
そして３．のような集合も存在しないと即答する
存在するとしたら、ω-1、ω-2、が存在することになり
無限に降下できるから、基礎の公理の決定的な反例となり矛盾する
矛盾を認めたくない🐎🦌ニホンザルだけが
１．に対してこう言って誤魔化す
「ない・・・とまでは言えない」
おまえはＴ大アホウ学部卒の腐れ法律家か？ｗ
305:Antigod
22/01/16 14:47:23.14 .net
>>269
math_jinが何者か知らんが
数学が分かってないド素人か
精神に変調をきたしたIUTT考案者本人か
のいずれかだろう…
306:１３２人目の素数さん
22/01/16 15:28:06.45 QZ0rib/3.net
ωの前者っていうとsurreal思い出す
307:１３２人目の素数さん
22/01/16 15:32:05.03 e5xijWkZ.net
>>269 関連
望月 Corollary 3.12 に関する箇所抜粋下記の通り
望月 Corollary 3.12 を完全に導くことはできていないが、類似の構造はできたとしていると読んだ
（下記”as [Mochizuki, 2021c, Corollary 3.12]. Importantly, Theorem 10.1.1 is still local (i.e. takes
place at a single prime), but it can be globalized, i.e. adelized, quite easily in the presence of
a number field using the adelic arithmetic Teichmuller spaces of [Joshi, 2021a]-but this adelic version is not treated here.”）
Corollary 3.12 を完全に導くことはできていないが、可能性は大きいと思う
かつ、ショルツェ氏のIUT全面否定の主張とは、真逆だ
私は、Kirti Joshiが正しいと思う
（まだ、望月Cor3.12を導くことはできていないが、類似構造を別の筋で証明できているから、望月Cor3.12が全く無意味というショルツェ氏の主張はへんｗ）
URLﾘﾝｸ(arxiv.org)
Construction of Arithmetic Teichmuller spaces II:
Towards Diophantine Estimates
Preliminary version for comments
Kirti Joshi
November 10, 2021
P3
§ 1.6 For an introduction to the set constructed by Mochizuki’s [Mochizuki, 2021c, Corollary 3.12] and how a bound on its size has deep Diophantine consequences, readers may also see
other discussions of [Mochizuki, 2021c, Corollary 3.12] for example [Tan, 2018], [Yamashita,
2019], [Dupuy and Hilado, 2020b]. Note that in [Dupuy and Hilado, 2020b], Mochizuki’s Corollary 3.12 is stated as Conjecture 1.0.1.
つづく
308:１３２人目の素数さん
22/01/16 15:32:34.33 e5xijWkZ.net
>>280
つづき
§ 1.7 Mochizuki’s approach suggests very optimistically that an assertion similarto [Mochizuki,2021c, Corollary 3.12] might be expected to hold for the subset Θe constructed here (see § 9.2)
and indeed, such a bound is established in Theorem 10.1.1. But to be absolutely and perfectly clear and as is clarified below, Theorem 10.1.1 is structurally similar but not the same
as [Mochizuki, 2021c, Corollary 3.12]. Importantly, Theorem 10.1.1 is still local (i.e. takes
place at a single prime), but it can be globalized, i.e. adelized, quite easily in the presence of
a number field using the adelic arithmetic Teichmuller spaces of [Joshi, 2021a]-but this adelic version is not treated here.
（PDFのアブストラクト）
URLﾘﾝｸ(arxiv.org)
[Submitted on 9 Nov 2021]
Construction of Arithmetic Teichmuller spaces II: Towards Diophantine Estimates
Kirti Joshi
This paper deals with three consequences of the existence of Arithmetic Teichmuller spaces of arXiv:2106.11452. Let XF,Qp (resp. B=BQp) be the complete Fargues-Fontaine curve (resp. the ring) constructed by Fargues-Fontaine with the datum F=C♭p (the tilt of Cp), E=Qp. Fix an odd prime ?, let ??=??12.
The construction (§7) of an uncountable subset ΣF⊂X??F,Qp with a simultaneous valuation scaling property (Theorem 7.8.1), Galois action and other symmetries.
Now fix a Tate elliptic curve over a finite extension of Qp. The existence of ΣF leads to the construction (§9) of a set Θ?⊂B?? consisting of lifts (to B), of values (lying in different untilts provided by ΣF) of a chosen theta-function evaluated at 2?-torsion points on the chosen elliptic curve. The construction of Θ? can be easily adelized. Moreover I also prove a lower bound (Theorem 10.1.1) for the size of Θ? (here size is defined in terms of the Frechet structure of B).
I also demonstrate (in §11) the existence of ``log-links'' in the theory of [Joshi 2021].
(引用終り)
309:１３２人目の素数さん
22/01/16 15:35:40.91 sSz0uXXL.net
ω←優子のお股
310:１３２人目の素数さん
22/01/16 16:04:53.13 e5xijWkZ.net
>>268
どうも、スレ主です
数理論理君、頑張るの巻きか
>何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ
では、具体的に過去ログを示せ
あんたの書いた 公理論的集合論とは何か、順序数とは何か を
過去ログのリンクだけで良いぞｗｗ
＞なんの教科書読んだ？
大学の教程であったよ
忘れたし、捨てた
ゲーデルの不完全性定理の解説本は、高校のときに読んだ
>読んだはおろか買ってすらおらんやろ
よく分かったな
松坂和夫「集合・位相入門」（岩波 1968） と 斎藤毅 「集合と位相」（東大出版会 2009）
とは、図書館で借りてきた
まあ、ざっと斜め読みしたところでは
ツェルメロの集合論を論じるには、全く足りないことが分かった
つーか、両著書とも、ZFCなどの公理的集合論ではなく、いわゆる素朴集合論の本だということだ
まあ、思うに、いまどきの（多分過去も）大学数学科の集合・位相の教程としては、素朴集合論ベースなんだろうね
ZFCベースでやったら、位相まで届くのに、何年もかかるだろうなｗ
余談だが、両著書を眺めて思うのは、やっぱ日常の数学は、素朴集合論ベースだってこと（＋圏論）
と素朴集合論の復権です
松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある
（例えば、P293 あとがきで 「実は、このnaiveな定義は数学的にはななだ不完全で、この定義からはいろいろ不都合なことが出てくる」などと書かれている
またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である（最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）
それに対して、斎藤毅は、はじめに で「公理的集合論をある程度考慮するが、それに基づく厳密な展開はとらない」と宣言している。これは、多分21世紀的な高い数学的視点からの一つの見識だと思う
なので、両者を比較して、斎藤毅の方が良い本だと分かるところまでは、読んだ
が、松坂和夫は、これはこれで良いところもあるね
とぢらかを買うならば、斎藤毅で、松坂和夫は図書館で借りて読めばいいんじゃね？
311:１３２人目の素数さん
22/01/16 16:09:17.72 e5xijWkZ.net
>>283 タイポ訂正
またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である（最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）
↓
またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である（最近ではさらにGrothendieckやMacLaneなどの考案もある）」とも）
Grithendieck→Grothendieck な
312:１３２人目の素数さん
22/01/16 16:40:16.15 BSH76eZU.net
>>283
アホがざっと斜め読みしてわかるはずないやろカス
数学に対するそういうクソみたいな態度がそもそもクソなんだよ
自分の事天才だとでも思ってんのか能無し？
313:１３２人目の素数さん
22/01/16 17:06:25.58 UCRiVL/x.net
>>284
早く>>270 >>274に答えてくれません？
> あなたが、この問いに答えることができるならば、それを利用して、解答を作るよｗ
と言ったのもう忘れたんですか？
314:１３２人目の素数さん
22/01/16 17:15:40.75 e5xijWkZ.net
>>270 （>>286）
>> 解答：上記のN＝{0,1,2,・・}の元 0,1,2,・・を集合から成る列と認めるならば、右端の集合の元は何？
>最大自然数なるものはペアノの公理に反するので存在しません。
だから
右端の集合の元は、存在しないが
列 0,1,2,・・ は、長さ可算無限個の列として、存在しうるってことだ
だから、カッコの可算多重列 }1}2・・}n}n+1・・ も、現代数学の中で 存在しうるってこと
(最大自然数なるものはペアノの公理に反するが、無限列の存在こそが、ペアノの公理によって構成されるべきものですよ)
315:１３２人目の素数さん
22/01/16 17:17:06.73 e5xijWkZ.net
>>285
再度問う
>何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ
では、具体的に過去ログを示せ
あんたの書いた 公理論的集合論とは何か、順序数とは何か を
過去ログのリンクだけで良いぞｗｗ
早く答えろｗ
316:１３２人目の素数さん
22/01/16 17:22:09.66 UCRiVL/x.net
>>287
え？何言ってるんですか？
xの元が何か早く答えてくれませんか？
317:１３２人目の素数さん
22/01/16 17:24:24.78 UCRiVL/x.net
>>274にも答えてないですね
早く>>270 >>274に答えて下さい
318:Antigod
22/01/16 17:37:34.74 .net
>>283
>>なんの教科書読んだ？
>大学の教程であったよ
大学なんて行ってないだろ？ 中卒SET A
>忘れたし、捨てた
存在しないものは思い出せないし、捨てようもない
>ゲーデルの不完全性定理の解説本は、
>高校のときに読んだ
工業高校の時かね？ｗ
SET Aは昭和三十年代生まれで60過ぎだそうだから
そのころ日本語に翻訳された解説本は
ナーゲル＆ニューマンの「数学から超数学へ」（白揚社）だろう
だとすると、SET Aはゲーデルの不完全性定理を全く理解できなかったと思われる
ホフスタッターの「ゲーデル・エッシャ―・バッハ」の
第１４章まで読めていれば不完全性定理の「トリック」のタネが
理解できたはずだが、だいたいの人はそれ以前に挫折してるから
やっぱり理解できなかったはずである
「ゲーデル・エッシャ―・バッハ」はいい本だが…長すぎた
319:１３２人目の素数さん
22/01/16 17:47:56.62 BSH76eZU.net
>>288
お前みたいな5ch廃人ちゃうから過去ログなんか取っとらんわ
そんな事せんでもお前が1ミリも数学の論理式理解できん能無しパープーなのはここの住人全員知っとるわバーカ
320:Antigod
22/01/16 17:51:12.10 .net
>>283
>松坂和夫「集合・位相入門」（岩波 1968） と
>斎藤毅 「集合と位相」（東大出版会 2009）とは、
>図書館で借りてきた
しっかり勉強する気なら買ったほうがいい １か月では無理
>まあ、ざっと斜め読みしたところでは
>ツェルメロの集合論を論じるには、
>全く足りないことが分かった
ざっと斜め読みするからツェルメロの集合論の範囲であることが理解できないのだよ
>つーか、両著書とも、
>ZFCなどの公理的集合論ではなく、
>いわゆる素朴集合論の本だということだ
そもそも、素朴集合論はZFCのサブセットである
具体的にはFこと「置換公理」を用いず、その代わりに
制限された内包公理である「分出公理」を用いる集合論
したがってツェルメロの集合論である
>まあ、思うに、いまどきの（多分過去も）
>大学数学科の集合・位相の教程としては、
>素朴集合論ベースなんだろうね
ツェルメロの集合論とは別に素朴集合論が存在すると思ってる
SET Aは数学書も論理式も読めない中卒の🐎🦌
>ZFCベースでやったら、
>位相まで届くのに、
>何年もかかるだろうなｗ
半年で十分ｗ 位相とかなんとかいったって
実際には、たかだか濃度2^aleph_0程度の集合しか扱わない
まあ、突飛なネタとしてareph_1が現れる例を紹介することはあるが
集合論以外の数学で積極的に研究することはまずない
>余談だが、両著書を眺めて思うのは、
>やっぱ日常の数学は、素朴集合論ベースだってこと（＋圏論）
>と素朴集合論の復権です
素朴集合論はツェルメロの集合論である
ただ眺める
321:だけでは決して理解できない 論理式を読め、証明を読め 🐎🦌でも読める日本語の文章の箇所だけで妄想しても決して数学は理解できない
322:Antigod
22/01/16 17:54:11.32 .net
>>283
>松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある
>（例えば、P293 あとがきで
> 「実は、このnaiveな定義は数学的にはななだ不完全で、
> この定義からはいろいろ不都合なことが出てくる」
> などと書かれている
> またP295
> 「集合論を矛盾なく建設する目的から、
> 現代数学の他の諸部門と同様に、
> 集合論を公理的に展開しようとしたのが、
> Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である
> （最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）
松坂は代数学者だから、集合論の公理を正確に理解してないだけで
「集合・位相入門」に書かれてることなら、ZCレベルで十分である
323:Antigod
22/01/16 17:57:07.71 .net
>>283
>斎藤毅は、はじめに で
>「公理的集合論をある程度考慮するが、
> それに基づく厳密な展開はとらない」
>と宣言している。
>これは、多分21世紀的な高い数学的視点からの
>一つの見識だと思う
21世紀とか高い視点とかいうのは妄想
単に非専門家による開き直りでしかない
もちろん、公理的集合論から逸脱できるほど強力な論法は
”素人”には使えるはずもないから問題ない（バッサリ）
324:Antigod
22/01/16 18:00:49.81 .net
>>283
>両者を比較して、斎藤毅の方が良い本だと分かるところまでは、読んだ
>松坂和夫は、これはこれで良いところもあるね
>とぢらかを買うならば、斎藤毅で、
>松坂和夫は図書館で借りて読めばいいんじゃね？
実ははしがき以外読めてないだろ SET A
それじゃ集合も位相も分からんよ
ところで、ガチなロジシャンである新井敏康氏のこんな本もあるがね
URLﾘﾝｸ(www.tokyo-tosho.co.jp)
ま、でも集合・位相入門なら誰の本を読んでも大して変わらん
325:Antigod
22/01/16 18:05:27.56 .net
>>287
＞列 0,1,2,・・ は、長さ可算無限個の列として、存在しうる
正確にはペアノの公理で、無限個の自然数の存在が、保証される
それは、無限個の「有限個のカッコの重なり」の存在の保証である
しかし、同様の方法で、
一つの「無限個のカッコの重なり」
・・{{・・{{{}0}1}2・・}n}n+1・・
の存在を保証することはできない
326:Antigod
22/01/16 18:12:14.37 .net
>>280
>望月 Corollary 3.12 に関する箇所抜粋下記の通り
>望月 Corollary 3.12 を完全に導くことはできていないが、
>類似の構造はできたとしている
>と読んだ
>Corollary 3.12 を完全に導くことはできていないが、
>可能性は大きいと思う
愛国に狂ったニホンザルの妄想はイタイタシイな
>かつ、ショルツェ氏のIUT全面否定の主張とは、真逆だ
ニホンザルは頭がおかしい
ショルツェの主張のどこが、IUT全面否定なのか？
そもそも中身がないものを否定しようもないｗ
Cor3.12は予想にすぎず、ショルツェは反例を示したわけでもない
あくまでIUTによるCor3.12の証明はできていないし
望月の方法では無理だろうといってるだけ
>私は、Kirti Joshiが正しいと思う
それは望月に代わって
JoshiがABC予想を解決した
と認めることだが、
ニホンザルのSET Aは
日本がインドに完敗した
と認めるのかね？
327:Antigod
22/01/16 18:18:34.93 .net
Corollary 3.12（系３．１２）は
Conjecture 3.12（予想３．１２）の
誤りであろう
328:Antigod
22/01/16 18:22:50.60 .net
インド万歳！！！
URLﾘﾝｸ(www.youtube.com)
329:１３２人目の素数さん
22/01/16 19:37:04.74 e5xijWkZ.net
>>292
>お前みたいな5ch廃人ちゃうから過去ログなんか取っとらんわ
過去ログなんて、自分で取るものじゃなくてさ
5ｃｈに書けば、自然にログが残るもんだよ
どこに書いたかのスレタイの一部（特徴あるキーワード部分）＋書いた内容の記憶しているキーワードと＋”5ｃｈ”（＝5ｃｈに限定するため）
くらいで、普通にgoogle 検索で ヒットするよ
で、おそらくは、あんたは全く書いてないよ
おれの記憶では、あんたはIUTスレでは、まともに数学的な内容を書いたことはないぞ！ｗ
>そんな事せんでもお前が1ミリも数学の論理式理解できん能無しパープーなのはここの住人全員知っとるわバーカ
それは否定せんが
おまえは、オレより下だぜよｗｗ
330:１３２人目の素数さん
22/01/16 19:47:22.03 e5xijWkZ.net
>>293
>>図書館で借りてきた
>しっかり勉強する気なら買ったほうがいい １か月では無理
ありがとう
まあ、殆ど知っていることしか書いていない
あの事項は、この本ではどう書いているかな？ って感じで読んでいる
あと、斎藤毅の「数学原論」を読んでいると、彼の(斎藤毅) 「集合と位相」（東大出版会 2009）のこの頁のこの命題から云々て結構書いてある
いまのところ、無しでも読めているけど、一応図書館で借りてみた
結構良い本（(斎藤毅) 「集合と位相」）だと思う
”よりみち”ってのがあってね、98まであるかな
”よりみち”の多い本だがｗ、これがまた良いアジ出しているんだ
「なるほど」ってことが多い
そのうち買うかも
331:１３２人目の素数さん
22/01/16 20:02:40.24 e5xijWkZ.net
>>302 補足
>あと、斎藤毅の「数学原論」を読んでいると
斎藤毅の「数学原論」（東京大学出版会 2020）
はじめに で
「数学の基礎は論理的には集合論にもとづいているが
実質的には圏論的な枠組みで形づくられている。
圏論的数学観によれば、数学の対象1つ1つが独立に
存在するのではなく、同種のあるいは異種の対象との
関わりの中に存在する。」
という視点で、現代数学（の初歩）を解説しているのです
（なお、最後の第10章が「楕円曲線」となっている）
彼の(斎藤毅) 「集合と位相」（東大出版会 2009）>>302にも
はじめに として、「20世紀後半に発展した圏論的考え方にしたがい
集合や位相空間それ自体と同じく、それらの間の写像や連続写像を重視する観点を取る」
と宣言しているので、好感がもてる
やっぱ、21世紀の数学教科書は、こうあるべきという気がする
圏論的思考ができないと、3億円望月も、IUT望月も読めないし、理解できない
332:１３２人目の素数さん
22/01/16 20:35:15.01 e5xijWkZ.net
>>289-290
もう答えた
1．ペアノ公理を誤解しているぞ。ペアノ公理は、自然数に最大限が無いと当時に、自然数を並べたら無限列ができることを主張しているよ（こちら主だ）
2．「自然数を並べたら無限列ができる」の類似の構造は、数学の至るところに出現する
例えば、有理数列 1/1,1/2,1/3,・・,1/n,・・→0 とか
3．確率変数の族 X0.X1,X2,・・なども（数セミの時枝記事に出てくる（下記など））
4．時枝の記事では、可算無限個の箱を使う
5．同じように、無限階層も現代数学としてある。ノイマン宇宙とか、グロタンディーク宇宙とかね
6．そして、可算多重の重なりも、現代数学として考えられる
その一例が、「無限重シングルトン」>>246であって、
順序数としての自然数と同じだけ、シングルトンが存在することは、ツェルメロの古典的論文にあるとおり
おれは、それを一歩進めて、「無限重シングルトン」の存在を主張しているだけ。時枝の可算無限個の箱とか、有理数列 1/1,1/2,1/3,・・,1/n,・・→0と同じだよ
(参考)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
確率論基礎
重川 一郎
平成 19 年 7 月 23 日
P45
確率過程
Z + = {0, 1, 2,... } などがよく使われる．
定義 1.2. X1, X2, ...
(引用終り)
以上
333:１３２人目の素数さん
22/01/16 20:47:35.32 UCRiVL/x.net
>>304
>もう答えた
「xの元は何か？」に答えてないですけど
「＜ωの左隣は何か？」にも答えてないですけど
なぜ嘘をつくんですか？答えてないですよね？
334:１３２人目の素数さん
22/01/16 20:53:08.92 Jqx1xml9.net
斎藤毅のアジテーションに感化されていて頭が悪い。
表面的な理解だけでは、ものにならない。
335:１３２人目の素数さん
22/01/16 21:08:31.61 UCRiVL/x.net
>>304
>ペアノ公理を誤解しているぞ。ペアノ公理は、自然数に最大限が無いと当時に、自然数を並べたら無限列ができることを主張しているよ（こちら主だ）
なんか笑っちゃいますね
自然数列 0,1,2,… とは恒等写像 i:N→N, i(n)=n のことですよ？
ペアノの公理は自然数が満たすべき条件を述べたものです。ペアノの公理を書いてごらんなさい。書かずに妄想するから理解できないんです。
それであなたは宿題「ZF上で自然数全体の集合Nを構成し、Nがペアノの公理を満たすことを証明せよ」を未提出ですよ？学生なら落第です。
336:Antigod
22/01/16 21:18:06.90 .net
>>304
１．無限列ができたからといってωができたとはいわないが
２．→0は逸脱だね 馬鹿はすぐ
337:逸脱して間違うね 脳味噌ないの？ ３～４．関係ないね いい加減、∞番目の箱がないって気づこうね ５～６．Vωがあるからといって「可算多重の重なり」もあるとは言えないね 自然数と同じだけシングルトンが存在するのは🐎🦌でもわかる 中卒ニホンザルの君はそこから間違った一歩を進めて 肥壺に落ちて💩塗れで溺死した 可算無限個の箱に∞番目の箱はない 1/1,1/2,1/3,・・,1/n,・・に1/∞=0はない 君はないものをあると妄想して💩の中で溺死したんだ ま、そのまま腐って💩になりはててしまえｗ
338:Antigod
22/01/16 21:20:41.13 .net
>>303
圏論は別に集合論から逸脱してない
大きな圏が集合ではなく固有クラスになるということが
即「圏論は集合論より強力である」ことを意味してると
思うなら正真正銘の🐎🦌野郎
339:１３２人目の素数さん
22/01/16 22:11:19.42 iWQKcoe1.net
共通テスト二日目も試験担当を外された
底辺准教のお人形さんごっこでスレが埋まった
340:１３２人目の素数さん
22/01/16 22:18:54.11 OIUv1bSc.net
>>310
今からオナニーして寝ます
ちょいブス女のヌードが最近のお気に入りです
341:１３２人目の素数さん
22/01/16 22:48:40.45 e5xijWkZ.net
>>306
>斎藤毅のアジテーションに感化されていて頭が悪い。
ありがとう
半分はそうかもね
で、斎藤毅の代案は？ 何かある？
>表面的な理解だけでは、ものにならない。
まあ、「ものにならない」「ものになる」の定義しだいかも
おれは、いまさら数学をものにしようという意図ないし
望月IUTをちょっとかじってみようという準備で、斎藤毅 「原論」を見ているだけ（歯が立たないかもだが）
342:１３２人目の素数さん
22/01/16 22:55:04.68 xIO1Nj+D.net
というか斎藤も松坂も集合論の本じゃなくね？
集合論の教科書ってキューネンのオレンジの本とか竹内外史の現代集合論入門とかそういう奴だと思った
343:１３２人目の素数さん
22/01/16 23:10:00.85 e5xijWkZ.net
>>304 補足
>>86より 再録(参考)
URLﾘﾝｸ(en.wikipedia.org)
Zermelo set theory (sometimes denoted by Z-)
”AXIOM VII. Axiom of infinity (Axiom des Unendlichen)
"There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."”
とあって、無限公理（Axiom of infinity）で、集合Zが存在すると言葉で書かれている
この集合Zは、ドイツ語で数Zahlからで（下記）、自然数の意味ですね
参考
URLﾘﾝｸ(de.wikipedia.org)
Zahl
(引用終り)
つまり、>>246に書いたが
添え字 n∈N で、
後者関数 suc(an)＝{an}n+1 (つまり、添え字nやn+1は残す)として
0,1,2,・・n,n+1,・・→ω(極限)
0→{}0
1→{{}0}1
2→{{{}0}1}2
・
・
n→{・・{{{}0}1}2・・}n
n+1→{{・・{{{}0}1}2・・}n}n+1
・
・
↓
ω→{・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限)
という対応になる（一番外にカッコ{}あり）
外のカッコを外すと
・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N（添え字）となる
これが、存在すること、つまり、nが全ての自然数を尽くすことは、ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) で認められているのです
だから、これが、Zermelo set theory (sometimes denoted by Z-)の中には、存在するのです
そして、ZFCがZermelo set theoryを包含することを認めるならば、ZFC中にも ・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N（添え字）が存在します
QEDｗ
以上
344:１３２人目の素数さん
22/01/16 23:17:16.86 UCRiVL/x.net
>>31
345:4 御託はいいのでズバリ答えて下さい 「xの元は何か？」「＜ωの左隣は何か？」
346:１３２人目の素数さん
22/01/16 23:27:54.90 e5xijWkZ.net
>>313
>というか斎藤も松坂も集合論の本じゃなくね？
>集合論の教科書ってキューネンのオレンジの本とか竹内外史の現代集合論入門とかそういう奴だと思った
ありがとう
いまどき、「集合論」といっても、その世界は広い
何を目的に学ぶのかと、自分の立ち位置が問題（学生なのか院生なのかそれ以上なのか、逆に趣味かｗ）
キューネンとか竹内外史の現代集合論入門とかは、完全に” Logician”（下記竹内にある）向けでしょ？
いわば、新井紀子、新井敏康ご夫妻レベルを目指す人向けでしょ
これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う
それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね？
（素朴集合論＋圏論になると思うが）
(参考)
URLﾘﾝｸ(www.nippyo.co.jp)
現代集合論入門（日評数学選書）［増補版］
発刊年月 1971.10
内容紹介
公理的集合論の初等的な部分を、著者独特の名調子で解説する、異色の入門書。増補版刊行にあたり、大発展しつつある現代の集合論の状況について、コンパクトに分かりやすく解説した記事二篇を収録した。
目次
序章 Logicians小伝
第1章 プール代数について
第2章 公理的集合論
第3章 集合論の展開
第4章 マルチンの公理
付録1 現代集合論のめざましい発展
付録2 数学の最前線/集合論とその周辺
347:１３２人目の素数さん
22/01/16 23:34:21.23 UCRiVL/x.net
>>314
>外のカッコを外すと
>・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N（添え字）となる
>これが、存在すること、つまり、nが全ての自然数を尽くすことは、ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) で認められているのです
AXIOM VII. が存在を主張する集合Zは、{}∈Z と ∀a∈Z⇒{a}∈Z を満たす集合です。つまり ∃Z({}∈Z ∧ ∀a∈Z⇒{a}∈Z)
AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."
・・{{・・{{{}0}1}2・・}n}n+1・・なる訳の分からないモノの存在を認めているなどとはどこにも書かれてませんよ。嘘はいけませんね。どうして嘘つくのですか？
348:１３２人目の素数さん
22/01/16 23:39:17.88 5ZeTiDjp.net
そもそも天羽さんは監督"させる"立場だからね
天羽さん程の教授になるとそんなバイトでも出来るようなショボい仕事はする必要が無い
349:１３２人目の素数さん
22/01/16 23:39:21.29 sSz0uXXL.net
ω←優子のまんまん
350:１３２人目の素数さん
22/01/16 23:45:10.32 e5xijWkZ.net
>>316 補足
>これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う
>それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね？
前にも書いたが
「位相空間」の教科書として、空集合から始める人は居ないでしょ？
「位相空間」やるなら
素朴集合論ベースで、実数Rか、その前の有理数Qか、いっそN,Z,R,C全部そろいましたから始めれば良いんじゃね？
その前段の空集合から、N→Z→Q→R→Cのところは手っ取り早く、進めれば良い
斎藤毅>>303がこの流儀で、P92 「2.9 空集合から有理数まで」として、だいたい3頁強で、有理数体Qまで導出している
使っているのは、数学的帰納法のみ。無限公理もペアノ公理も出てこない。選択公理は使っているけど、厳密には可算選択公理だが、細かいことはスルーしているね
これはこれで、割り切って良いと思う
351:１３２人目の素数さん
22/01/16 23:51:41.20 e5xijWkZ.net
>>317
>・・{{・・{{{}0}1}2・・}n}n+1・・なる訳の分からないモノの存在を認めているなどとはどこにも書かれてませんよ。嘘はいけませんね。どうして嘘つくのですか？
認めているよ
ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) は
0={}
1={{}}
2={{{}}}
・
・
として、
順序数としての全ての自然数Nの元を尽くすってこと
それを認めているんだ
カッコに添え字を付けたら
添え字は、全ての自然数を尽くせるよ
それが上記の”・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N（添え字）”（>>314より）ってこと�
352:ﾅす
353:１３２人目の素数さん
22/01/17 00:31:31.63 q+xk/h6n.net
>>321
>ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) は
>0={}
>1={{}}
>2={{{}}}
> ・
> ・
>として、
>順序数としての全ての自然数Nの元を尽くすってこと
>それを認めているんだ
どの自然数Nの元にも最外カッコが有りますよ？
一方・・{{・・{{{}0}1}2・・}n}n+1・・には有りません。
ご自分が何を言ってるか理解できてますか？
354:１３２人目の素数さん
22/01/17 00:35:04.00 q+xk/h6n.net
>>321
それで・・{{・・{{{}0}1}2・・}n}n+1・・の元は何ですか？
まだ答えてもらってませんよ？
解答書くとご自分でおっしゃったこと、もう忘れたんですか？
355:１３２人目の素数さん
22/01/17 00:44:45.25 q+xk/h6n.net
>>321
そもそも
∃Z({}∈Z ∧ ∀a∈Z⇒{a}∈Z)
を見れば分かる通り、Zが持つべきとされているのは{}または{a}の形の元ですよ？
・・{{・・{{{}0}1}2・・}n}n+1・・はどちらの形の元でもありません。
一体あなたは無限公理の何を理解できたつもりなんですか？
356:１３２人目の素数さん
22/01/17 01:27:03.06 Lo4NIQGH.net
疑問文3連投はバカの底辺准教の特徴
まともな人間は疑問文を連続3連投もせず
簡潔に意見を記す
357:１３２人目の素数さん
22/01/17 01:31:07.24 7lkqR1d/.net
>>279 > ωの前者っていうとsurreal思い出す
然しωには
（自身に後者関数演算を施して得られる序数で『ある』）後続序数は存在する一方で
（自身に前者関数演算を施して得られる序数で『ない』）先達序数は存在せんのか？
じゃあ超現実数としては存在するω-1は序数ではないと考えるべきなん？
（先達序数は我流仮称に就き適宜に読み替えられたし)
1+ωとω+1の違いや1+ω=ω<ω+1に就き交換則不成立の理屈の土台と成る超限序数を見知ってるだけで
知り熟しとらん儂が尋ねるのは年甲斐も無いどころかガキの児戯に等しい程度でさえ無く
ガキの児戯と比しても劣る滑稽な行為で在る事は分かっとる｡
358:１３２人目の素数さん
22/01/17 01:38:11.09 Lo4NIQGH.net
■IUTスレ長期占有荒らしこと
ネットハラスメントストーカ 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
22年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは2000年当時からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは2008年に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
【事例3】自称 天羽 優子 は2017年にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
359:１３２人目の素数さん
22/01/17 03:03:43.05 6Ij9gyaf.net
>>327
ため息が出るほど美しい
360:１３２人目の素数さん
22/01/17 06:48:54.02 pHuGtbwC.net
>>321 が誤り
>>322 が正しい
SET A君はさすが素人
集合論の公理、一つも知らないんだね
361:１３２人目の素数さん
22/01/17 06:55:46.62 ypb7yhC9.net
>>328
底辺准教天羽優子が荒らしと確定
362:１３２人目の素数さん
22/01/17 06:57:23.75 ypb7yhC9.net
>>329
キモ顔底辺准教の書き込みは365日同じ話の繰り返しでバカでもできるストーキング芸でしかないね
山形大学はそのレベルの犯罪者が教員になれるとは爆笑
363:１３２人目の素数さん
22/01/17 07:21:43.86 HMDMigzR.net
>>331
どうも、スレ主です
荒らし退治、取り締まり、ありがとう
364:１３２人目の素数さん
22/01/17 07:52:13.43 HMDMigzR.net
>>280
・いまからIUTを、本格的に勉強しようという人は、このKirti Joshiを眺めた方が良いだろう。IUTがやろうとしている意図が見える
・あと、南出論文の改良、”南出論文∩+α” で、なにか+αで、明示公式の範囲を狭く改良できれば良い。+αは、何でもあり。とにかく、∩でなんか付け加えれば、改良できる
・なお、ABC予想から導かれるとされていた幾つかは、まだ手つかずで 残っている気がする（>>244 ABC予想 得られる結果の例 URLﾘﾝｸ(ja.wikipedia.org))
365:１３２人目の素数さん
22/01/17 08:26:45.89 kgStLHPj.net
Kiri Josh氏は望月さんの仕事に触発されているけれども、自分の仕事は全く別の考えたちを土台にしているとわざわざいっているのが面白いな。
Ellenberg氏はJosh氏の仕事はより主流に近いものだとしている。
そろそろ望月さん業績の位置づけが進みそうだ。
366:１３２人目の素数さん
22/01/17 10:26:55.97 1XwbGXCm.net
>>334
どうもです
スレ主です
レスありがとう
>Ellenberg氏はJosh氏の仕事はより主流に近いものだとしている。
>そろそろ望月さん業績の位置づけが進みそうだ。
そうだね
そして、もう望月IUTを乗り越えて行こうっていう動きだね
Josh氏もそうだし、フェセンコ先生も、そういう動きだね
>Kiri Josh氏は望月さんの仕事に触発されているけれども、自分の仕事は全く別の考えたちを土台にしているとわざわざいっているのが面白いな。
西洋流でしょうね
人の後追いじゃない！
オリジナリティは ここ というアピールを忘れない
367:１３２人目の素数さん
22/01/17 11:39:08.80 5Vz66C4f.net
>>327
あグロ
368:１３２人目の素数さん
22/01/17 11:40:02.01 5Vz66C4f.net
>>20
369:１３２人目の素数さん
22/01/17 15:26:05.74 igsBLdxO.net
数学の教科書開いた事ないくせに今からiutに手をつける人間にアドバイスするクズ一名
370:１３２人目の素数さん
22/01/17 16:36:45.40 1XwbGXCm.net
>>338
数理論理君か
あんた、大局と戦略間違っているよ
間違いその１、５ｃｈで一人前に数学やった気になっている
間違いその２、高校数学にレスして、一人前に数学やった気になっている
数学が、あなたの仕事として成り立っていないよね
定職
371:ないんだろ？ 朝から晩まで、５ｃｈ数学板かね http://hissi.org/read.php/math/20220117/aWdzQkxkeE8.html 必死チェッカーもどき ID:igsBLdxO 書き込んだスレッド一覧 １３２人目の素数さん 面白い数学の問題おしえて～な 40問目 Inter-universal geometry と ABC予想 (応援スレ) 64 分からない問題はここに書いてね 470 書き込みレス一覧 面白い数学の問題おしえて～な 40問目 215 ：１３２人目の素数さん[]：2022/01/17(月) 14:52:31.40 ID:igsBLdxO >>201 は多分ノーヒント苦しいのでヒント まず x = tan(θ) で置換すると I(a,b) = ∫[0,∞]1/√((x^2+a^2)(x^2+b^2))dx よって I((a+b)/2,√(ab)) = ∫[0,∞]1/√((x^2+(a+b)2/2)(x^2+ab))dx = 1/2∫[-∞,∞]1/√((x^2+(a+b)2/2)(x^2+ab))dx コレをもう一回置換積分 どう置換するかがミソですがここまで来ればこの手の積分の置換の定石 コレがピタッとI(a,b)になるのがとても心地よい
372:１３２人目の素数さん
22/01/17 17:31:41.74 Z2aplBry.net
>>339
数学の教科書まるで読んだ事ない人間のくせして懸命に数学の世界で頑張ってる人間に「アンタ間違ってる」と謎の上から目線
数学という学問に一切の畏敬の念も持たないクズ
373:１３２人目の素数さん
22/01/17 21:13:19.42 HMDMigzR.net
>>340
どうも、スレ主です
ID:Z2aplBry氏か、下記見ると数理論理君だね
IDが、>>338-339のID:igsBLdxOと変わっているけど、
たまに午後4時ころ変わったりするときがあるからそれだね
ID:Z2aplBry氏とID:igsBLdxO氏の発言の時間帯は、完全に分離されているから、同一人物と考えて良さそうだし
「さらにアホなんだよパープー」（下記）の”パープー”が、>>292の発言でも使われているからね
あんたの発言が受けないのは、自分が数学的に意義ある発言ができないばかりか、他人のこき下ろし発言ばかりでしょ
そりゃ、「鼻つまみ者」になるよね
ところで、定職がないなら、数学解説のYuotube でもやったらどうだ？ 5ｃｈでなく
数学解説のYuotube で稼いでいる人いるよ。Yuotube は収入になるらしい
5ｃｈで「分からない問題はここに書いてね」に、いくら書いても、お金にならんぜ
そういう意味でも、大局と戦略間違っていると思うよ
(参考)
URLﾘﾝｸ(hissi.org)
必死チェッカーもどき
ID:Z2aplBry
書き込んだスレッド一覧
１３２人目の素数さん
Inter-universal geometry と ABC予想 (応援スレ) 64
分からない問題はここに書いてね 470
dx dy の意味は？★２
書き込みレス一覧
Inter-universal geometry と ABC予想 (応援スレ) 64
340 ：１３２人目の素数さん[]：2022/01/17(月) 17:31:41.74 ID:Z2aplBry
>>339
数学の教科書まるで読んだ事ない人間のくせして懸命に数学の世界で頑張ってる人間に「アンタ間違ってる」と謎の上から目線
数学という学問に一切の畏敬の念も持たないクズ
分からない問題はここに書いてね 470
237 ：１３２人目の素数さん[]：2022/01/17(月) 17:57:25.29 ID:Z2aplBry
>>236
教科書に載ってる文章だろうがなんだろうが>>235を読んで「ああ、そうだ、その通り」って思えないからさらにアホなんだよパープー
分からない問題はここに書いてね 470
240 ：１３２人目の素数さん[]：2022/01/17(月) 18:19:50.43 ID:Z2aplBry
先人に対してなんの畏敬の念も持てないクソ
374:１３２人目の素数さん
22/01/17 21:17:30.97 HMDMigzR.net
>>341 タイポ訂正
ところで、定職がないなら、数学解説のYuotube でもやったらどうだ？ 5ｃｈでなく
↓
ところで、定職がないなら、数学解説のYouTube でもやったらどうだ？ 5ｃｈでなく
あと
ご参考
URLﾘﾝｸ(manekomi.tmn-anshin.co.jp)
【2021年最新版】YouTubeで稼ぐために必ず知っておきたい５つのポイント
2020.6.10
ライター 山本 杏奈
375:１３２人目の素数さん
22/01/17 23:33:50.35 q+xk/h6n.net
>>341
早く「xの元は何か？」「＜ωの左隣は何か？」に答えてもらえませんか？
なんで答えないんですか？
376:１３２人目の素数さん
22/01/17 23:55:02.00 HMDMigzR.net
>>341 補足
>数学解説のYuotube で稼いでいる人いるよ。Yuotube は収入になるらしい
参考 ヨビノリたくみ氏
URLﾘﾝｸ(newswitch.jp)
難解な物理・数学を解説。博士課程からYouTuberへの転身を聞く
【連載】転換�
377:_ #4 YouTuber・ヨビノリたくみ氏 2022年01月04日 トピックス https://images.newswitch.jp/images/i2rAbiuHccyy2qnckEvBhR0oEAmgsONzWLL3BsFf.jpeg 登録者８４万人、物理や数学などを解説する教育系ユーチューバーとして有名なたくみさん。「予備校のノリで学ぶ『大学の数学・物理』」（ヨビノリ）のチャンネルで活動している。研究者を目指した博士課程からの転身のきっかけと、今後について聞いた。 ―ＹｏｕＴｕｂｅを始めた経緯を教えてください。 https://dime.jp/genre/1099555/ チャンネル登録者65万人の大人気教育系YouTuberヨビノリたくみが明かす人生最大の計算ミス 2021.03.16 ビジネス YouTuberの中でもほんの一握りの者にしか到達できない「1000万回再生」の壁――。今年2月、「中学数学からはじめる相対性理論」という一本の動画がその壁を超えた。投稿した「予備校のノリで学ぶ『大学の数学・物理』」のたくみ氏には、動画内では語らない熱い使命感と並々ならぬ強いこだわりがあった。＠DIMEにだけ打ち明けてくれた、彼の「動画にかける想い」を独占公開！！ https://dime.jp/genre/files/2021/03/S__34144338.jpg つづく
378:１３２人目の素数さん
22/01/17 23:55:32.74 HMDMigzR.net
>>344
つづき
底辺YouTuberになると思っていたら……
東京大学大学院の博士課程で理論物理学を研究していた僕がYouTubeを始めたきっかけは、一言で言ってしまえば「研究者になれなかったときのためのリスクヘッジ」です。博士の学位をとったからと言って、必ずしも研究者として食べて行けるわけではありません。別の道に進もうと思っても、そのときにはすでに30歳近くになってしまっています。
博士課程に進学したとき、学術振興会特別研究員というものに運良く採用され、国からお金をいただく代わりに副業が禁止となり、大学入学以来ずっと続けていた予備校講師を辞めることになりました。それでも、学位の取得後に予備校講師としての道を残しておくために「YouTube」という場所で名を売っておこうと考えたわけです。
YouTubeを始めたきっかけは、それだけではありません。気になっていたのは「理系大学生の理系離れ」です。高校生の頃まで大好きだった数学や科学も、大学に入って授業が全く理解できずに嫌いになってしまう大学生が多く存在します。彼らにわかりやすく、そして面白く「大学の数学・物理」を伝えたいと思い、そのアウトリーチ活動の一環として、YouTubeチャンネル『予備校のノリで学ぶ「大学の数学・物理」』が生まれました。
YouTuberになる前に、「上手く行ったとしたら登録者は何人ぐらいになるだろう」というフェルミ推定をしました。日本の理系大学生の数は約80万人と言われており、そのうち数学や物理がしっかりと必要になる学生は20%ぐらいです。その中でYouTubeで勉強するほどやる気のある学生は多く見積もっても10%ほどでしょうから、彼らが全員チャンネル登録したとしても、その数は1.6万人ほどです。テレビ番組では底辺YouTuberと言われてしまう部類です(笑)
しかし蓋を開けてみると、先取り学習に使う中学生や高校生、そして何よりも大きかったのが「学び直し」で見てくださる大人の視聴者の方でした。その結果、今では登録者は6
379:0万人を超え、僕の見積もったフェルミ推定(※)は人生で最大の計算ミスとなったわけです。 ※フェルミ推定／実際には調べることが難しい数量を、別の数量をもとに論理的に見積もること。 (引用終り) 以上
380:１３２人目の素数さん
22/01/17 23:55:38.59 ypb7yhC9.net
底辺准教のひとはやたらVtuberムーブメントに乗っかろうとしているね
自身は一日中匿名掲示板で暴れて無知蒙昧を晒す知的障害者状態な上に、容姿コンプレックス、
ストーキング相手は全員無職だと決めつけてVtuberをヤレと言い出すのは
全部本人の職場内失業状態の外部投影だね
381:１３２人目の素数さん
22/01/18 00:03:27.98 Gf74pRTZ.net
>>345
答えないなら「分からない」とか「間違ってた」とか言えませんか？
三歳児じゃないんだから
382:１３２人目の素数さん
22/01/18 00:07:24.59 a1mXicNE.net
【山形キチガイジおばさん速報】超長期ハラスメント・ストーカー天羽優子@apj(自称長野在住)が自己紹介長文の新作を投下【山形大学生連続投身自殺事件を揶揄する反社会人格障害が顕著化】URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
406 名前:Nanashi_et_al.
:2022/01/16(日) 17:47:44.20
このスレは山形大学に入ったところまではよかったが
風俗にハマり学業が疎かになり学生実験で風俗の話ば
かりし成績に風俗のFを付けられ担当女性教員と大学
相手に揉めて風俗で本番強要をしていた事がバレて退
学となり失意のあまり飛び降り自殺したものの死にき
れず顔面を般若のような奇怪な風貌になるまでに損傷
し精神にも異常をきたし自らをびザリガニマンと呼び
担当女性教員に嫌がらせを受けていると語るのだが周
囲の人間にはただの思い込みとしか映らずボロを纏い
その下は赤褌一枚で街を歩きつつ自分は「神」であり
「魂のふるさと」であるという長野在住のおじさん専
用の「愛」と「正義」を説き続けるスレです
383:１３２人目の素数さん
22/01/18 06:14:52.64 Sb7/iQui.net
>>333 >>335 SET A氏は日本を諦めてインドに寝返ったらしい
>>339 >>341 SET A氏は初等的な積分すら計算できなくてムカついてるらしい
>>344 >>345 SET A氏はYoutuberになりたいらしい
384:１３２人目の素数さん
22/01/18 06:19:28.70 Sb7/iQui.net
SET Aに答えられない質問
１．ωの前者は？
２．無限列 ０＜・・・＜ω の、＜ωの左の項は？
３．”集合？”・・・{{・・{{{}0}1}2・・}n}n+1・・｝の要素は？
385:１３２人目の素数さん
22/01/18 11:02:38.43 8i8bV+CY.net
>>344
>登録者８４万人、物理や数学などを解説する教育系ユーチューバーとして有名なたくみさん。
>チャンネル登録者65万人の大人気教育系YouTuberヨビノリたくみ
ユーチューブの稼ぎの仕組みがわからんけどｗ
フェルミ推定ｗをしてみる。下記のランキングより、登録者数と年収に線形の相関があるとして
登録者1万人で、数十万円らしい
いま、簡単に、50万円とすると、８４万人だと、4200万円
65万人で、3250万円という推定になる
2万人で、100万円
300万円稼ぎたいならば、6万人の登録者を集めれば良い
もちろん、再生回数が重要と思うけどね
余談だが下記の”12あいみょん 年収・収入1億4488万1470円 累計収入 1億5837万141円 チャンネル登録数 159万人”に、ちょっとびっくりです
（参考
386:） http://www.tuber-town.com/channel_list_c/all_id_1.html Youtuberランキングサイト「チューバータウン」 2021年版 Youtuber年収・収入ランキング 第1位Junya.じゅんやJunya.じゅんや年収・収入6億1979万4197円 累計収入 8億3431万6274円 チャンネル登録数 1290万人 第2位Sagawa /さがわSagawa /さがわ年収・収入5億1367万2350円 累計収入 5億8731万8085円 チャンネル登録数 526万人 第3位まいぜんシスターズまいぜんシスターズ年収・収入2億5527万3724円 累計収入 5億4075万2020円 チャンネル登録数 226万人 第5位東海オンエア東海オンエア年収・収入2億4659万8599円 累計収入 11億5152万9206円 チャンネル登録数 621万人 第10位HikakinTVHikakinTV年収・収入1億5221万5403円 累計収入 11億608万2035円 チャンネル登録数 1040万人 12あいみょんあいみょん年収・収入1億4488万1470円 累計収入 1億5837万141円 チャンネル登録数 159万人
387:１３２人目の素数さん
22/01/18 12:27:48.52 FhZVFoea.net
>>348
ザ☆あグロ
388:１３２人目の素数さん
22/01/18 12:28:18.93 FhZVFoea.net
>>20
389:１３２人目の素数さん
22/01/18 12:59:25.84 QZiQjZhi.net
一々グロって安価してモザイクかけさせようとするのなかなか健気ね
390:１３２人目の素数さん
22/01/18 23:17:55.35 EPucTpd7.net
>>181
Thomas Sauvagetさん
”PhD @UniofNottingham”か
なるほど
URLﾘﾝｸ(twitter.com)
math_jinさんがリツイート
Thomas Sauvaget
1月15日
返信先:
@JSEllenberg
さん
Joshi also has two more recent preprints on the topic : URLﾘﾝｸ(arxiv.org) and
arxiv.org
Construction of Arithmetic Teichmuller Spaces and some applications
In this note I construct some categories which can be called Arithmetic Teichmuller Spaces. This construction is very broadly inspired by Shinichi
(参考)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(pbs.twimg.com)
Thomas Sauvaget
Statistician at
@Agri_Gouv
(formerly at
@InseeFr
) | AttStat
@Ensai35
& PhD
@UniofNottingham
| Public Service - AI - Space Exploration || Views my own.
(deleted an unsolicited ad)
391:１３２人目の素数さん
22/01/19 02:19:11.80 09bvSRMC.net
>>350
>SET Aに答えられない質問
代わりに答えましょう
>１．ωの前者は？
ありません。ωは極限順序数ですから。
>２．無限列 ０＜・・・＜ω の、＜ωの左の項は？
ωより小さい順序数は自然数に限られます。よって左の項は自然数です。
任意の自然数ｎに対して０＜・・・＜ｎ＜ωは有限列です。
>３．”集合？”・・・{{・・{{{}0}1}2・・}n}n+1・・・の要素は？
集合{a,b,c,…}の要素は最外カッコを外した a,b,c,… です。
・・・{{・・{{{}0}1}2・・}n}n+1・・・には最外カッコが無いので要素は定まりません。
必然的に・・・{{・・{{{}0}1}2・・}n}n+1・・・は集合たり得ません。
ZFでは集合でないものは存在しませんから{・・・{{・・{{{}0}1}2・・}n}n+1・・・}ωは存在しません。
392:１３２人目の素数さん
22/01/19 06:03:47.51 tKIbrwo1.net
>>351 >>355 SET A 無限についての初歩的質問すら答えられず 終わったな
393:１３２人目の素数さん
22/01/19 12:03:03.90 h0H/Iv3u.net
元々教科書開いた事すらないんだから始まってすらいない
394:１３２人目の素数さん
22/01/19 12:04:24.36 AYr0nvHb.net
底辺准教のお人形さんごっこで埋まるスレ
395:１３２人目の素数さん
22/01/19 12:41:32.36 Pp2jlb6t.net
>>359
URLﾘﾝｸ(gendai.ismcdn.jp)
396:１３２人目の素数さん
22/01/19 19:45:02.33 09bvSRMC.net
単に答えられないだけならいいが、答えると大見え切ってたよな
これはハズい
397:１３２人目の素数さん
22/01/20 02:47:03.52 koQM3WMf.net
なんだよセタ
結局、無限列「０＜・・・＜ω」も無限重シングルトン「{・・・{{・・{{{}0}1}2・・}n}n+1・・・}ω」も存在しねーじゃねーか
なぜ間違いを認めない？ おまえは三歳児か
398:１３２人目の素数さん
22/01/20 04:54:31.74 WYcIYe49.net
底辺准教氏、毎日同じ話を繰り返すメンヘラとバレて
相手にされなくなる
惨め
399:１３２人目の素数さん
22/01/20 06:15:46.27 Z7V8Vw9r.net
セタが創造したω重シングルトンの定義一連はω矛盾
> 「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）
この様に『定義の仕方により何でもござれに出来るのが21世紀の数学』と無再現無節操を尊ぶ思想がω矛盾を導く
400:１３２人目の素数さん
22/01/20 06:30:16.81 zkMmOhak.net
本日も底辺准教の繰り言
401:１３２人目の素数さん
22/01/20 06:37:15.41 Z7V8Vw9r.net
数学板内ω矛盾投稿四天王
4位 β（『e'=e、eは微分しても変わらない不思議な定数』『3<∞、∞は3より大きい』)
3位 バカボンパパ（『履歴に残せば0=1になる』『0.999…=1は数学での約束事で実際は0.999…≠1』『0除算もできず0.999…=1になる数学は学問としてまだまだって事です』)
2位 高木（「完全に正しいのにまた不当にリジェクトされました」「論文を書くのはエネルギーが必要なんだから些末を揚げ足取るのは不当」)
1位 セタ（21世紀の数学は定義の仕方によって何でも可能)
ぎゃあああ、いつの間にかω矛盾マンだらけだあああ、たぁ～すけてくれ～猿魔大王～
402:１３２人目の素数さん
22/01/20 07:57:44.23 QUOtNVEP.net
>>356
＞> ２．無限列 ０＜・・・＜ω の、＜ωの左の項は？
＞ωより小さい順序数は自然数に限られます。よって左の項は自然数です。
＞任意の自然数ｎに対して０＜・・・＜ｎ＜ωは有限列です。
なんだ、おサルかい>>7
おサルと、数理論理君、それに 多分 蕎麦屋のおっさん
降鎖と昇鎖の区別がついていない
幼稚園なみだね
過去スレで教えてやったのに
全然理解できていない
下記を、100回音読してください
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
昇鎖条件 降鎖条件
ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環のイデアルがある[1][2][3]。昇鎖条件および降鎖条件は、ダフィット・ヒルベルト、エミー・ネーター、エミール・アルティンらが可換環の構造に関する理論を構築する上で、重要な役割を果たした。
昇鎖条件および降鎖条件それ自体は、いかなる半順序集合に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel?Rentschler による抽象代数の次元に関する理論において有用である。
定義
半順序集合 P において、任意の真の上昇列 a1 < a2 < a3 < ... が有限回で止まるときに昇鎖条件が成り立つと言う。
同様に、半順序集合 P において、任意の真の下降列 a1 > a2 > a3 > ... が有限回で止まるときに降鎖条件が成り立つと言う。
注釈
・「無限に続く真の上昇／下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖／降鎖列が存在しない」（つまり列の長さの最大値が存在する）というものがある。
・降鎖条件を満たすことと、整礎であること、つまり任意の空でない部分集合が極小元をもつことは同値である。これは極小条件 (minimal condition) とも呼ばれる。
・昇鎖条件を満たすことと、逆整礎であること、つまり任意の空でない部分集合が極大元をもつことは同値である。これは極大条件 (maximal condition) とも呼ばれる。
・有限半順序集合は昇鎖条件と降鎖条件を満たす。
・降鎖条件を満たす全順序集合は整列集合と呼ばれる。
(引用終り)
以上