Inter-universal geometry とABC 予想48

**１３２人目の素数さん** · 2022/03/02(水) 19:54:05.87

未だにcontroversialなIU幾何やABC予想に関する会話の  
サロンとして使って下さい。   

荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

前スレ
Inter-universal geometry とABC 予想47
https://rio2016.5ch.net/test/read.cgi/math/1635332056

**１３２人目の素数さん** · 2022/04/10(日) 12:22:09.19

>>232
語れるほど理解が追い付いて無いんでしょう…
お察しください。

**１３２人目の素数さん** · 2022/04/10(日) 12:27:04.55

>>285
>>288
現在の数論に証明に必要な新しく使えるツール開発が必要
…ってｺﾄ!?
それかzﾌﾗﾝﾁｬｨｽﾞに改良が必要
…ってｺﾄ!?

**１３２人目の素数さん** · 2022/04/10(日) 12:32:42.03

>>290
現在の数論での証明には
だたｿﾞ。

ツール開発とzﾌﾗﾝﾁｬｲｽﾞの改良両方とも必要な可能性もあるかも
…ってｺﾄ!?
∩„„∩
(・ω・)))

**１３２人目の素数さん** · 2022/04/10(日) 12:34:58.86

ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才

…ｮｼｯ!(現場係長)

**１３２人目の素数さん** · 2022/04/10(日) 12:36:49.55

本ｽﾙﾙｪだたｿﾞ…!(悲鳴)

僕が誤爆しちゃいました!

…赦し亭…赦して!(消滅)

**１３２人目の素数さん** · 2022/04/10(日) 18:24:47.70

Dupuyによると
SSは望月が言ってもいないことから矛盾が生じたと主張しているとのことだな

**１３２人目の素数さん** · 2022/04/10(日) 18:42:00.84

へえ、証明に必要な具体的な計算方法がわからないと自白したDupuyがねえ

**１３２人目の素数さん** · 2022/04/10(日) 18:53:33.72

>>283
実体も無定義語だよね
その文章で実体という言葉を○○にしても
通じる(ようにして書いてある)
ソーカル事件と紙一重だとは思うけど

**１３２人目の素数さん** · 2022/04/10(日) 19:02:34.29

自分で書いたものが自分でわからないという時代が来る

**１３２人目の素数さん** · 2022/04/10(日) 21:03:24.11

おっ、天羽さん出てる！

**１３２人目の素数さん** · 2022/04/10(日) 21:24:39.40

このスレのバカが粋がってたけど
結局「賛否両論」まで後退させられてて爆笑した
栗城、日木るなやらかしたNHKですら後退せざるを得ない状況w
まだ様子見だが証明したと言い切った時点でクソダニだろうな

**１３２人目の素数さん** · 2022/04/10(日) 21:35:24.21

中身知らせず
付帯情報だけ垂れ流して解いたアピールは昔から一貫してるな
Qアノン、神真都Qと同じ

**１３２人目の素数さん** · 2022/04/10(日) 21:54:16.72

「対象に関する認識論」w
パワーワード過ぎる

**１３２人目の素数さん** · 2022/04/10(日) 22:00:15.88

うわー15日完全版商法かよ
うざ

**１３２人目の素数さん** · 2022/04/10(日) 22:08:53.76

賛否両論ってことはそれだけ常識を根本から覆す画期的な理論ってことさ
本当に数学に関して認識の変革を迫るような物なら理解されるのに100年かかってもおかしくない

**１３２人目の素数さん** · 2022/04/10(日) 22:13:20.94

本人が出演を断ってるのは残念だなぁ
ちゃんと表舞台に出て自分の正しさをアピールしてほしかった

**１３２人目の素数さん** · 2022/04/10(日) 22:14:30.77

アホか
番組で「コレで数学者は理論が正しいのか気をもまなくてよいとわかってホッとしたと思う」って言ってだけどまさにあのひと言に尽きるやろ

**１３２人目の素数さん** · 2022/04/10(日) 22:17:42.68

改めて「対応させる」というのを考えさせられました
たとえば
2を4に対応させるとは
像f(x):=x^2
に対して

σ(2^2):=4　i.e.　2^2=4

こういう解釈なんだと思いました

**１３２人目の素数さん** · 2022/04/10(日) 22:17:47.26

完全版っていうほどのネタがあるんだろうか？
今のでだいたい出てるよね
劇場版出ても見に行くけどw

**１３２人目の素数さん** · 2022/04/10(日) 22:18:52.36

もっと盛り上がるのかと思ってたがサッパリだな
なんだこの雰囲気

**１３２人目の素数さん** · 2022/04/10(日) 22:19:10.67

>>303
星が絡んでるせいか、説明はかなり良かったよ
「乗法的には同一視できるが加法的にはできない宇宙を区別する」という話だな

**１３２人目の素数さん** · 2022/04/10(日) 22:19:36.49

>>303
CFGUやるなら
それなりに自前で全部証明しないとダメだろうし
その慎重さがあるとは思えないどね

**１３２人目の素数さん** · 2022/04/10(日) 22:20:23.63

でもIUTのアイデアはかっこいいよね
超好き
好きなんだけどダメだろ
今のままでは

**１３２人目の素数さん** · 2022/04/10(日) 22:20:55.41

f:R×R→R
f(a,b):=a+b

σ:R→R
σ(a+b):=c　i.e.　a+b=c

**１３２人目の素数さん** · 2022/04/10(日) 22:22:11.49

でもまじで数学の概念を根底から覆すような理論だったら受け入れられるまで本当に数十年掛かりそうだな
あのガロア理論だって40年くらいかかったわけだし

**１３２人目の素数さん** · 2022/04/10(日) 22:25:35.48

>>306
>>312
素敵です…!

**１３２人目の素数さん** · 2022/04/10(日) 22:27:01.75

>>313
いや、それは疑わしいな
異なる圏で考えている中で環構造をそれにつき同一視したり区別する、という考え自体は
別に難しくもなんともないからな。今の時代その程度でそんな時間かからんよ

勿論真偽はさておきな

**１３２人目の素数さん** · 2022/04/10(日) 22:33:09.95

まぁ等号原理を要求しない言語理論を構築したいならすればいい
それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
驚きなのはそれを今までやらずに議論してたのかって事だよ
よくそれでアクセプトしたもんだよ
バカじゃないの

**１３２人目の素数さん** · 2022/04/10(日) 22:33:55.31

σ(2^2):=4　i.e.　 2^2=4

σ(a+b):=c　i.e.　 a+b=c

↑素敵です!

∧∞∧
(∥>ω<∥)

**１３２人目の素数さん** · 2022/04/10(日) 22:44:20.18

対象に関する認識論

＞虚数の初出は16世紀だが、0 や負の数ですら架空のもの、役に立たないものと長らくされており、負の数の平方根である虚数はなおさらだった。
デカルトも否定的にとらえ、「想像上の数」と名付けて、「虚数」の語源となった。

オイラーによる虚数単位 iの導入（1770年頃）、ガウスによる複素数平面の導入（1831年）を経て、徐々に多くの数学者、人々に受け入れられるようになっていった。

毎度おなじみのこと

どこにあるんだよ-1のルートとか　目の前に見せてみろ　気色悪い　役に立つまともな数学が出来るわけないだろ

**１３２人目の素数さん** · 2022/04/10(日) 22:47:21.26

まぁabc予想の証明は間違ってたとしても何らかの役に立っててほしい理論だな

**１３２人目の素数さん** · 2022/04/10(日) 22:47:52.24

「ショルツの権威ガー」ってのがカッコ悪かった

