[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
693(5): 2022/04/28(木)21:10 ID:2nf0w5TH(1) AAS
>>679 訂正と補足
なんか、ワケワカさんが、
無闇に突っ込んで自爆していますねｗ
まず訂正
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制です
↓
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制限です
さて、念押しですが ”条件 p,q を満たすものの集合をそれぞれ P,Q とする”とき
条件「pかつq」および「pまたはq」をあらわす図は、それぞれ次図のようになる。
（再録）
省23
694(1): 2022/04/28(木)21:37 ID:ztGXPhc+(1) AAS
>>693
とりあえずルベーグ積分論あたりから勉強しなおしたら？
許す場合も許さない場合もあるから。
695(2): 2022/04/28(木)21:45 ID:+gaZyQqp(1/2) AAS
>>695
お前が他人に数学の話を上からしゃべれるわけないやろ？
なんの努力にも裏打ちされない自分勝手な妄想でしかない謎の数学力で誤解だらけのアホ文章創作するだけの能無し
696(2): 2022/04/28(木)21:46 ID:+gaZyQqp(2/2) AAS
>>695は>>693のアホセタ当て
697(2): 2022/04/28(木)22:33 ID:waSWXVWr(1) AAS
風説の流布を自覚しても「ここは玉石混淆が許される5ちゃんねる、謝罪だの訂正だのクソくらえ」発言のセタ
人権を剥奪され次第、害の有る動物として屠殺すべし
698(1): 2022/04/29(金)07:58 ID:b8gsErp4(1/15) AAS
>>567 & >>575
関連
外部ﾘﾝｸ:webcache.googleusercontent.com
math_jin
Apr 25
More
Last week a review of the Mochizuki IUT papers appeared at Math Reviews, written by Mohamed Saidi. His discussion of the critical part of the proof is limited to:
"Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the…#IUTABC
外部ﾘﾝｸ:www.math.columbia.edu …
外部ﾘﾝｸ:www.math.columbia.edu
省14
699: 2022/04/29(金)08:12 ID:VrIdLbpW(1/3) AAS
>>693
>なんか、ワケワカさんが、無闇に突っ込んで自爆していますね
ワケワカさん＝90oIbXEw ですね
あなたもそうおもいましたか
>まず訂正
>無制＝無制限
ああ、2nf0w5TH＝90oIbXEw でしたか
つまり自爆をカミングアウト
流石ニッポン カミカゼ特攻ですな
700(1): 2022/04/29(金)08:24 ID:VrIdLbpW(2/3) AAS
>>693
>さて、念押しですが
>条件 p,q を満たすものの集合をそれぞれ P,Q とするとき
>条件「pかつq」および「pまたはq」をあらわす図は、
>それぞれ次のようになる。
>・ここで、
>「pかつq」←→P∩Q
>「pまたはq」←→P∪Q
> と相互に移り合うのです
ベン図ですか 小学生ですなあ
省13
701: 2022/04/29(金)08:34 AAS
＞「ZFC」は、”公理的集合論の標準形式であり、
＞今日では最も一般的な数学基礎論となっている”（上記 wikipediaより）
素人による典型的な誤訳だな
誤 数学基礎論
正 数学の基礎
直しといたよ リンクは「数学基礎論」に飛ぶようにしといたから
（注：日本語の「数学基礎論」とは数学の基礎に関する研究(study)を指す）
702(1): 2022/04/29(金)08:38 AAS
>>696-697
ああ、「●タ」とか書いたら下げマスがまた
「オレの本名、本籍を詮索するなぁぁぁぁ！！！」
と発狂するからやめとき
703(2): 2022/04/29(金)09:47 ID:b8gsErp4(2/15) AAS
>>696-697
個人情報を含む”荒し”として、通報しました
繰り返せば、浪人BANや長期アク禁でしょうね
>>702
それ正しい
毅然と通報対処します！
704(2): 2022/04/29(金)10:03 ID:LW5CTliQ(1/2) AAS
カリフォルニア大の院生のいうことが信用できるならば、
Kedlayaだけでなく複数の数学者が(望月だけでなく)ショルツの議論もおかしい
と考えているんだろ
まだ状況は相変わらず望月不利だと思うけど、
一部のアンチが断言するほどでは全くないね
705(1): 2022/04/29(金)10:09 ID:b8gsErp4(3/15) AAS
>>694
>とりあえずルベーグ積分論あたりから勉強しなおしたら？
>許す場合も許さない場合もあるから。
ありがと
しかし、論点ずれてる
1）まず、もともとは、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」だった
2）>>679 の「高等学校数学A/集合と論理」にあるように
「かつ」「または」 で、記号 ∧∨を使うと
条件 p,q を満たすものの集合をそれぞれ P,Q とすると
p∧q ←→ P∩Q
省12
706: 2022/04/29(金)10:22 ID:LW5CTliQ(2/2) AAS
>>704
「複数の数学者」とは書いてなかったね。訂正する。
707(1): 2022/04/29(金)10:26 ID:b8gsErp4(4/15) AAS
>>704
レスありがとうございます。
かなり同意です
1）昨年の4回の国際会議と、今年のNHKスペシャルを踏まえて、今一度総括して
これから何をやるべきか？ 戦略の練り直しが必要でしょう
2）文科省のお役人から「NHKスペシャル見ましたよ。これからどうするのですか？」なんて言われそうです
RIMS所長は、小野 薫さん？ 次世代幾何学国際センター は、何をすべきでしょうか？
思うに個人的には、IUTをもっと分かり易く
1）IUTを3つに分ける。a)IUT本体、b)準備論文、c)準備論文以前の遠アーベルやその基礎
2）c)の部分は、学生や院生でも書けるかも。b)は、RIMS以外でも可でしょ。c)は5人論文の著者を中心に
省6
708: 2022/04/29(金)10:27 ID:/zmYLr5R(1) AAS
>>687
2045年には自動証明ができるようになる。
だから、才能ある若者は数学を目指さなくなりつつある。
709(1): 2022/04/29(金)10:33 ID:b8gsErp4(5/15) AAS
>>700
>そうしないと、集合論を一階述語論理で記載できませんよ
良いんじゃね？
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理という しばりないよ
710: 2022/04/29(金)10:48 AAS
>>703
>毅然と通報対処します！
ていうか下げマスが発●せず無視すればええねん
どんだけキ●タマちいせえんだよ 三歳児かｗ
711(1): 2022/04/29(金)10:54 AAS
>>707
次世代幾何学国際センターには 望月新一の名前ないな
RIMSは望月新一を看板にするの諦めたんだな
乃木坂5期生で中西アルノを”かつてない歌声”とかデッチ上げて
29thセンターに担ぎあげて大失敗したようなもんか？
外部ﾘﾝｸ:bunshun.jp
712(1): 2022/04/29(金)11:06 ID:VrIdLbpW(3/3) AAS
>>709
>>集合論を一階述語論理で記載できませんよ
>良いんじゃね？
全然良くないけど
>そもそも、
>「普通の命題論理では論理和と論理積は
> 無限に続くことが許されないので
> 自明ではないんですよね」
>は、一階述語論理という しばりないよ
ああ、論理の定式化、全く知らない素人さんですね
省9
上下前次1-新書関写板覧索設栞歴
あと 290 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s