22/01/15 14:33:21.32 E0wCw7+f.net
>>169
どうも、スレ主です
ありがとうございます
> ※多ﾄｶ…穢★ﾄｶ…
> 貶ﾒ·ﾀﾞﾒ·ｾﾞｯﾀｨ!
そうだよね
ダメだよ
194:１３２人目の素数さん
22/01/15 14:35:15.70 9BpKK4U4.net
>>173
底辺准教の容貌の正解はコレ
URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) URLﾘﾝｸ(youtu.be)
これらの公式イベント公開写真を検索から隠す為に膨大な分量のSEOをしているのがとても哀れ
195:１３２人目の素数さん
22/01/15 14:38:55.51 Lv54qNF1.net
>>171で半角カタカナAA書き込みの主も
底辺准教天羽優子@apjと確定
共通テストの試験担当から外されて
週末一日中お人形さんごっことは悲惨
196:１３２人目の素数さん
22/01/15 14:43:39.02 Lv54qNF1.net
>>175
それ15年くらい前
池田信夫氏とトラブルを起こした底辺准教が
Wikipedia管理者Su-no-Gとバレた時に
嫌味で立てられた記事立項の基準に満たない
泡沫人物記事だろ
底辺准教はアウトローだから自身の記事を自分で編集して体裁を繕った黒歴史の記録が永久保存されていて笑える
197:１３２人目の素数さん
22/01/15 14:46:03.64 E0wCw7+f.net
>>159
あっ、なるほど math_jin 氏のこれか
なるほど
math_jin氏の情報収集能力はすごいね
敬服する
URLﾘﾝｸ(twitter.com)
math_jin
18時間
arXiv:2111.06771 (math)
[Submitted on 9 Nov 2021 (v1), last revised 5 Jan 2022 (this version, v2)]
Comments on Arithmetic Teichmuller Spaces
198:Kirti Joshi https://arxiv.org/abs/2111.06771 #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. Jordan Ellenberg 1月14日 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. (deleted an unsolicited ad)
199:江戸前寿司
22/01/15 14:51:06.86 .net
>>177
>>スレ主です
「すれぬし」？
「なれずし」の誤りだろうｗ
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
なれずし（熟れ鮨（鮓）、馴れ鮨（鮓））は、
主に魚を塩と米飯で乳酸発酵させた食品である。
現在の寿司は酢飯を用いるが、
なれずしは乳酸発酵により酸味を生じさせるもので、
これが本来の鮨（鮓）の形態である。
現在でも各地でつくられている。
現在の主流であるにぎり寿司を中心とした早ずし（江戸前寿司）とは、
まったく違う鮨（鮓）である。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
200:１３２人目の素数さん
22/01/15 14:56:00.18 E0wCw7+f.net
>>181
>Jordan Ellenberg
この人は、ちょっと大物かも（下記）
”Ellenberg”の名前は、どこかで見たかも
はっきりとは記憶していないが
URLﾘﾝｸ(en.wikipedia.org)
Jordan Ellenberg
URLﾘﾝｸ(upload.wikimedia.org)
Jordan Stuart Ellenberg (born 1971) is an American mathematician who is a professor of mathematics at the University of Wisconsin?Madison.[2] His research involves arithmetic geometry. He is also an author of both fiction and non-fiction writing.
201:江戸前寿司
22/01/15 14:57:57.94 .net
>>165
>セタ→Seta→S eta→S穢多→スーパー穢多→超穢多
エタは蔑称ではない 穢多と書くなどもってのほかである
日本語を話す日本人は、この島々にもともといた者ではない
彼らは朝鮮半島から来た侵略者である
彼らはもともとこの島にいたエタと呼ばれる人たちを迫害した
我らは今こそエタの言葉を復活させなくてはならない
エタこそがこの島の本当の主であることを示さなくてはならない
朝鮮からきた近畿の日本人入植地を絶滅させなくてはならない
朝鮮からきたオオキミの一族を絶滅させなくてはならない
202:DiverCity
22/01/15 15:02:15.77 .net
>>168
台場といえば台場正だよ
URLﾘﾝｸ(captainharlock.weebly.com)
203:Antigod
22/01/15 15:05:29.52 .net
>>169
>貶ﾒ·ﾀﾞﾒ·ｾﾞｯﾀｨ!
if you show true courage, we can change the world.
URLﾘﾝｸ(www.youtube.com)
204:１３２人目の素数さん
22/01/15 15:06:12.89 ndPWp95Y.net
>>178
水着写真もプリーズ！
205:道玄坂69
22/01/15 15:12:38.92 .net
>>187
ほれっｗ
URLﾘﾝｸ(www.youtube.com)
206:１３２人目の素数さん
22/01/15 15:28:32.79 E0wCw7+f.net
>>176
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
で、「ω重シングルトン」について、過去だれも言及していないならば
おれの「言ったもの勝ち」ってことだな
でも、Zermelo�
207:ｪ、空集合Φ={}から始まって、自然数の集合を構成した1900年代初頭から ZFCが完成する1930年代の文献を掘ったら、何か出てきそうな気はする （ここらは、デジタル検索に乗らないものが多そうだし、その上独語文献が主だろうから、ちょっと手が出ないが） しかし、カッコ{}に添え字付きを考えたのは、私のオリジナルだという気がする ”カッコ{}に添え字付き”なんて、アホなことを考えるのは、私くらいでしょうからｗ
208:１３２人目の素数さん
22/01/15 15:35:43.34 HiV/r4fj.net
>>160
>最初、空集合Φ={}だけがあった
空集合の存在も公理
空集合だけ特別扱いするのは間違い
>神は、「自然数Nあれ」と言われた（無限公理）
無限公理はNを構成するための必要条件だが十分条件ではない
相変わらず何も分かってないね君
なんで無知を天下に晒したがるの？
209:DiverCity
22/01/15 15:35:55.70 .net
>>189
>「ω重シングルトン」について、
>過去だれも言及していないならば
>おれの「言ったもの勝ち」ってことだな
ω重シングルトンが、あり得ないから
SET Aの一人負け、っつーか、オウンゴールよなあｗ
210:１３２人目の素数さん
22/01/15 15:43:11.44 XIv7ZgZl.net
>>189
よし-3重シングルトン、0.5重シングルトン、i重シングルトン
ほら言及したもの勝ち
211:１３２人目の素数さん
22/01/15 15:45:36.53 HiV/r4fj.net
>>158
>けれども、「ω重シングルトン」を考えるとき、二つの立場がある
>1）公理的に、順次集合を構築して、「ω重シングルトン」に至る
>2）公理的に、全ての集合や順序数が構築され、いろんな定義、定理（それは通常の数学の定義や定理も含む）を使って、「ω重シングルトン」をどう理解するか？
>この二つは、区別しようね
>そして、上記2）の立場だと、
>1）に比べて自由度が上がっていることにも注意しようね
御託はいいから早く「ω重シングルトン」の定義を書いてくれない？
212:１３２人目の素数さん
22/01/15 15:53:37.17 HiV/r4fj.net
>>189
まず「ω重シングルトン」ってZF上の集合なん？
それすら答えられずに何勝ち誇っちゃってんの？バカなの？
213:DiverCity
22/01/15 16:04:18.86 .net
>>193-194
俺なら、ωはω重シングルトンじゃなくて超集合ってことにするｗ
超集合(hyperset)は集合の一般化で、超要素(hyperelement)を持つ
集合に関しては、要素はもちろん超要素だが
要素の要素、要素の要素の要素、・・・を全て超要素とする
ωの場合、要素は持たないが、有限シングルトン全てを超要素とする
214:超集合ω
22/01/15 16:12:55.13 .net
>>195
それ、いただいた
URLﾘﾝｸ(www.youtube.com)
215:Antigod
22/01/15 16:16:39.71 .net
じゃ、あんたの名前は俺が貰う
216:超集合ω
22/01/15 17:25:47.64 .net
超集合論における定理？
「Zermeloによる順序数λが超集合となるのは
λが極限順序数であるとき、そのときに限る」
217:１３２人目の素数さん
22/01/15 18:10:08.63 P8qBRTf0.net
>>189
> しかし、カッコ{}に添え字付きを考えたのは、私のオリジナルだという気がする
> ”カッコ{}に添え字付き”なんて、アホなことを考えるのは、私くらいでしょうからｗ
(順序数を使って)カッコの添字の個数を数えてみろよ
0,1,2, ... ,ω
添字の個数はωじゃないだろ
218:１３２人目の素数さん
22/01/15 18:10:27.82 ndPWp95Y.net
>>188
激しくシコった
祐希ちゃんとセックスしたい！
219:１３２人目の素数さん
22/01/15 18:31:56.87 HiV/r4fj.net
>>189
ω{の右隣りの{は無いって言ったよな？
じゃあ空集合じゃん 右隣りの{が無いってことは{}なんでしょ？
220:１３２人目の素数さん
22/01/15 18:32:24.18 P8qBRTf0.net
> そして、”∞とはなんぞや？”、”∞をどう考えるべきか？”
> 21世紀には、21世紀の「∞」に対する考えがあると思うんだよね
21世紀の「∞」はともかくセタの過去の書き込み
ｽﾚﾘﾝｸ(math板:101番)
ｽﾚﾘﾝｸ(math板:107番)
ｽﾚﾘﾝｸ(math板:112番)
などは
このご時世だと「犯行予告」になるんだろうね
221:１３２人目の素数さん
22/01/15 18:34:01.64 HiV/r4fj.net
ω{{}}ω はダメだよね 右隣りの{あるから
ω{}ω しか残ってないよ 右隣りの{無いなら
222:１３２人目の素数さん
22/01/15 18:35:59.42 HiV/r4fj.net
つまりペテン師く�
223:ｪ主張するω重シングルトン＝空集合ってことか うん、確かに存在するね、空集合の公理があるから
224:１３２人目の素数さん
22/01/15 19:31:43.20 HiV/r4fj.net
空集合はシングルトンじゃないのになんでω重シングルトンなんて紛らわしい名前付けたんですか？
225:１３２人目の素数さん
22/01/15 20:17:16.37 9BpKK4U4.net
共通テスト第一日目、試験担当を外された
底辺准教天羽優子のお人形さんごっこでスレが埋まった
226:１３２人目の素数さん
22/01/15 20:21:48.69 E0wCw7+f.net
>>189
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
「ω重シングルトン」再録
Inter-universal geometry と ABC予想 (応援スレ) 63
ｽﾚﾘﾝｸ(math板:481番)
481 名前：１３２人目の素数さん[sage] 投稿日：2021/12/31(金) 23:46:45.70 ID:42KgtWK6 [11/12]
つまり、ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成するんだよ
Inter-universal geometry と ABC予想 (応援スレ) 62
ｽﾚﾘﾝｸ(math板:265番)
an=n{n-1{・・1{0{}01}1・・}n-1}n＝n{n-1{・・1{Φ}1・・}n-1}n（Φの外にn重カッコ）
↓
aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω（Φの外にω重カッコ）
(引用終り)
妄想？
数学では、「こんなのがあったら良いんじゃね？」という発想から成り立っている概念が多いよ
列記するまでもなく、いろいろ思いつくだろう
発想した概念（の定義）は、
１）他の概念から導ける（証明できる）
２）他の概念から独立（導けない）
３）他の概念と矛盾する
の３通り
”３）他の概念と矛盾する”の場合でも、例えば、選択公理と決定性公理のように、
選択公理をやめて、決定性公理を使うような場合とかある
「無限重シングルトン」は、ノイマン基数割当を経由しないと、定義出来ないとは思っているよ
でも、上記の１） or ２）と思っている。３）と思う人もいるだろうね
どうぞ証明を。私は突っ込み側に回るからｗ
(引用終り)
以上
227:１３２人目の素数さん
22/01/15 20:26:57.68 +zNCryZd.net
>>174
あグロ
228:１３２人目の素数さん
22/01/15 20:27:45.37 +zNCryZd.net
>>173
何度でもあグロ
229:１３２人目の素数さん
22/01/15 20:28:06.42 +zNCryZd.net
>>178
喚こうがあグロ
230:１３２人目の素数さん
22/01/15 20:28:51.40 +zNCryZd.net
>>20
231:１３２人目の素数さん
22/01/15 20:37:27.25 Lv54qNF1.net
■数学板お人形さんごっこ荒らしこと
超長期ハラスメント・ストーカ 天羽 優子 @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番)
232:１３２人目の素数さん
22/01/15 20:38:35.68 Lv54qNF1.net
>>212【事例1】天羽 優子 @apjは2000年当時からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
記事のキャンセルについて(Re: 職場からの直メール)
apj 2000/02/17
私の投稿した記事
<apj-280100...@ochanews.ocha.ac.jp> のキャンセルを、本日行いました。
キャンセルの理由ですが、このメッセージ中には、北大の木村氏からの、私の師匠(冨永教授) 宛のメールが引用されています。メールは、私がdeus氏やnonanonymous氏の記事にフォローしたことについてフォローを止めさせるように私の師匠に依頼する内容でした。
師匠が私に状況説明のためにコピーを送付したものを、私の判断で引用したものでした。公開時は、記事のコピーを師匠宛にメールにて送付してありました。
ところが、師匠から、
「メールは私に宛てたもので、ニュースのことはニュースでというルール違反であることは明白だが、もし、北大の木村氏が私信のつもりだったのに公開されたと突っ込んできた場合、私は反論できない。」
と言われました。
今後、もし北大の高職位 ((c)deus)な人々から、何かクレームがついた場合、師匠が突っ込まれるような点は無くしておく必要があると考え、キャンセルすることにしました。
ネットワークに余計なメッセージを流したことをお詫びしたします。
「大丈夫。医学がだめでも科学があります。歩けるどころか、
空だって飛べるようになりますよ 」
天羽優子居候先: お茶の水女子大学大学院人間文化研究科
複合領域科学専攻 冨永研究室
(y.amo) a...@atom.phys.ocha.ac.jp URLﾘﾝｸ(atom11.phys.ocha.ac.jp) 冨永研究室非公式案内
233:１３２人目の素数さん
22/01/15 20:39:16.02 Lv54qNF1.net
>>212【事例2】山形大学職員天羽優子@apjによる
「2008年工学部学生誤爆ハラスメント事件」
(教員の思い込みによる学生いじめ事件)
のスレはこちら
山形大学・天羽准教授による鬱への差別 (過去アーカイブ)
URLﾘﾝｸ(itest.5ch.net)
234:１３２人目の素数さん
22/01/15 20:39:29.03 E0wCw7+f.net
>>207
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
ふと思ったが
不定域イデアル（岡先生）
↓
Sheaf(層、カルタンセミナー)
みたいな
IUT（望月先生）
↓
Arithmetic Teichmuller Spaces（>>181）など（Kirti Joshiなど）
みたいな
不定域イデアル（岡先生）、
IUT（望月先生）
”新しい概念を言ったもの勝ち”！
235:１３２人目の素数さん
22/01/15 20:40:16.09 Lv54qNF1.net
>>212【事例3】自称 天羽優子 による「ピストン西沢氏への親告罪訴訟恫喝」過去ログ
J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番),925,948
912 名無しさん 2017/09/22 00:10:01
> 769 名無しさん 2017/09/21(木) 19:25:35.73
> 山形大学理学部天羽優子の掲示板長期荒らしは文体が全部一緒な上に、書いてる内容は本人以外にとってどうでもいいレベルの長文エッセイだからいい加減やめて欲しいね。
>
> 日記は例の小汚いサイトに書いとけ
> 771 名無しさん 2017/09/21(木) 19:35:55.31
>>>769
> 同じ人間が文章を書いてるのに、文体が全部一緒で
236:何が悪いのか。 > そもそも私はミッキーだって言ってるのに、優子ちゃんだとかplumちゃんだとか人物を勝手にわけてるんでしょう。 > アンタいつか錯乱して人殺しそうね。 > 呪われた家系って感じ
237:１３２人目の素数さん
22/01/15 20:41:11.31 Lv54qNF1.net
>>212【事例3】続き
925 名無しさん 2017/09/22 06:44:15
>>912 ピストン西沢さんこと、西澤健さんへ
あなたの書き込み（その他１７個のこれに類する書き込み）は、なんの証拠もなく勝手な決めつけから、
個人を特定し、尚且つURLまで掲載し、公然と誹謗中傷する書き込み であり立派な犯罪です。
あなたは、タレント活動をするいわば公人。なので批判を受けるのは当然なこと。そのあなたが、証拠もなく、
不特定第三者が個人を特定できる情報とともに、公然と誹謗中傷することは、刑法に違反する犯罪行為です。
すでに法律の専門家と充分な協議の上各方面対処を開始しています。即日本人の名前で謝罪し削除依頼してください。
948 名無しさん 2017/09/22 18:45:04
>>925の問題発言について法務省担当部署に問い合わせてみた。
一般論として、匿名で誹謗中傷行為をしていた人物(≫925)が名前を言い当てられ、その名前公表を以って名誉毀損として訴えるという主張(≫925)は名誉毀損訴訟の原告が、最初の誹謗中傷行為を行った犯人本人である事を認める事になるので普通は裁判を起こさないとの事。
ただし世の中には全く意味のない裁判を起こしてしまう人も居るし、全く意味のない裁判を起こすと主張して自分の主張を通そうとする人も居る、との事。
以上の回答から判断するに、矛盾した主張に基づく訴訟恫喝(≫925)を受けたピストン西沢氏は>>925を恐喝罪で刑事告訴して賠償金を取る事が可能
238:１３２人目の素数さん
22/01/15 20:41:41.46 rJnmIXXq.net
>>182
バッテラの発祥は大坂の寿司常
大坂鮨の発祥も呼んで字の如く大坂で吉野寿司
早鮨である江戸前鮨の発祥は江戸の與兵衛鮓とも松之鮨ともされる
ちらし鮨の発祥は鎌倉ちらし鮨
日本の鮨の発祥は東南アジアから伝来した延喜式
鮓の元祖は東南アジアの高地にて保存食として4～5千年前に発祥した
>>韓国
呉々も2度と『江戸前鮨は韓国が起源』等と発言しない事
239:１３２人目の素数さん
22/01/15 20:42:48.01 Lv54qNF1.net
■山形大学職員天羽優子@apjに関する著名研究者コメント
1. 国際賞7回受賞の著名物理学者「『科学的真偽は権威が決める』と主張する人物は科学者とはいえない」
2.KEK黒猫氏「あの人は他人の心を読み取れないから人間としてどうしようもない」(講義学生誤爆ハラスメント事件へのコメント)
3.信号処理研究者「世の中には学位を取るだけで力を使い果たしその後業績の上がらない人も居るが
今回は学位を取る基本能力がないのに不適切な学位を与えられてしまった人が居ることを知った」
4.化学分野研究者「かの女性は『自分が理解できないことは排除する』『自分が理解できないことはバカにする』」
240:１３２人目の素数さん
22/01/15 20:43:38.75 Lv54qNF1.net
【参考】山形大学職員天羽優子@apjが超長期ネットストーキングの件で迷惑通報された時に発生した
「山形大学小白川キャンパス連続学生投身自殺事件」
の後追い記事と学長声明
学生が�
241:Aカハラ受け自殺か…ある国立大学で起こった裁判の行方 ー学内での自殺が相次ぐ中でー (2018-01-23) https://gendai.ismedia.jp/articles/-/54181?page=1&imp=0 学長メッセージ(2017-10-25) https://gendai.ismcdn.jp/mwimgs/5/e/320m/img_5ee4fb63b67c4c649ced186694ac0a4b119706.png
242:１３２人目の素数さん
22/01/15 20:44:06.33 +zNCryZd.net
>>212
いくらでもあグロ
243:１３２人目の素数さん
22/01/15 20:44:25.73 +zNCryZd.net
>>220
それもあグロ
244:１３２人目の素数さん
22/01/15 20:45:06.07 IHqy3nsi.net
本日もa_watcherのIDを真っ赤にする事に成功
245:１３２人目の素数さん
22/01/15 20:47:21.33 pZ//auQC.net
山形大学は本当に素晴らしい
天羽さんが作った問題で合否が決まり
天羽さんに選ばれた者が入学資格を得る
そんな人々がやがて社会を出て
この国の未来を担うことに誇りを感じる
山形大学は本当に素晴らしい
246:１３２人目の素数さん
22/01/15 20:48:51.00 Lv54qNF1.net
【悲報】理系板で元東大特任准教授への誹謗中傷を16スレ合計1万5千投稿も行っていた人物の正体は
「山形の天羽」という人物だと判明。
誰も知らない小物の擁護を深夜に三連投するのは本人のみ
【東大懲戒解雇 大澤昇平】★16
ｽﾚﾘﾝｸ(rikei板:773番)-775
247:１３２人目の素数さん
22/01/15 20:52:14.29 pZ//auQC.net
>>225
でも雑魚やん君
248:１３２人目の素数さん
22/01/15 20:58:59.02 Lv54qNF1.net
【悲報】山形の雑魚「天羽」、錯乱して掲示板書き込みを元東大特任准教と誤認【統合失調症による人格識別能力低下】
226 名前:１３２人目の素数さん [sage]
:2022/01/15(土) 20:52:14.29 ID:pZ//auQC
>>225
でも雑魚やん君
249:１３２人目の素数さん
22/01/15 21:02:07.28 E0wCw7+f.net
>>183
>>Jordan Ellenberg
>この人は、ちょっと大物かも
下記だね。神童にして、数学オリンピックで金メダル
URLﾘﾝｸ(en.wikipedia.org)
Jordan Stuart Ellenberg (born 1971) is an American mathematician who is a professor of mathematics at the University of Wisconsin?Madison.[2] His research involves arithmetic geometry. He is also an author of both fiction and non-fiction writing.
（google訳一部修正）
初期の人生
エレンバーグはメリーランド州ポトマックで生まれました。彼はセサミストリートを見て2歳で読むことを自分自身に教えた神童でした。[3]ある日、キャピタルベルトウェイを運転しているときに、幼児が「ベセスダは右側にある」と看板を読んだときに、母親は彼の能力を発見しました。2年生のとき、彼は10代のベビーシッターの数学の宿題を手伝いました。 。4年生までに、彼はモンゴメリー郡数学チームのメンバーとして高校の大会（American Regions Mathematics Leagueなど）に参加していました。そして中学2年生までに、彼は大学レベルの仕事を始めました。
彼はジョンズホプキンス大学 の数学的に早熟な青年縦断研究の一部でした。彼は12歳のときにSAT-I試験の数学の部分で800点満点、口頭の部分で680点を獲得しました。[4] 8年生のとき、彼はメリーランド大学で微積分学の授業を受けました。彼がウィンストンチャーチル高校の3年生だったとき、彼はSATで1600の満点を獲得しました。高校の先輩として、彼は全国のWestinghouse Science TalentSearchで2位になりました。[5]彼は国際数学オリンピックに参加しました3回、1987年と1989年に金メダル（満点）、1988年に銀メダルを獲得しました。[6]ハーバードにいる間、彼は2度のパトナムフェロー（1990年と1992年）でもありました。[7]
つづく
250:１３２人目の素数さん
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より）ってこと