**１３２人目の素数さん** · 2022/04/10(日) 22:53:50.66

Woitは小物だが、その辺の平均的な院生よりは優秀だからな

**１３２人目の素数さん** · 2022/04/10(日) 23:32:11.82

ちなみに、今までの数学の歴史で、今回のように、画期的な数学理論に対して権威ある数学者に批判されたけど、やはりその理論が正しかったということはあったんですか？

**１３２人目の素数さん** · 2022/04/10(日) 23:44:27.34

>>313
ガロア理論は埋もれていただけで、間違っていると言われたわけではないだろ。
それに情報の伝達が今とは比べ物にならない１９世紀前半とくらべてもな。

**１３２人目の素数さん** · 2022/04/10(日) 23:44:50.17

無理数の発見

**１３２人目の素数さん** · 2022/04/10(日) 23:53:39.93

>>323
どっちかというとアーベル？

**１３２人目の素数さん** · 2022/04/10(日) 23:54:37.81

abc理論よりもずっと簡単なもので望月教授の考え方を使えるものってないの？

**１３２人目の素数さん** · 2022/04/11(月) 00:01:17.88

>>ウォイト博士「ショルツは数論の分野で最も才能に満ちた数学者です。
>>そのため、ショルツが理解できないとしたことは重い意味を持ちます。
>>多くの数学者は、『もうこれでこの問題については悩まなくてもよくなった』
>>と思うようになったのではないでしょうか」

このコメントで、
結局アンチがただの権威主義でしかないことが判明したことの意義は
計り知れなく大きいな

**１３２人目の素数さん** · 2022/04/11(月) 00:08:11.18

>>327
じゃお前がギャップを解消して

**１３２人目の素数さん** · 2022/04/11(月) 00:34:31.80

>307
完全版の予告が最後にあったけど
「対象に関する認識論」について少し触れた。

シュルツェが「間違っている」に対して、望月が「誤解している」との見解で、
その差は「対象に関する認識論」が根本にあるとのあらすじだから、そこに入るならば「必見」だね。

**１３２人目の素数さん** · 2022/04/11(月) 00:40:37.71

>>323
望月先生も間違ってるという指摘はされてませんよね

**１３２人目の素数さん** · 2022/04/11(月) 01:14:19.84

果たしてこの理論を理解できてる人はこのスレに何人いるんだろうか？

**１３２人目の素数さん** · 2022/04/11(月) 01:17:55.96

誰もおらんよ多分
おそらく世界中で一人もいない

**１３２人目の素数さん** · 2022/04/11(月) 02:15:54.67

>>259
コネだよな両津勘吉の声優の時と言い

>>309
RとQpの区別としか言えてないけどな

>>316
そこなんだよな

**１３２人目の素数さん** · 2022/04/11(月) 02:23:45.11

このスレでイキっているガイジは
医学研究科の学位論文研究ができずに
報告さえ出せば学位の出るラマン散乱実験報告(医学と無関係)で空学位を取ったガイジだから
相手にしても時間の無駄

精神疾患と統合失調と人格障害のアラ還婆

**１３２人目の素数さん** · 2022/04/11(月) 02:27:44.01

哲学者は物理学者に対して、今の物理学では脳(物質)から意識(非物質)が生まれる事になってるから
意識を物理的に定義して物理学を拡張しろと言ってるが、物理学者は無視しているか頑なに拒否している。
それに似ている。今までの考えを根本から覆すことにはみんな抵抗し、受け入れるまで数十年かかる。
だが提案されてから20年ぐらい経ってやっとまともにそういう研究分野が生まれて、理論めいた物も
提示されるようになってきた。認識論に転換を迫るような物は数十年単位で受け入れられるのに時間が掛かる。

**１３２人目の素数さん** · 2022/04/11(月) 02:30:37.05

もしこのような時代に、オイラー、ガウス、ガロア、ヒルベルト、
ノイマン、ゲーデル、が生きていたら、どう見るのだろう？
多分に存命のワイルズ、ペレルマンは、だろう？
彼らのコメントを聞きたいのぉ。

**１３２人目の素数さん** · 2022/04/11(月) 02:45:07.12

>>335
それ認識論というキーワードが共通しているだけで
数学とは直接関係ないし
物理系出身の底辺准教が「意識を物理的に定義しろ」などと言い出すのは、物理の方法論を理解していないポンコツの証明にしかなっていない

物理学の仕事は決して、哲学上の概念を物理学に取り込む事ではない
物理的現象を対象とした観察と仮説立案と実証を通じて、物理的現象がどのように(how)起きるのかを記述するのが物理学の仕事

そして生物の脳の上の現象の一つと目される「意識」について物理学が関与できるのは、脳の活動状態の観測装置の物理的側面の基礎付けや拡張までであり
それ以上の仕事は、観測装置を使う生物・医学・心理学等諸分野の分担となる

**１３２人目の素数さん** · 2022/04/11(月) 02:49:40.93

この理論って圏論の分野ですか？

**１３２人目の素数さん** · 2022/04/11(月) 02:50:46.25

このポンコツ底辺准教は、脳の機能観察に関する物理学からの寄与を、学生時代の医学研究科学位論文研究で成し遂げる事ができずに逃げ出した落ちこぼれであり、それから27年間その分野に寄与していないにも関わらず
自身の身元を誤魔化し自分の過去の無力さを棚上げにし>>335のような恥知らずな要求をする破廉恥婆である

**１３２人目の素数さん** · 2022/04/11(月) 02:59:52.60

>>287
日本語版ウィキペディアの数学分野は
このスレで一人で騒いでいる底辺准教が
匿名管理者の一人(Su-no-G)だった時代
大学院学生をポータル管理者に仕立て上げて
うろ覚え知識の備忘録のような記事を量産させていた
底辺暗黒時代を引きずっているから
まともな人間は近寄らない

そもそも日本語版ウィキペディア自体が
悪名高い匿名掲示板の運用ボランティアのゴミどもが
日本語版創設者を匿名誹謗中傷で追い出して乗っ取ったゴミクズに過ぎないから
日本語版は読まないのがマナー

**１３２人目の素数さん** · 2022/04/11(月) 03:06:33.53

底辺連呼の書き込みは最近は夜中ばっかだから春の陽気で睡眠覚醒中なんだろ

**１３２人目の素数さん** · 2022/04/11(月) 03:07:41.52

>>331
いる訳ねーだろ

**１３２人目の素数さん** · 2022/04/11(月) 03:10:30.41

>>334は算数すらできないんだから(笑)

**１３２人目の素数さん** · 2022/04/11(月) 03:13:18.16

>>341>>343がIUTスレで毎日妄想罵倒連投をしている山形大学のアラ還准教

**１３２人目の素数さん** · 2022/04/11(月) 03:16:37.21

まぁあれだね・・
何年もかけた研究を無駄にするわけにもいかないからきっと望月先生も焦ってたんだろうね

**１３２人目の素数さん** · 2022/04/11(月) 03:20:18.71

>>316
それがすぐできればいいんだろうけど
それはもっと大きなテーマを含んでしまうから
遠い未来に解決される課題なのだろうな

それができると予測し仮説の元に
数学の諸問題を解決する体系を作ってみて
大きな齟齬はなく成立するようならば
仮説の確らしさが増すし
不具合が出てきたら仮説を手直しするか立て直す話になる

それは数学に限らず物理でも一般的な方法

**１３２人目の素数さん** · 2022/04/11(月) 03:22:40.00

>>308
普段、山形大学のアラ還准教氏が一人で暴れているからいまさらここを見にくる人は居ないだろう
嫌儲板でもスレを立てて、いつもの繰り言で埋め立てしてるし

**１３２人目の素数さん** · 2022/04/11(月) 03:23:14.10

>>337
>>物理の方法論を理解していないポンコツの証明にしかなっていない
それがまさに過去の思考の枠組みから抜けられない認識転換できない態度だね
意識の物理化を主張しているのは必ずしも文系の哲学者ではないし、むしろ
中心人物は数学科出身だ
ペンローズのようなノーベル賞受賞者も意識の物理学にはチャレンジしている

**１３２人目の素数さん** · 2022/04/11(月) 03:29:13.27

山形大学のアラ還准教の頭がおかしい原因の一つは
早朝から深夜まで匿名掲示板にしがみつく不眠症が原因だろうね

普通の人は毎日こんな時間に匿名掲示板に書き込みをしない

**１３２人目の素数さん** · 2022/04/11(月) 06:24:37.90

NHKが一般市民向けに番組作れるくらいなのに、数学者が理解できないとかいうのがよく分からない

結局、以前から指摘されてた証明にあるギャップはどうなったの

**１３２人目の素数さん** · 2022/04/11(月) 07:02:11.44

選択公理みたいに認める認めないの立場によるもの違うの

**１３２人目の素数さん** · 2022/04/11(月) 07:16:31.28

歴史的にやっぱ本人の死後にいろいろ問題が発覚するんだろうね。
今はあまりに政治的な要因が大きいから。

**１３２人目の素数さん** · 2022/04/11(月) 07:53:57.20

>>316
＞まぁ等号原理を要求しない言語理論を構築したいならすればいい
＞それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
＞驚きなのはそれを今までやらずに議論してたのかって事だよ

Cor 3.1.2が等号でなく、不等号の式になっているのでは？

”足し算”と”掛け算”で、”掛け算”は等式の左辺abの情報が右辺cが系統的に反映するから容易に等号で証明できるが、
"足し算”は、左辺abの情報と右辺cの情報で系統立たなくて、等号での証明が困難であると主張していた。

”掛け算”だけ成立する２つの宇宙を定義すれば、”足し算”と”掛け算”が混じり合う式は、
”掛け算”だけ等号で解くことで等号理論でできるが、"足し算”は等号ではない数値を返す。
だけから等号ではない数値は、ある上限値以下となれば、不等号になる。

元々が、ABC予想は、数の遺伝に係る不等号の式なのだから、
等号の式による等号理論で答えないといけないという縛りは無いよね。

掛け算が成立する宇宙で、足し算を分離する目的だと意図が説明されているから、
その戦略を認めるか否か、そこで同じ値（掛け算的に？）と違う値(足し算の差分）で、
数学は違うものを同じで認識してきた、伝統に反する革新の概念という事は分かった

、

**１３２人目の素数さん** · 2022/04/11(月) 08:59:33.01

昨日のNスぺでは
abcを経由せずにフェルマー予想の別証明ができるという話は
なかった

**１３２人目の素数さん** · 2022/04/11(月) 09:32:01.68

>>346
アホですか？
それこそまず真っ先にやらなあかん事やろ？
今までの数学の言語では使わない言葉使いする論文書く分にはいくらでも構わないしそんな論文いくらでも探せばあるやろ
超準解析なんかそれ
ヒルベルトの第20問題の弱い形の証明のアルティンの証明も広い意味で超準解析と言えなくはない、(使ってないけど)
しかしそれをやっていいのはその言葉使いによる証明が普通の数学の“保存拡大”である事の証明ができたあとだし、それができてないならそんなもんろんぶんになどならんわ
そもそもその作業に何十年もかからんし
なんも知らんのやったら黙っとけ

**１３２人目の素数さん** · 2022/04/11(月) 10:00:04.89

山形の底辺准教の考える理系学問
「既知の証明済みの定理の順列組み合わせで新しい学問を作らなければならない」
「自分の信じる妄想に反する発言は、自分から見ると頭が悪く見えるから、黙っとけ」

現実の理系学問
「既知でも証明済みでもなくとも、予測や仮説を置いてそれに基づいて学問体系の拡張を試み、それが多くの部分で妥当性や新規の発見をもたらすなら
最初の予測や仮説に関する証明は数十年、数百年先に先送りしても支障はない」

**１３２人目の素数さん** · 2022/04/11(月) 10:01:21.56

>>355
そもそもお前は数学の勉強もしていなければ
医学研究科の学位論文研究すら完成させていない
還暦間際の底辺准教なのだから黙っとけ

**１３２人目の素数さん** · 2022/04/11(月) 10:07:41.17

> それができてないならそんなもんろんぶんになどならんわ

脳に異常が生じると言葉が平仮名表記になるんですね
判ります

医学研究科に、医学と無関係のラマン散乱実験報告を出した時も、脳に異常が生じて平仮名表記で論文を書いていそう

**１３２人目の素数さん** · 2022/04/11(月) 10:24:35.35

>>357
なんでオレが医学部の学位取らんとダメなんだよ
アホかバカ信者
もうオレが自分では太刀打ちできんくらいの数学経験持ってるのは感じでわかるんやろ？
それでも「レスバには負けん」の一心でアホなレスつけてくるとこが鬱陶しいんだよ
数学の話したいならまず教科書読め、論文読め

**１３２人目の素数さん** · 2022/04/11(月) 10:34:37.76

Twitterでもさすがに懐疑論強くなってきたな
アクセプトされたあとでも疑われてる状態が続くとかえって怪しまれるよね

**１３２人目の素数さん** · 2022/04/11(月) 11:06:12.06

>>359
こんな廃墟スレで幼稚な書き込みで粘着する奇人は
医学研究科学位研究論文未提出の底辺准教しかいない
多重人格で別人格だと言い張っても時間の無駄

**１３２人目の素数さん** · 2022/04/11(月) 11:11:45.95

底辺准教は数学基礎論のベースとなる非古典論理の学部教科書をちょっと読んだだけでIUTの全否定をし始めて、それ以外の数学知識は匿名掲示板の難癖付けの末に相手から聞き出した耳知識でしかないだろ

還暦間際にもなってフェルマーの最終定理の問題定義すら知らずに、全然違う式をフェルマー最終定理のバリエーションだと思い込んで延々と罵倒質問をしていた光景には大爆笑したぞ

身元も所属も学位論文取得経緯も現在の職場での日干し具合も容姿容貌コンプレックスや性的コンプレックスも失便癖とその原因もメンタル疾患も過去の犯罪履歴も全部バレているのに、猿芝居を繰り返すな

**１３２人目の素数さん** · 2022/04/11(月) 11:26:07.13

>>361
誰の話か知らんけどお前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね？
それすらわからんレベルの能無しか？

**１３２人目の素数さん** · 2022/04/11(月) 11:27:24.48

ああ、このスレで山形がどうこう言ってるキチ◯イか

**１３２人目の素数さん** · 2022/04/11(月) 11:40:26.36

NHK見て来たが、結局アカンのか？

**１３２人目の素数さん** · 2022/04/11(月) 11:51:52.85

>>363
匿名掲示板で数学力云々言い出す奴は
現実世界では誰にも相手にされていない日干し

ソースは数学板の書き込み全般

**１３２人目の素数さん** · 2022/04/11(月) 11:53:18.66

>>364
IUTスレの山形云々の底辺大准教がキチガイなのは
公知の事実だから伏字は不要

**１３２人目の素数さん** · 2022/04/11(月) 11:55:53.07

>>366
さよけ
そんなんだから落ちこぼれたんだよ能無し

**１３２人目の素数さん** · 2022/04/11(月) 11:58:31.62

底辺准教が50過ぎにもなって
非古典論理の学部教科書をちょっと読んだだけで
「お前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね？」
と言い出した理由は、現実には統計物理の問題解決もできなければ、統計処理の基礎も理解しないまま27年間名前だけの教員を名乗りネット三昧で人格を荒廃させてきた黒歴史を隠すため

もしこの底辺准教に数学力が少しでもあったなら
自身の過去27年間の妄言の大半は無かった

**１３２人目の素数さん** · 2022/04/11(月) 12:01:12.46

>>368
底辺准教が学歴と知能と数学力と底辺大学職員としての落ちこぼれ履歴に強い劣等感を持っているから
小学生レベルの幼稚な言葉が次々と発せられる事はよく知ってるよ

現実に学歴と知能と数学力のあるひとは、赤の他人には興味がないからいちいち幼稚な罵詈雑言は吐かない

**１３２人目の素数さん** · 2022/04/11(月) 12:06:15.67

TV見て来たけど、スレは荒らされてて
特定の人間に関する書き込みばかり、このABC予想に関してはもう終わった事象なのだと悟った

**１３２人目の素数さん** · 2022/04/11(月) 12:11:47.66

>>371
匿名掲示板数学板の関連スレは
偏差値49の底辺大学の還暦間際の非数学系准教の
妄想と嫉妬と暴言のための落書き帳に過ぎないから
スレも准教も最初から終わっている

**１３２人目の素数さん** · 2022/04/11(月) 12:16:45.10

否しかないものを極端な人の意見を探してきて「賛否両論」と言って中立ぶるのは、ほんと卑怯な論法だよな

**１３２人目の素数さん** · 2022/04/11(月) 12:18:46.09

（望月とその取り巻きを除く）数学の専門家が誰も興味持ってない分野を、書籍にしたりテレビ番組にする価値は無い

ホメオパシーだのがん放置療法だのと同じ

**１３２人目の素数さん** · 2022/04/11(月) 12:19:20.02

>>372
「あう」が昼間っから発狂してるな
働かないなら寝ろ

**１３２人目の素数さん** · 2022/04/11(月) 12:21:25.14

IUT理論なんて、わざわざNHKが特集を組むほどの内容ではない
京都の地方局が「京大にかわった先生がいる」程度でいいだろう
学者の地位を利用して、価値の無いものを価値があるように見せるのは、全く正義に反すること
恥を知れ

**１３２人目の素数さん** · 2022/04/11(月) 12:27:06.46

× 賛否両論
× 証明の正しさをめぐる議論が続いている
○ 本人とその取り巻き以外誰も相手にしていない

**１３２人目の素数さん** · 2022/04/11(月) 13:17:30.57

「宇宙」なんて言葉を使ってしまうとあとでそれよりも大きなものを考えたくなる時に困らない？
super, hyper,ultraなんとかみたいに言葉のインフレになりそうな？

**１３２人目の素数さん** · 2022/04/11(月) 13:46:25.14

universeがそもそもグロータンディックの命名した奴をそのまま使ってるらしいから仕方ない

**１３２人目の素数さん** · 2022/04/11(月) 14:02:42.76

zfcなの？
zfcuなの？

**１３２人目の素数さん** · 2022/04/11(月) 14:06:38.00

>>853
のでは？じゃねぇよ何で関係者でもない人間が好意的に解釈してるんだよ？
等号の代わりに不等号で記すなら記すで一般に不等号で網羅しきれなきゃ駄目だろ
（それ込みで等号原理と言って良い気もするけどな)
だが、そのQp上での加算での振る舞いに於いて等号原理（不等号原理でもいいよ）を示すという
IUTが果すべき肝心な所で且つなのか又はなのか怪しくなっている、て話だろ｡
abとbcの比較は出来るがa+bとb+cの比較が難儀、て言う｡

文系騙し的な要約だとこんな感じだろ

何でセタがこれしき書けないんだろ

**１３２人目の素数さん** · 2022/04/11(月) 14:26:58.45

AIにもバカにされるa_watcher

**１３２人目の素数さん** · 2022/04/11(月) 15:28:02.08

文脈によって同じはずの対象が違って見えるというのは、まあ今後出てきてもおかしくない基礎論ではある
RとQpを区別するだけ、と言うが実際に区別しつつ代数体で統合して全体の歪みを評価したいのが
狙いだったわけだし。そのために縦と横で両立する因子を使っている
好意的に捉える必要はないが、ひとまず話を聞くのは重要よね

**１３２人目の素数さん** · 2022/04/11(月) 16:21:49.56

もう何百回と行われたひとまずだわ。

**１３２人目の素数さん** · 2022/04/11(月) 17:37:10.07

IUTが出た最初の頃は「基礎論的にアヤシイ」という噂が立っていたが、
誰かが「そんなことはない。ZFCの中で完結する」みたいなコメントをしていたはず。

しかし、今となってはやっぱり「基礎論的にアヤシイ」ということか？

**１３２人目の素数さん** · 2022/04/11(月) 17:50:21.00

>>371
アホか
5chなんて成功者に対する嫉妬と憎悪で出来てるんだから必然的にそうなる
このスレ見れば分かるだろ

**１３２人目の素数さん** · 2022/04/11(月) 18:20:55.90

ショルツ氏が実例を示したように、数学の証明は原理的にコンピュータで証明できるものであるというのが事実で、
10年前ならまだしも今ではショルツ氏やタオ氏など数学者たちの共通認識だろう

Cor 3.12の証明のFigure 3.8以降にギャップがあるのだから、証明を理解できたと主張する京大側は、この部分をコンピュータで証明できるように書けば良いだけ(もちろんコンピュータはかつとまたはを混同したりもしない)
ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる

**１３２人目の素数さん** · 2022/04/11(月) 18:21:58.54

>>386
逆に全く理解できてないのに何でそんな自信満々なんだ？

**１３２人目の素数さん** · 2022/04/11(月) 18:30:40.52

2つ補足すると、Cor 3.12の証明は追加で解説されているという指摘があるが、求められているのは「コンピュータで証明できるように追加で書く」こと

SSレポートでショルツ氏とスティックス氏がやったことは、ギャップを埋めた上で矛盾しているということ
認識の違い云々はここでショルツ氏が行ったある種の単純化の話と思われるが、まずCor 3.12が証明できておらず、そこからショルツ氏がギャップを埋めようと単純化したという流れなので、ショルツ氏云々言っても証明できていないことは変わらない

**１３２人目の素数さん** · 2022/04/11(月) 18:37:53.35

ちょうど京大には照井がいるのにな

**１３２人目の素数さん** · 2022/04/11(月) 18:40:09.53

通常の弱選言
∧　∨
T　　T
F　　T
F　　T
F　　F

特別な弱選言
∨
T
F
F
F

強選言とは別にこれが考えられる
数学の命題とは(厳密な論理学的意味で)
TとFを指しこれに特別な意味はない
そこでこの2つの命題T,Fを表と裏としよう
このとき数学は常に表をとるべきだという思想があった場合にのみ
特別な選言を採用することになり∨と∧は命題として一致する

これを回避したい場合や数学が常に表をとるという思想に至らない場合
弱選言かあるいは強選言を選ぶことになる
私の実証だと強選言をとった場合
・論理和の冪等律が不成立
・それに伴い通常の束が定義できない
ということになる
これより通常の弱選言を選ぶ他ないという結論に至るのが普通かも知れないが
数学は常に正しいという妄言に付き合うとしたら
この弱選言に疑問をもつこともまた自然だろう

**１３２人目の素数さん** · 2022/04/11(月) 18:49:30.60

因みに自然演繹であれば
通常の弱選言でも∧と∨が一致するという論証も可能である
しかしそれでは∧と∨の違いがないので
どうするべきかを考え中である
便宜的には通常通り
∧から∨への導出は可能
∨から∧への導出はできない
と決めている

**１３２人目の素数さん** · 2022/04/11(月) 18:53:21.58

強選言(特別な弱選言)だと失うこともあるが
論理学的等号をきちんと定義することができる

A～B:⇔[(A∧B)∨(￢A∧￢B)]

このとき等号と同値～を同一視する

正直数理論理学とは何なのかわからない

**１３２人目の素数さん** · 2022/04/11(月) 20:22:52.13

認識の違いとか言うけどさ、ショルツも馬鹿じゃないから、そんなこと理解したうえで批判してるんじゃないの？恐ろしいのは、本来、科学的であるべき数学の世界が政治的になってること。

**１３２人目の素数さん** · 2022/04/11(月) 21:34:51.89

>>387
量子を使ったコンピューティングならできるんじゃね？

「量子コンピューター」ってことじゃないよ。
あれは量子をつかってこれまでの計算やってるだけだから。

**１３２人目の素数さん** · 2022/04/11(月) 21:39:59.85

例えば、「正しいってことが認識できなかった」としても、工学的な進歩ののち「認識できるようになる」ってのは物理学ではいくらでもあるよな

**１３２人目の素数さん** · 2022/04/11(月) 21:40:38.60

普通のコンピュータでもできるしやらなあかんという話題はずっとこのスレで出てる
でもやらない
お金さえあればさして難しい話でもない
でもやらない

**１３２人目の素数さん** · 2022/04/11(月) 22:11:25.80

.>>387
>ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という
「間違い」を明確に書いてしまっている

望月サンそんなこといってんの？
もうこれは完全な駄々っ子の開き直りだねｗ
ＮＨＫのいう「認識論」の違い何てものではない
そういやブンゲンが、望月の証明にはギャップはない「と思う」とかいっていたが、
「思う」ってなんだよｗ
ギャップがないなら機械で検証できるはずで、それができない=ギャップがあるってこと。

**１３２人目の素数さん** · 2022/04/11(月) 22:12:55.27

鼻毛が出ているファルティングスが気になる。

「ノーと言える人間」ってｗ

望月は、指導教官の私からみると素直な学生でした。
私と意見が対立することはほとんどありませんでした。
望月が正しい場合が多かったですが、間違っていても、
彼は私の指摘を素直に受け入れました。

しかし、私はａｂｃ予想を、博士論文のテーマとしては与えませんでした。
学生に挑戦させたとしても、数年考えて何もできなかったということになるのが落ちですからね

インタビューと、その後のナレーションが、「さかしま」になっている。

ａｂｃ予想が博士論文のテーマとならなかったことを、望月青年が残念がったのかどうかは分かりません。
しかし博士課程修了後、望月青年は意外な行動に出ます。引く手あまただった欧米の大学のポストには目もくれず、
少年時代に数年間だけ過ごした日本に帰ることを決めたのです。

**１３２人目の素数さん** · 2022/04/11(月) 22:21:06.08

>>387
君の話は50年前とか30年前の楽観的な未来像を数十年遅れで主張しているだけで
その主張には根拠もなければ、ギャップを埋める作業を君自身全くやらない事も判明済みだからお話にならない

君が14年前に嘘だ詐欺だニセ科学だと喚いた
有名な未科学現象の統計力学的トリックの解明くらい10年もあれば君でも出来るだろうと10年間様子見をしてみたが
結局君は10年間何も成し遂げず、ただ目先のネタを否定するだけの反知性主義的な生活しかしていない

**１３２人目の素数さん** · 2022/04/11(月) 22:24:24.46

数学者でも無ければ、学位論文すらまともに書けず
学問的成果も皆無のまま定年間際の泡沫教員が
ここまで大上段に虚勢を張るのは
自己愛性人格障害か誇大妄想狂以外の何者でもない

> ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
> とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる

**１３２人目の素数さん** · 2022/04/11(月) 22:24:50.30

ギャップを埋める作業をやる責任があるのは>>387ではなく望月や支持者だろう

**１３２人目の素数さん** · 2022/04/11(月) 22:27:28.16

そもそもYamagata Universityに、コンピュータによる定理証明を研究しているアクティブな研究者なんてきっと居ないだろ

身の回りで誰もやっていないし当然自身も全くやっていない分野の仕事について
あたかもできて当たり前のような口の利き方をするのは痛々しいね

**１３２人目の素数さん** · 2022/04/11(月) 22:27:34.93

>>401
キチガイa_watcherは寝てろよ

**１３２人目の素数さん** · 2022/04/11(月) 22:27:59.89

>>395
気狂いの妄想ばかりだな

**１３２人目の素数さん** · 2022/04/11(月) 22:30:30.67

https://www.weblio.jp/content/%E6%B1%9A%E8%A8%80%E7%97%87

**１３２人目の素数さん** · 2022/04/11(月) 22:31:14.47

>>397
さして難しくないのであれば
Yamagata Universityでやって成果を出せよ

匿名掲示板で虚勢を張って自我が肥大しているだけで
現実にはYamagata Iniversityでその分野の成果など何も出していないだろ

現実と向き合えよ

**１３２人目の素数さん** · 2022/04/11(月) 22:31:43.50

>>362
その底辺を退学になった人間の底辺以下のゴミに数学を学ぶ権利はない

**１３２人目の素数さん** · 2022/04/11(月) 22:33:44.27

おお、山形大学理学部旧物質生命化学研究室の准教が
IUTの自動定理証明に名乗りを上げたという事か
定年まであと10年あるのだから、必ず結果を出せるよな

期待してるぜ

**１３２人目の素数さん** · 2022/04/11(月) 22:34:50.69

>>408
匿名掲示板上の書き込み全てが底辺大関係者の物だと思い込む関係妄想障害は、専門医に相談しろ

**１３２人目の素数さん** · 2022/04/11(月) 22:37:52.84

すげぇよな、20年間何も成果を出さずにただ匿名掲示板で虚勢を張っていただけの教員は

自分が責められると、責めているのは自分の大学の関係者だという妄想を振り回して
底辺大内部のヒエラルキーに話題をすり替える

でもそんな底辺大にわざわざ関わる物好きは
件の教員ただ一人なのがこのスレの現状

**１３２人目の素数さん** · 2022/04/11(月) 22:40:27.69

>>408
とりあえず、君の底辺大内部のトラブルの話は
底辺大内部で解決しろと現学長と現学部長に
再三伝えてあるから
以降底辺大内部のトラブルの話は学長か学部長と議論しろ

ほんと毎回毎回妄想で底辺大内部トラブルの話を持ち出して、底辺大教員はどうしようもなく馬鹿だな

**１３２人目の素数さん** · 2022/04/11(月) 22:44:01.67

おすすめのアルミホイル教えて

**１３２人目の素数さん** · 2022/04/11(月) 22:44:15.27

セタとどっこいの能無しいるな

**１３２人目の素数さん** · 2022/04/11(月) 22:45:25.89

単発IDの准教はほんとバカだなぁ

**１３２人目の素数さん** · 2022/04/11(月) 22:47:38.41

定理証明系の研究などしたこともない理系教員が

「定理証明系での証明が簡単にできるのにやらないのはおかしい」

という妄想話で48スレ引っ張った、内容の薄いスレ

**１３２人目の素数さん** · 2022/04/11(月) 22:47:54.48

自分は数学の世界から完全にドロップアウトしてるくせに何上から目線でいきつてんのこの能無し？

**１３２人目の素数さん** · 2022/04/11(月) 22:48:51.12

以上、キチガイの独り言でした。

**１３２人目の素数さん** · 2022/04/11(月) 22:51:19.38

>>418
イヤ、お前に効いてるんだよ
お前学部までだよな？
洋書くらいまでは4回の研究室で挑戦はしたんか？

**１３２人目の素数さん** · 2022/04/11(月) 22:52:18.23

>>402
それは詭弁

簡単にできるのにやらないのがおかしいと主張しているのは>>387だから
>>387は自身の発言の正しさを証明するために
その簡単にできる筈のIUTの定理証明系へのポーティングを自身で実証する義務がある

誰も実証していない事を、真実だと言い張るのは
単なる予想や推測に過ぎず
実証的学問として完結していない

**１３２人目の素数さん** · 2022/04/11(月) 22:56:23.54

>>387はもし人間に羽根がついていたら空を飛び回る事ができるのに、今すぐ人間に羽根を付けないのはおかしいと主張しているだけ

発言内容には何の根拠も実証も無いので、ただ空想上の話を力説しているだけの夢想家に過ぎない

**１３２人目の素数さん** · 2022/04/11(月) 23:00:16.49

簡単にできる事なのに東大京大東工大がやらないのはおかしいと主張するなら
他大学に先駆けて山形大学で実行して結果を出して
他大学を出し抜けばいい話だよね

>>387によれば簡単にできる事なのだから
山形大学でもできる事になる
山形大学のランクを一挙にトップレベルに上げる絶好のチャンスなのに
今すぐ実行しない山形大学職員は頭がおかしい

って事だね

**１３２人目の素数さん** · 2022/04/11(月) 23:07:35.24

望月の頭の中にしか存在しない記述を望月本人が検証するのは簡単だからといって他者が検証することも簡単にはならんだろう

**１３２人目の素数さん** · 2022/04/11(月) 23:08:26.14

望月史の証明にはフィールズ賞受賞者のショルツが否定していて海外では懐疑的、
という触れ込みを見ることが今まで多かったが
なんか昨日の番組をみたら海外にも結構支持者がいるみたいにも見える

**１３２人目の素数さん** · 2022/04/11(月) 23:08:33.72

望月（とその支持者）

**１３２人目の素数さん** · 2022/04/11(月) 23:13:34.84

NHKSPみた
宇宙や未来から来た数学ではなくとも　通常レベルの数学で解けるとおもうのだが?
逆にこれを仮定すると簡単に解ける問題のほうを精密化、一般化して、
難しさをこっちへ合わせてそっちを解くのは?
フェルマーの最終定理以外でも、解けるやつを利用すればいいのでは?

**１３２人目の素数さん** · 2022/04/11(月) 23:16:06.49

>>424
明確な支持者は少ないし、微妙な面子
ホント微妙なラインなんだよなフェセンコとか二流ってほど酷くもないが、Dupuyは間違いなく二流

**１３２人目の素数さん** · 2022/04/11(月) 23:17:59.22

結局アンチのよりどころも
「ショルツは有名な天才だからショルツが言うことが正しい」
という付和雷同性でしかないことがわかっちゃったよな

もちろんだからと言って望月が正しいとは言い切れないが

**１３２人目の素数さん** · 2022/04/11(月) 23:20:31.12

>>428
そうやってアンチなんて言葉使って自分が数学懸命に勉強してきた人間と対等に議論できると思ってるクソ信者がムカつくんだよ能無し

**１３２人目の素数さん** · 2022/04/11(月) 23:22:57.41

>>429
頑張ろうが頑張ってなかろうが馬鹿は馬鹿
匿名掲示板で憂さ晴らししているお前みたいな三流学者は死ねよ

**１３２人目の素数さん** · 2022/04/11(月) 23:28:12.18

あの番組は望月信者が監修しているから、海外でも信者が少なくないという印象操作がされている。
エンドロールで出ていた日本人協力者は、玉川、星、文元、小山だった。
私には、文元氏が詐欺師のように映った。
あれだと、大学での居心地は悪くなると思うよ。

**１３２人目の素数さん** · 2022/04/11(月) 23:31:20.87

>>430
お前は賢いんか？能無し
数学など教科書も読んだことないやろ？
それでなんで数学の話ができると思ってるんや？
何を根拠に数学語ってるんや？
そもそも数学という学問になんの畏敬の念もないやろ？
なんでそれで数学語れるんや？カス

**１３２人目の素数さん** · 2022/04/11(月) 23:35:59.83

>>428
それはあんたが無知だから見えてないのでは？
ショルツだから、ではなくショルツがこういう話をしていて、というのはここでもよく語られていたよ
Woitがそう言っただけで、論文や論争を読んだ数学者は普通にいる

それで有力な数学者も結局理解できず、武田さんも言うように今や無視されている
たまたま日本でドキュメンタリー放送されたが、今も基本的には無視されて空気だよ

**１３２人目の素数さん** · 2022/04/11(月) 23:36:02.07

>>419
俺は>>411じゃないよ

**１３２人目の素数さん** · 2022/04/11(月) 23:39:27.07

武田さんって誰？

**１３２人目の素数さん** · 2022/04/11(月) 23:40:22.28

フェルマーの最終定理を、こっちと同値くらいになるように難しくするにはどうすればいいんだ?

**１３２人目の素数さん** · 2022/04/11(月) 23:47:30.58

>>428
>結局アンチのよりどころも
>「ショルツは有名な天才だからショルツが言うことが正しい」
>という付和雷同性でしかないことがわかっちゃったよな

俺はNHK見てないけどまーーた薄っぺらい「正しいか正しくないか」という
クダラナイ野次馬が参加しやすい論点に逆戻りしたのかな？
NHKの番組自体がそういう風潮をおそらく助長しているのだろうけど

>もちろんだからと言って望月が正しいとは言い切れないが

証明が合ってるかどうかなんてどうでもいい
数学はそういう「競技」に勝利するのが目的でもなければ嬉しがるのが目的でもない
「次の新しい扉を開けてくれるか否か」にこそ数学の価値がある
IUTにはまだその価値がないから興味を持たれていない
誰ツでもどれツでも関係ない

**１３２人目の素数さん** · 2022/04/11(月) 23:50:14.79

まわりの人たちを見ると、数学は、有名雑誌に掲載されることを競う競技のように見えます。

**１３２人目の素数さん** · 2022/04/12(火) 00:13:55.68

もおええわ！
近大卒の俺が査読してやるから待ってろ！

**１３２人目の素数さん** · 2022/04/12(火) 00:30:48.49

「認識論」なんて逃げ打ってちゃそりゃ認められないよな、というのが分かる人には分かる構成に図らずもなってたな

**１３２人目の素数さん** · 2022/04/12(火) 00:36:54.35

>>438
周りって誰やねん
そんな奴俺は見たことねえし
仮におめえの周りに居てもその周りの奴とやらが特別な隔離級のアホってだけ

**１３２人目の素数さん** · 2022/04/12(火) 00:41:27.41

その周りの奴は、結果として京大を含む旧帝大の教授や准教授になっているよ。

**１３２人目の素数さん** · 2022/04/12(火) 01:39:40.32

>>428
君分かってないね
望月の態度がおかいしと言ってるんだよ
2018年7月の望月のペーパーちゃんと読んだ？

**１３２人目の素数さん** · 2022/04/12(火) 01:48:08.66

>>429
お前自身、医学研究科で学位論文研究すら完成させずに無関係な実験報告で空学位を取ったゴミクズ人間じゃん

**１３２人目の素数さん** · 2022/04/12(火) 01:52:39.33

>>444
お前は数学界からドロップアウトした後便所の落書きでレスバに勝つ事に残りの人生かけてるゴミクズだよ能無し

**１３２人目の素数さん** · 2022/04/12(火) 01:56:26.37

>>445
お前の職場の学生トラブルの話は
他の人にとってはどうでもいい話だから
職場内部で自己解決しろと現学長と現学部長に通知済み

同じ話を何度も繰り返すなボケ婆

**１３２人目の素数さん** · 2022/04/12(火) 02:01:05.01

>>446
お前は本当はとっくにオレが別人やとわかってるんやろ
でもやめない
何故か？
やめたらそこで自分のレスバ負けになると思ってるから
最後にレスすることだけを残りの人生の目標にしてるゴミクズ
人生で何も成し遂げず何も残さずゴミに埋もれとけやカス

**１３２人目の素数さん** · 2022/04/12(火) 02:02:58.83

とりあえず、ネット上の赤の他人を
自身の職場の学生だと勘違いして
意味不明な妄想を撒き散らしている人物は
Yamagata Universityの非数学分野の理系教員

この症状は関係妄想障害と呼ばれるメンタル疾患
この教員は14年前から何度もこの障害によるトラブルを起こしては職場通報されている常習犯なので
専門病院で治療してからこのスレに書き込むように

**１３２人目の素数さん** · 2022/04/12(火) 02:03:53.68

ここって宗教スレ？？？？

**１３２人目の素数さん** · 2022/04/12(火) 02:04:08.92

毎日妄想トラブルを起こす病人教員を抱えて
学長も学部長も大変だよな

**１３２人目の素数さん** · 2022/04/12(火) 02:05:38.47

よかったな今日もお前が最後のレスだよ
勝ててよかったな
ゴミクズ掲示板のチャンピオンさん

**１３２人目の素数さん** · 2022/04/12(火) 02:06:38.60

>>449
底辺准教が一日中妄想を書いているのを
皆で弄って遊ぶネットおもちゃスレ

**１３２人目の素数さん** · 2022/04/12(火) 02:18:44.35

>>452
なるほど、あなたのような暇人が１日中張り付いてるって訳ですね

**１３２人目の素数さん** · 2022/04/12(火) 02:28:52.88

>>453
自己紹介はお前のホムペに書いとけ
年始年末にお前が暴れているのを見つけて大爆笑したが、それから3ヶ月経過してなお毎日暴れている事を知って呆れ返ったぞ

**１３２人目の素数さん** · 2022/04/12(火) 02:38:54.68

なぁ
そろそろ貴様に言わなければならないことがあるんだ。
俺も今日まで言うべきかどうか悩んだ。
言わなければお前も俺も普通の生活を続けていくことができる。今までどおりにな。
だが、やっぱりそれじゃだめなんだ。偽りのなかで生きていてはだめなんだ。
それに、もう時間がないんだ。
今、俺はお前に真実を告げる。

2ちゃんねるを

見ているのは

ひろゆきと

俺と

お前だけだ。

驚いたか？当然だよな。だがそれが真実だ。
辛かったぜ。お前が2ちゃんを見つけるずっと前から、俺は何十台ものＰＣに囲まれ毎日2ちゃんを保ってきた。
だから、あの厨房も、あのコテハンも、すべて俺だったんだ。
お前が初めて2ちゃんを見たとき、俺は人生であれほど嬉しかったことはなかったぜ。
時には心苦しいながらもお前を叩いたりもした。許してくれ。
と、今話せるのはここまでだ。もうすぐすべてを知るときが来る。
そのときまでに、心の準備をしておいてくれ。

**１３２人目の素数さん** · 2022/04/12(火) 02:58:14.81

なるほど
マトリックスの中にはもう
設計者
預言者？
俺
しかいなくてあとはbotなんだな
みんなエグザイルになっちまったか
俺はマトリックスを突破しようとは思わないけど
必要なら赤を選択する覚悟はある
一度は赤を選んだからね
時が来るのを待っているよ

**１３２人目の素数さん** · 2022/04/12(火) 04:42:17.21

>>327
そういうお前は嫌にシンパ（反対者の意味で呼ばれるアンチの対義としての同調者の意味で呼ばれる）ぶるじゃないか｡
知ってるか？ギャップを補足代行できるわけじゃなきゃシンパはシンパでも盲目的シンパだぞ｡
つまり読んで字の如く出鱈目による盲(ﾒｸﾗ)判断の上で出任せ（世に言うデマは出任せだからデマと蔑称される）で
ハッタリ（有ること無いこと織り混ぜた上に更に虚飾を「張ったり」効かせた言い分）こいて
大法螺を吹いて大きな知ったかこいてる事に成る。つまり仮に将来的に万が一IUTが世界的認証される日が来たとしても
現時点のお前の言い分はデタラメ→デマ→ハッタリ→大法螺吹き→大嘘ぶちこき→大掛かりな知ったか、こいてる事に成る｡

何で無定見で居られないの？IUTに対してシンパ行為しないと不利益を被る立場に居るわけでもあるまいに、何で？

>>386
は？嫉妬認定や憎悪認定の前に、いつIUTが世界的認証獲得の成功を得られたんだ？
それとも、お前が保証するの？保証金は幾ら？保証するわけでもなくて訴求しないよなぁ｡
保証金ゼロじゃハッタリでしか無くなるけど｡

>>428
そういうお前の拠り所だって京大系RIMSじゃねぇかよ京大じゃねぇかよ自国贔屓じゃねぇかよ｡
ブーメランぶちこいてんの分かってる？

>>430
天羽とか言う婆様に単位を貰えず退学したんだろ？退学者は三流どころか五流でさえないだろ。下流でさえない地下流だろ｡
所でその、常日頃からa_watcherと言われる程のその天羽婆様関連コピペ種類数とレス頻度が見咎めるんだよね｡
そろそろ働けよ。地下流どころか地底流にまで落ちるぞ｡

**１３２人目の素数さん** · 2022/04/12(火) 05:38:26.15

Nスペを見ただけの門外漢の感想。
同じとみなすばかり強調されていたが、
同じ場所を別の点とみなすくらいリーマン面ででてきたのにな。
望月教授の成果は、代数幾何学のイタリア学派のように、
正しいことを言っているが、見通しが悪く基礎がぐらついていると、
番組は伝えたいのかな。
たぶん、代数幾何学の歩みと同じように新たな現代化が必要と思われる。
特に、数理論理学での成果を利用すべきではないかな。

**１３２人目の素数さん** · 2022/04/12(火) 07:47:31.95

>>445
( ´∀`)'`,、'`,、'`

ｿｲﾂゎ数学徒崩れなんかじゃねぇｿﾞ。
崩れてさぇいない。
数学科専攻者じゃないからね、仕方ないね
ハッキリ分かんだね。

**１３２人目の素数さん** · 2022/04/12(火) 07:52:19.69

>>447ｯﾁｬﾏのｽｩｩ…学力、気になりますねぇ!
…まさか、…課長!?Σ😲

もしくゎ、
○π🥧←ﾊﾟｨｵｼﾞｻﾝｯ!?ΣΣ😲

**１３２人目の素数さん** · 2022/04/12(火) 07:53:57.45

て思たけどｧﾓｯﾁｬﾏくん学徒崩(ﾚ)認定しちゃぅﾎﾟﾝｺﾂなんだょなぁ…(煽り)

**１３２人目の素数さん** · 2022/04/12(火) 07:56:12.80

なんJなんG戦で故郷のなんJから逃げ出した通りすがりの避なんJ民、はっきり違和感だね。

**１３２人目の素数さん** · 2022/04/12(火) 07:59:56.12

じゃぁ、まず、腐れｧﾓｩｯﾁｬﾏくんの出身学部から教えてくれるかな?
工学部崩(ﾚ)かﾅﾆか?(煽り²)

**１３２人目の素数さん** · 2022/04/12(火) 08:01:45.23

この速さなら発狂連投!
ハッキリ浮くんだね

**１３２人目の素数さん** · 2022/04/12(火) 08:06:44.26

>457
(…ｧ、ｧ、…ｿﾊﾞﾁｬﾝﾀﾞ…ｿﾊﾞｯﾁ　ｿﾊﾞｯﾁ…)

**１３２人目の素数さん** · 2022/04/12(火) 08:06:55.20

>>433
テレビではショルツェをショルツと言っていましたか？

**１３２人目の素数さん** · 2022/04/12(火) 08:12:08.95

良かった…
よゐｽｩｩ…学人のみんなゎﾓｯﾁｬﾏdisｽﾙﾙｪなんかに集ゎなぃ、ぉ利口さんだからね、ｪﾗｨｿﾞ^~^

ぁ、じゃぁ、ｩﾝﾁのｼﾐも消えるｶﾗ。(消滅)

**１３２人目の素数さん** · 2022/04/12(火) 08:22:35.33

番組見た。
最後の方で加藤氏が「ギャップがあるとかではなくて認識論の違い」って言っていたのが印象的。
そう言うのはいいのだけどその認識論が数学の「根本」にある問題というよりも、
超絶技巧の小さな先っぽにある「とてつもなく微細なズレ」だったらどうなんだとも思った。
新たな世界が広がるのを期待しているけど、一方で現代数学の袋小路なのかもとも思う。
若い世代がIUTTを咀嚼して進めてくれるといいね。

**１３２人目の素数さん** · 2022/04/12(火) 09:07:21.23

>>459
関係妄想障害の気狂いおばさんはいつ見ても妄想話ばかりだな
悲惨な底辺大職員

**１３２人目の素数さん** · 2022/04/12(火) 09:09:30.96

山形大学理学部旧物質生命化学研究室准教は
IUTによるABC予想証明を定理証明系にポーティングするのは簡単だと豪語しながら

その自称簡単な筈の事を自身で実行して結果を示す
とても簡単な事をできない無能者と確定

**１３２人目の素数さん** · 2022/04/12(火) 10:57:54.78

遺伝子？なに言ってんだコイツ
素数か？と思った人

**１３２人目の素数さん** · 2022/04/12(火) 10:59:38.91

ZFCUの世界で何か見つけ損なっている
このままでは外人がよりスマートでまともなアプローチを見つけてしまうだろうな
という感じがするが

**１３２人目の素数さん** · 2022/04/12(火) 12:11:47.17

STAP細胞の作製に200回以上も成功したと言うなら監視下で簡単に再現できるはずだよね

**１３２人目の素数さん** · 2022/04/12(火) 12:54:17.15

それでも　しっ激すれば　出てきます宇うう
ちんぽだあっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
っ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　

**１３２人目の素数さん** · 2022/04/12(火) 13:12:08.89

**１３２人目の素数さん** · 2022/04/12(火) 13:16:12.73

この意味不明な茶番にまともにつきあってあげたショルツェ、
人が好過ぎるんとちゃうか

**１３２人目の素数さん** · 2022/04/12(火) 13:19:14.84

底辺准教の脳内世界ではそうなんだろうな
でも非数学分野の底辺准教のネット罵倒なんて数学者は一切相手にしないから無関係

**１３２人目の素数さん** · 2022/04/12(火) 13:28:18.09

以上、山形大学を成績Fを取り学校と揉めて退学になり14年間に渡って担当教員を底辺と罵り続けている長野の人間の底辺の独り言でした

**１３２人目の素数さん** · 2022/04/12(火) 13:59:08.11

なや

**１３２人目の素数さん** · 2022/04/12(火) 14:58:41.35

なるほど、ドゥプイ先生は望月をニュートン、ライプニッツ、アインシュタイン等と
同列に思ってるのか～。

**１３２人目の素数さん** · 2022/04/12(火) 15:16:10.86

>>473
はいお前に作製する責任発生

**１３２人目の素数さん** · 2022/04/12(火) 15:44:23.90

a_watcherはオズボーン博士すら知らないニワカモグリ

**１３２人目の素数さん** · 2022/04/12(火) 18:05:35.20

同じものを違うものと見做すって、IUT特異なものでなく、
IUT以前のタイヒミューラー理論でも似たような事やってるって思ってんだけど、違うのかな？
p進タイヒミュラー理論に対する異論は聞いた事ないので、
つまるところ、IUTでは対象とするオブジェクトの定義が、
複雑過ぎて認知できない状態なんじゃないかと思う。

一般に単純化された理論の方が美しいと考えるから、
ショルツの様に考えたくなるんだけど、
学問の歴史を見るに、複雑性と単純化ってお互い2重螺旋のように絡みあって昇華してきたもので、
複雑から単純への過程はある種ブレイクスルーであって
認知されるには時間がかかるのだろう。

っで、結局何が言いたいかというと、
ショルツはIUTを曲解して単純化して不十分。
一方望月は第三者への認知可能な説明が不十分。

これは、両者に加藤さんが言う認知のギャップがある状態である。

ギャップを埋めるには望月側が皆が認知できる（腑に落ちる）形の説明をする必要がある。

その説明は、単純化かもしれないし、形式的表現かもしれないし、もっとメタ的な何かかもしれない。

私は、IUTに否定的ではない。
望月はIUT研究の中で審美性を見出していることから、
IUTに何かしらの真理があると思っている。

ただその真理への到達には今しばらく時間が必要かもしれない。

以上、素人の戯言でした。

**１３２人目の素数さん** · 2022/04/12(火) 18:12:20.37

>>483
違う
通常の数理論理では等号は特別なpredicateとして等号原理を要求する
過去の数学で等号原理を満たさない体型で議論されたものはひとつもない
しかしそれもあくまで“原理”であって絶対そうしなければならないものではない、きちんと言語体型、推論即を設定してそれが普通の数学の保存拡大になってる事を確認した後なら好きにすればいい
望月理論はその過程を全部すっ飛ばして論文アクセプトした後で今になってそんなとぼけた事言い出してるのが問題なんだよ
そんな問題自覚してるならとっとと論文撤回して確認作業に入ればいいのにそれもやらん
アホかと思ってるのが普通の数学者の意見なんだよ

**１３２人目の素数さん** · 2022/04/12(火) 18:28:45.62

俺は否定的だけどね

IUTの評価計算を追ってる数学者はショルツ以外にも何人もいる
そこで論理構造を変えたとして、本当に新しいアイデアだったら既にそこは議論されてるはず
自発的にな。ところが現実には望月学派が必死になって歩み寄りを望んでいる

**１３２人目の素数さん** · 2022/04/12(火) 19:00:05.53

率直にいって、望月新一のアイデアが全くの荒唐無稽ではないとしても
正当化できていない現状で「証明した！」とわめき散らすなら
どうみても只の狂人だろう

**１３２人目の素数さん** · 2022/04/12(火) 19:02:08.53

>>484

ABC予想の式が元々が不等号だから、
等号原理を「要求する」とか、何の意味があるの？

ABC予想の式が「不等号」なので、全てを等号で解くことに拘らなくても、
上から抑えるやり方の解法が成立するのだから、別に問題ないよね。