22/04/10 07:52:34.76 .net
>>265
＞IUT論文中に出てくる"universe"が
＞学術用語としての宇宙なのか、
＞それとも口語としての宇宙なのか
後者（口語としての宇宙）は意味がない
数学科で数学を学んだ者なら疑いなくそう思う
こんな疑問を口にするのは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
290:１３２人目の素数さん
22/04/10 07:57:43.69 .net
>>266
プラトニズムは数学界におけるフォークロアにすぎない
数学界におけるオーソドクシーはフォーマリズム
そうでなければ証明が意味を持たない
もちろん射影幾何学も完全にフォーマリズムの中で扱える
知らないヤツは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
291:１３２人目の素数さん
22/04/10 08:03:52.43 .net
>>276
4PMvR07Cは「ミュンヒハウゼンのトリレンマ」の話をしたいらしい
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ミュンヒハウゼンのトリレンマは
知識・論理などの確実な根拠が得られることはない
という懸念を提起する問題である。
１．どんなものでも正しいといえるためには根拠が必要である。
あるものAが正しいといえるにはその根拠Bが必要である。
また根拠Bが正しいといえるにはその根拠Cが必要である。
また根拠Cが正しいといえるにはその根拠Dが必要である…
と根拠を要求すれば無限に続くことになる（無限背進）のではないか
２．どこかで「原理」や「証明はなくても正しいとみなす」といった
それ以上根拠を問えないような理由（ナマの事実）を立てて
1の連鎖を止める場合、その理由自体は正否が保障されないので確実ではない
３．もしA→B→C→D→…の連鎖がどこかでAに戻ってくるならば
循環論法になり無効になる
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
292:１３２人目の素数さん
22/04/10 08:06:20.80 .net
>>281
もちろん、フォーマリズムにおいて必ず無定義語が出てくるのは自明である
しかしそれはプラトニズムの正当化とは全く無関係である
また、宇宙のような高度に複雑な概念を無定義語として導入することは絶対にない
それは数学における論理の全面的な否定である
293:１３２人目の素数さん
22/04/10 08:10:58.05 .net
>>277
＞イデアがわかれば…
しかしながら実際にはイデアというのはいわば妄想であって
決してわかりようがないものである
プラトンも洞窟の比喩で喝破している
「実体があるから影がある」のではない
影から実体とかいう”架空の存在”をデッチあげているのである
そしてそのデッチあげた”架空の存在”を前提とすれば
影の行動が何の矛盾もなく整合的に説明できるならば
そのときその”架空の存在”はもっともらしいとみなされるのである
URLﾘﾝｸ(ja.wikipedia.org)
294:１３２人目の素数さん
22/04/10 08:15:16.89 .net
アインシュタインは物理現象から絶対的同時という実体が構成できないことを示した
つまり観測結果を整合的に解釈するためには光速の不変性を前提せざるを得ず
その結果同時の不変性は否定されるのである
295:１３２人目の素数さん
22/04/10 08:18:33.54 .net
望月新一が成功したこと
・ABC予想を導く有望な前提として予想3.12を発見したこと
望月新一が失敗したこと
・予想3.12を現在の数論の前提から証明すること
296:１３２人目の素数さん
22/04/10 09:18:14 JfaVaId9.net
今夜、お見逃し無く
4月10日(日)午後9:00
NHKスペシャル「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
30秒予告動画つき
URLﾘﾝｸ(www.nhk.jp)
初回放送日: 2022年4月10日
２０２０年春、数学の難問“ａｂｃ予想”を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？前代未聞の議論を追い、数学の魅力に迫る。▼語り・小倉久寛
297:１３２人目の素数さん
22/04/10 11:24:31 vV+fd845.net
theHigherGeometerがNスペを前に考えをツイートしているが、
トーマスCヘイルズがケプラー予想を証明したときになかなか浸透せず、袖をまくってチームをアッセンブルし、より詳細な証明を与えた、
そして今回何故それができなかったというのは本当にその通りだな
次世代センターというのをわざわざ京都大学の研究所に作りながら、何故「自明」を埋める取り組みには入らないのか違和感を禁じえない
余談だがヘイルズ単独のwikipediaの記事が、英語、中国語、フランス語、ドイツ語などはあるのに日本語だけない
ケプラー予想をコンピュータを用いて証明した偉大な数学者の記事が、日本だけないのはなぜだろう？
298:１３２人目の素数さん
22/04/10 11:55:34 PUjVMv57.net
自明を埋める取り組みは当然やったしやってるやろ
できなかったしできてないだけ
299:１３２人目の素数さん
2022/04/
300:10(日) 12:22:09 ID:8eW9N5+O.net
301:１３２人目の素数さん
22/04/10 12:27:04.55 8eW9N5+O.net
>>285
>>288
現在の数論に証明に必要な新しく使えるツール開発が必要
…ってｺﾄ!?
それかzﾌﾗﾝﾁｬｨｽﾞに改良が必要
…ってｺﾄ!?
302:１３２人目の素数さん
22/04/10 12:32:42.03 8eW9N5+O.net
>>290
現在の数論での証明には
だたｿﾞ。
ツール開発とzﾌﾗﾝﾁｬｲｽﾞの改良両方とも必要な可能性もあるかも
…ってｺﾄ!?
∩„„∩
(・ω・)))
303:１３２人目の素数さん
22/04/10 12:34:58.86 8eW9N5+O.net
ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
…ｮｼｯ!(現場係長)
304:１３２人目の素数さん
22/04/10 12:36:49 8eW9N5+O.net
本ｽﾙﾙｪだたｿﾞ…!(悲鳴)
僕が誤爆しちゃいました!
…赦し亭…赦して!(消滅)
305:１３２人目の素数さん
22/04/10 18:24:47 WD0niT1D.net
Dupuyによると
SSは望月が言ってもいないことから矛盾が生じたと主張しているとのことだな
306:１３２人目の素数さん
22/04/10 18:42:00.84 uvtM1upb.net
へえ、証明に必要な具体的な計算方法がわからないと自白したDupuyがねえ
307:１３２人目の素数さん
22/04/10 18:53:33.72 D22Cs4Gb.net
>>283
実体も無定義語だよね
その文章で実体という言葉を○○にしても
通じる(ようにして書いてある)
ソーカル事件と紙一重だとは思うけど
308:１３２人目の素数さん
22/04/10 19:02:34 D22Cs4Gb.net
自分で書いたものが自分でわからないという時代が来る
309:１３２人目の素数さん
22/04/10 21:03:24.11 Igee2D7R.net
おっ、天羽さん出てる！
310:１３２人目の素数さん
22/04/10 21:24:39 RgZIeFZk.net
このスレのバカが粋がってたけど
結局「賛否両論」まで後退させられてて爆笑した
栗城、日木るなやらかしたNHKですら後退せざるを得ない状況w
まだ様子見だが証明したと言い切った時点でクソダニだろうな
311:１３２人目の素数さん
22/04/10 21:35:24 RgZIeFZk.net
中身知らせず
付帯情報だけ垂れ流して解いたアピールは昔から一貫してるな
Qアノン、神真都Qと同じ
312:１３２人目の素数さん
22/04/10 21:54:16 uvtM1upb.net
「対象に関する認識論」w
パワーワード過ぎる
313:１３２人目の素数さん
22/04/10 22:00:15 uvtM1upb.net
うわー15日完全版商法かよ
うざ
314:１３２人目の素数さん
22/04/10 22:08:53.76 QBNkdagM.net
賛否両論ってことはそれだけ常識を根本から覆す画期的な理論ってことさ
本当に数学に関して認識の変革を迫るような物なら理解されるのに100年かかってもおかしくない
315:１３２人目の素数さん
22/04/10 22:13:20.94 mnE3e5qS.net
本人が出演を断ってるのは残念だなぁ
ちゃんと表舞台に出て自分の正しさをアピールしてほしかった
316:１３２人目の素数さん
22/04/10 22:14:30 XPTTuNVK.net
アホか
番組で「コレで数学者は理論が正しいのか気をもまなくてよいとわかってホッとしたと思う」って言ってだけどまさにあのひと言に尽きるやろ
317:１３２人目の素数さん
22/04/10 22:17:42 D22Cs4Gb.net
改めて「対応させる」というのを考えさせられました
たとえば
2を4に対応させるとは
像f(x):=x^2
に対して
σ(2^2):=4 i.e. 2^2=4
こういう解釈なんだと思いました
318:１３２人目の素数さん
22/04/10 22:17:47 rnDmqF5s.net
完全版っていうほどのネタがあるんだろうか？
今のでだいたい出てるよね
劇場版出ても見に行くけどw
319:１３２人目の素数さん
22/04/10 22:18:52 D1K6AzYt.net
もっと盛り上がるのかと思ってたがサッパリだな
なんだこの雰囲気
320:１３２人目の素数さん
22/04/10 22:19:10 uvtM1upb.net
>>303
星が絡んでるせいか、説明はかなり良かったよ
「乗法的には同一視できるが加法的にはできない宇宙を区別する」という話だな
321:１３２人目の素数さん
22/04/10 22:19:36 rnDmqF5s.net
>>303
CFGUやるなら
それなりに自前で全部証明しないとダメだろうし
その慎重さがあるとは思えないどね
322:１３２人目の素数さん
22/04/10 22:20:23 rnDmqF5s.net
でもIUTのアイデアはかっこいいよね
超好き
好きなんだけどダメだろ
今のままでは
323:１３２人目の素数さん
22/04/10 22:20:55 D22Cs4Gb.net
f:R×R→R
f(a,b):=a+b
σ:R→R
σ(a+b):=c i.e. a+b=c
324:１３２人目の素数さん
22/04/10 22:22:11 mnE3e5qS.net
でもまじで数学の概念を根底から覆すような理論だったら受け入れられるまで本当に数十年掛かりそうだな
あのガロア理論だって40年くらいかかったわけだし
325:１３２人目の素数さん
22/04/10 22:25:35 ipR4Ksxv.net
>>306
>>312
素敵です…!
326:１３２人目の素数さん
22/04/10 22:27:01 uvtM1upb.net
>>313
いや、それは疑わしいな
異なる圏で考えている中で環構造をそれにつき同一視したり区別する、という考え自体は
別に難しくもなんともないからな。今の時代その程度でそんな時間かからんよ
勿論真偽はさておきな
327:１３２人目の素数さん
22/04/10 22:33:09 VLhc55My.net
まぁ等号原理を要求しない言語理論を構築したいならすればいい
それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
驚きなのはそれを今までやらずに議論してたのかって事だよ
よくそれでアクセプトしたもんだよ
バカじゃないの
328:１３２人目の素数さん
22/04/10 22:33:55 ipR4Ksxv.net
σ(2^2):=4 i.e. 2^2=4
σ(a+b):=c i.e. a+b=c
↑素敵です!
∧∞∧
(∥>ω<∥)
329:１３２人目の素数さん
22/04/10 22:44:20 0Ruma1mp.net
対象に関する認識論
＞虚数の初出は16世紀だが、0 や負の数ですら架空のもの、役に立たないものと長らくされており、負の数の平方根である虚数はなおさらだった。
デカルトも否定的にとらえ、 「想像上の数」と名付けて、「虚数」の語源となった。
オイラーによる虚数単位 iの導入（1770年頃）、ガウスによる複素数平面の導入（1831年）を経て、徐々に多くの数学者、人々に受け入れられるようになっていった。
毎度おなじみのこと
どこにあるんだよ-1のルートとか 目の前に見せてみろ 気色悪い 役に立つまともな数学が出来るわけないだろ
330:１３２人目の素数さん
22/04/10 22:47:21 7Y4nhNuU.net
まぁabc予想の証明は間違ってたとしても何らかの役に立っててほしい理論だな
331:１３２人目の素数さん
22/04/10 22:47:52 1kKurBuw.net
「ショルツの権威ガー」ってのがカッコ悪かった
332:１３２人目の素数さん
22/04/10 22:53:50.66 uvtM1upb.net
Woitは小物だが、その辺の平均的な院生よりは優秀だからな
333:１３２人目の素数さん
22/04/10 23:32:11.82 LZJVV5M9.net
ちなみに、今までの数学の歴史で、今回のように、画期的な数学理論に対して権威ある数学者に批判されたけど、やはりその理論が正しかったということはあったんですか？
334:１３２人目の素数さん
22/04/10 23:44:27.34 abaCLFcV.net
>>313
ガロア理論は埋もれていただけで、間違っていると言われたわけではないだろ。
それに情報の伝達が今とは比べ物にならない１９世紀前半とくらべてもな。
335:１３２人目の素数さん
22/04/10 23:44:50.17 7Y4nhNuU.net
無理数の発見
336:１３２人目の素数さん
22/04/10 23:53:39.93 3MJJ/V4k.net
>>323
どっちかというとアーベル？
337:１３２人目の素数さん
22/04/10 23:54:37.81 Bg/+fFe+.net
abc理論よりもずっと簡単なもので望月教授の考え方
338:を使えるものってないの？
339:１３２人目の素数さん
22/04/11 00:01:17.88 ZNzP4S4o.net
>>ウォイト 博士「ショルツは数論の分野で最も才能に満ちた数学者です。
>>そのため、ショルツが理解できないとしたことは重い意味を持ちます。
>>多くの数学者は、『もうこれでこの問題については悩まなくてもよくなった』
>>と思うようになったのではないでしょうか」
このコメントで、
結局アンチがただの権威主義でしかないことが判明したことの意義は
計り知れなく大きいな
340:１３２人目の素数さん
22/04/11 00:08:11.18 546Jncis.net
>>327
じゃお前がギャップを解消して
341:１３２人目の素数さん
22/04/11 00:34:31.80 IE8EuojO.net
>307
完全版の予告が最後にあったけど
「対象に関する認識論」について少し触れた。
シュルツェが「間違っている」に対して、望月が「誤解している」との見解で、
その差は「対象に関する認識論」が根本にあるとのあらすじだから、そこに入るならば「必見」だね。
342:１３２人目の素数さん
22/04/11 00:40:37.71 dE0iqR6W.net
>>323
望月先生も間違ってるという指摘はされてませんよね
343:１３２人目の素数さん
22/04/11 01:14:19.84 FCw01L20.net
果たしてこの理論を理解できてる人はこのスレに何人いるんだろうか？
344:１３２人目の素数さん
22/04/11 01:17:55.96 sirnYUPb.net
誰もおらんよ多分
おそらく世界中で一人もいない
345:１３２人目の素数さん
22/04/11 02:15:54.67 MjeY+vmJ.net
>>259
コネだよな両津勘吉の声優の時と言い
>>309
RとQpの区別としか言えてないけどな
>>316
そこなんだよな
346:１３２人目の素数さん
22/04/11 02:23:45.11 dfLs5v3w.net
このスレでイキっているガイジは
医学研究科の学位論文研究ができずに
報告さえ出せば学位の出るラマン散乱実験報告(医学と無関係)で空学位を取ったガイジだから
相手にしても時間の無駄
精神疾患と統合失調と人格障害のアラ還婆
347:１３２人目の素数さん
22/04/11 02:27:44.01 4IAj35lu.net
哲学者は物理学者に対して、今の物理学では脳(物質)から意識(非物質)が生まれる事になってるから
意識を物理的に定義して物理学を拡張しろと言ってるが、物理学者は無視しているか頑なに拒否している。
それに似ている。今までの考えを根本から覆すことにはみんな抵抗し、受け入れるまで数十年かかる。
だが提案されてから20年ぐらい経ってやっとまともにそういう研究分野が生まれて、理論めいた物も
提示されるようになってきた。認識論に転換を迫るような物は数十年単位で受け入れられるのに時間が掛かる。
348:１３２人目の素数さん
22/04/11 02:30:37.05 pOKjTyXL.net
もしこのような時代に、オイラー、ガウス、ガロア、ヒルベルト、
ノイマン、ゲーデル、が生きていたら、どう見るのだろう？
多分に存命のワイルズ、ペレルマンは、だろう？
彼らのコメントを聞きたいのぉ。
349:１３２人目の素数さん
22/04/11 02:45:07 dfLs5v3w.net
>>335
それ認識論というキーワードが共通しているだけで
数学とは直接関係ないし
物理系出身の底辺准教が「意識を物理的に定義しろ」などと言い出すのは、物理の方法論を理解していないポンコツの証明にしかなっていない
物理学の仕事は決して、哲学上の概念を物理学に取り込む事ではない
物理的現象を対象とした観察と仮説立案と実証を通じて、物理的現象がどのように(how)起きるのかを記述するのが物理学の仕事
そして生物の脳の上の現象の一つと目される「意識」について物理学が関与できるのは、脳の活動状態の観測装置の物理的側面の基礎付けや拡張までであり
それ以上の仕事は、観測装置を使う生物・医学・心理学等諸分野の分担となる
350:１３２人目の素数さん
22/04/11 02:49:40 FCw01L20.net
この理論って圏論の分野ですか？
351:１３２人目の素数さん
22/04/11 02:50:46 dfLs5v3w.net
このポンコツ底辺准教は、脳の機能観察に関する物理学からの寄与を、学生時代の医学研究科学位論文研究で成し遂げる事ができずに逃げ出した落ちこぼれであり、それから27年間その分野に寄与していないにも関わらず
自身の身元を誤魔化し自分の過去の無力さを棚上げにし>>335のような恥知らずな要求をする破廉恥婆である
352:１３２人目の素数さん
22/04/11 02:59:52.60 TKY3tNzR.net
>>287
日本語版ウィキペディアの数学分野は
このスレで一人で騒いでいる底辺准教が
匿名管理者の一人(Su-no-G)だった時代
大学院学生をポータル管理者に仕立て上げて
うろ覚え知識の備忘録のような記事を量産させていた
底辺暗黒時代を引きずっているから
まともな人間は近寄らない
そもそも日本語版ウィキペディア自体が
悪名高い匿名掲示板の運用ボランティアのゴミどもが
日本語版創設者を匿名誹謗中傷で追い出して乗っ取ったゴミクズに過ぎないから
日本語版は読まないのがマナー
353:１３２人目の素数さん
22/04/11 03:06:33.53 ro0sNBqZ.net
底辺連呼の書き込みは最近は夜中ばっかだから春の陽気で睡眠覚醒中なんだろ
354:１３２人目の素数さん
22/04/11 03:07:41.52 ExLtsirK.net
>>331
いる訳ねーだろ
355:１３２人目の素数さん
22/04/11 03:10:30 epCp8ZTQ.net
>>334は算数すらできないんだから(笑)
356:１３２人目の素数さん
22/04/11 03:13:18 TKY3tNzR.net
>>341>>343がIUTスレで毎日妄想罵倒連投をしている山形大学のアラ還准教
357:１３２人目の素数さん
22/04/11 03:16:37 FCw01L20.net
まぁあれだね・・
何年もかけた研究を無駄にするわけにもいかないからきっと望月先生も焦ってたんだろうね
358:１３２人目の素数さん
22/04/11 03:20:18 TKY3tNzR.net
>>316
それがすぐできればいいんだろうけど
それはもっと大きなテーマを含んでしまうから
遠い未来に解決される課題なのだろうな
それができると予測し仮説の元に
数学の諸問題を解決する体系を作ってみて
大きな齟齬はなく成立するようならば
仮説の確らしさが増すし
不具合が出てきたら仮説を手直しするか立て直す話になる
それは数学に限らず物理でも一般的な方法
359:１３２人目の素数さん
22/04/11 03:22:40 TKY3tNzR.net
>>308
普段、山形大学のアラ還准教氏が一人で暴れているからいまさらここを見にくる人は居ないだろう
嫌儲板でもスレを立てて、いつもの繰り言で埋め立てしてるし
360:１３２人目の素数さん
22/04/11 03:23:14 4IAj35lu.net
>>337
>>物理の方法論を理解していないポンコツの証明にしかなっていない
それがまさに過去の思考の枠組みから抜けられない認識転換できない態度だね
意識の物理化を主張しているのは必ずしも文系の哲学者ではないし、むしろ
中心人物は数学科出身だ
ペンローズのようなノーベル賞受賞者も意識の物理学にはチャレンジしている
361:１３２人目の素数さん
22/04/11 03:29:13 dfLs5v3w.net
山形大学のアラ還准教の頭がおかしい原因の一つは
早朝から深夜まで匿名掲示板にしがみつく不眠症が原因だろうね
普通の人は毎日こんな時間に匿名掲示板に書き込みをしない
362:１３２人目の素数さん
22/04/11 06:24:37 HAOBPej8.net
NHKが一般市民向けに番組作れるくらいなのに、数学者が理解できないとかいうのがよく分からない
結局、以前から指摘されてた証明にあるギャップはどうなったの
363:１３２人目の素数さん
22/04/11 07:02:11.4
364:4 ID:1eNwi6/i.net
365:１３２人目の素数さん
22/04/11 07:16:31 uw+auT3v.net
歴史的にやっぱ本人の死後にいろいろ問題が発覚するんだろうね。
今はあまりに政治的な要因が大きいから。
366:１３２人目の素数さん
22/04/11 07:53:57.20 FJ6tfu3Z.net
>>316
＞まぁ等号原理を要求しない言語理論を構築したいならすればいい
＞それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
＞驚きなのはそれを今までやらずに議論してたのかって事だよ
Cor 3.1.2が等号でなく、不等号の式になっているのでは？
”足し算”と”掛け算”で、”掛け算”は等式の左辺abの情報が右辺cが系統的に反映するから容易に等号で証明できるが、
"足し算”は、左辺abの情報と右辺cの情報で系統立たなくて、等号での証明が困難であると主張していた。
”掛け算”だけ成立する２つの宇宙を定義すれば、”足し算”と”掛け算”が混じり合う式は、
”掛け算”だけ等号で解くことで等号理論でできるが、"足し算”は等号ではない数値を返す。
だけから等号ではない数値は、ある上限値以下となれば、不等号になる。
元々が、ABC予想は、数の遺伝に係る不等号の式なのだから、
等号の式による等号理論で答えないといけないという縛りは無いよね。
掛け算が成立する宇宙で、足し算を分離する目的だと意図が説明されているから、
その戦略を認めるか否か、そこで同じ値（掛け算的に？）と違う値(足し算の差分）で、
数学は違うものを同じで認識してきた、伝統に反する革新の概念という事は分かった
、
367:１３２人目の素数さん
22/04/11 08:59:33.01 ZftRK1y4.net
昨日のNスぺでは
abcを経由せずにフェルマー予想の別証明ができるという話は
なかった
368:１３２人目の素数さん
22/04/11 09:32:01 BbeHwTpV.net
>>346
アホですか？
それこそまず真っ先にやらなあかん事やろ？
今までの数学の言語では使わない言葉使いする論文書く分にはいくらでも構わないしそんな論文いくらでも探せばあるやろ
超準解析なんかそれ
ヒルベルトの第20問題の弱い形の証明のアルティンの証明も広い意味で超準解析と言えなくはない、(使ってないけど)
しかしそれをやっていいのはその言葉使いによる証明が普通の数学の“保存拡大”である事の証明ができたあとだし、それができてないならそんなもんろんぶんになどならんわ
そもそもその作業に何十年もかからんし
なんも知らんのやったら黙っとけ
369:１３２人目の素数さん
22/04/11 10:00:04.89 dfLs5v3w.net
山形の底辺准教の考える理系学問
「既知の証明済みの定理の順列組み合わせで新しい学問を作らなければならない」
「自分の信じる妄想に反する発言は、自分から見ると頭が悪く見えるから、黙っとけ」
現実の理系学問
「既知でも証明済みでもなくとも、予測や仮説を置いてそれに基づいて学問体系の拡張を試み、それが多くの部分で妥当性や新規の発見をもたらすなら
最初の予測や仮説に関する証明は数十年、数百年先に先送りしても支障はない」
370:１３２人目の素数さん
22/04/11 10:01:21.56 TKY3tNzR.net
>>355
そもそもお前は数学の勉強もしていなければ
医学研究科の学位論文研究すら完成させていない
還暦間際の底辺准教なのだから黙っとけ
371:１３２人目の素数さん
22/04/11 10:07:41.17 TKY3tNzR.net
> それができてないならそんなもんろんぶんになどならんわ
脳に異常が生じると言葉が平仮名表記になるんですね
判ります
医学研究科に、医学と無関係のラマン散乱実験報告を出した時も、脳に異常が生じて平仮名表記で論文を書いていそう
372:１３２人目の素数さん
22/04/11 10:24:35 SDXbLN9k.net
>>357
なんでオレが医学部の学位取らんとダメなんだよ
アホかバカ信者
もうオレが自分では太刀
373:打ちできんくらいの数学経験持ってるのは感じでわかるんやろ？ それでも「レスバには負けん」の一心でアホなレスつけてくるとこが鬱陶しいんだよ 数学の話したいならまず教科書読め、論文読め
374:１３２人目の素数さん
22/04/11 10:34:37.76 hHLBxVjR.net
Twitterでもさすがに懐疑論強くなってきたな
アクセプトされたあとでも疑われてる状態が続くとかえって怪しまれるよね
375:１３２人目の素数さん
22/04/11 11:06:12 TKY3tNzR.net
>>359
こんな廃墟スレで幼稚な書き込みで粘着する奇人は
医学研究科学位研究論文未提出の底辺准教しかいない
多重人格で別人格だと言い張っても時間の無駄
376:１３２人目の素数さん
22/04/11 11:11:45.95 TKY3tNzR.net
底辺准教は数学基礎論のベースとなる非古典論理の学部教科書をちょっと読んだだけでIUTの全否定をし始めて、それ以外の数学知識は匿名掲示板の難癖付けの末に相手から聞き出した耳知識でしかないだろ
還暦間際にもなってフェルマーの最終定理の問題定義すら知らずに、全然違う式をフェルマー最終定理のバリエーションだと思い込んで延々と罵倒質問をしていた光景には大爆笑したぞ
身元も所属も学位論文取得経緯も現在の職場での日干し具合も容姿容貌コンプレックスや性的コンプレックスも失便癖とその原因もメンタル疾患も過去の犯罪履歴も全部バレているのに、猿芝居を繰り返すな
377:１３２人目の素数さん
22/04/11 11:26:07 YD/cjUeG.net
>>361
誰の話か知らんけどお前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね？
それすらわからんレベルの能無しか？
378:１３２人目の素数さん
22/04/11 11:27:24 YD/cjUeG.net
ああ、このスレで山形がどうこう言ってるキチ◯イか
379:１３２人目の素数さん
22/04/11 11:40:26 SQVmwMXh.net
NHK見て来たが、結局アカンのか？
380:１３２人目の素数さん
22/04/11 11:51:52.85 dfLs5v3w.net
>>363
匿名掲示板で数学力云々言い出す奴は
現実世界では誰にも相手にされていない日干し
ソースは数学板の書き込み全般
381:１３２人目の素数さん
22/04/11 11:53:18.66 dfLs5v3w.net
>>364
IUTスレの山形云々の底辺大准教がキ チ ガ イなのは
公知の事実だから伏字は不要
382:１３２人目の素数さん
22/04/11 11:55:53.07 aT6IgAdi.net
>>366
さよけ
そんなんだから落ちこぼれたんだよ能無し
383:１３２人目の素数さん
22/04/11 11:58:31.62 dfLs5v3w.net
底辺准教が50過ぎにもなって
非古典論理の学部教科書をちょっと読んだだけで
「お前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね？」
と言い出した理由は、現実には統計物理の問題解決もできなければ、統計処理の基礎も理解しないまま27年間名前だけの教員を名乗りネット三昧で人格を荒廃させてきた黒歴史を隠すため
もしこの底辺准教に数学力が少しでもあったなら
自身の過去27年間の妄言の大半は無かった
384:１３２人目の素数さん
22/04/11 12:01:12.46 dfLs5v3w.net
>>368
底辺准教が学歴と知能と数学力と底辺大学職員としての落ちこぼれ履歴に強い劣等感を持っているから
小学生レベルの幼稚な言葉が次々と発せられる事はよく知ってるよ
現実に学歴と知能と数学力のあるひとは、赤の他人には興味がないからいちいち幼稚な罵詈雑言は吐かない
385:１３２人目の素数さん
22/04/11 12:06:15.67 YaTOK+4L.net
TV見て来たけど、スレは荒らされてて
特定の人間に関する書き込みばかり、このABC予想に関してはもう終わった事象なのだと悟った
386:１３２人目の素数さん
22/04/11 12:11:47.66 dfLs5v3w.net
>>371
匿名掲示板数学板の関連スレは
偏差値49の底辺大学の還暦間際の非数学系准教の
妄想と嫉妬と暴言のための落書き帳に過ぎないから
スレも准教も最初から終わっている
387:１３２人目の素数さん
22/04/11
388:12:16:45.10 ID:ZDR6apsE.net
389:１３２人目の素数さん
22/04/11 12:18:46.09 ZDR6apsE.net
（望月とその取り巻きを除く）数学の専門家が誰も興味持ってない分野を、書籍にしたりテレビ番組にする価値は無い
ホメオパシーだのがん放置療法だのと同じ
390:１３２人目の素数さん
22/04/11 12:19:20.02 epCp8ZTQ.net
>>372
「あう」が昼間っから発狂してるな
働かないなら寝ろ
391:１３２人目の素数さん
22/04/11 12:21:25.14 ZDR6apsE.net
IUT理論なんて、わざわざNHKが特集を組むほどの内容ではない
京都の地方局が「京大にかわった先生がいる」程度でいいだろう
学者の地位を利用して、価値の無いものを価値があるように見せるのは、全く正義に反すること
恥を知れ
392:１３２人目の素数さん
22/04/11 12:27:06.46 ZDR6apsE.net
× 賛否両論
× 証明の正しさをめぐる議論が続いている
○ 本人とその取り巻き以外誰も相手にしていない
393:１３２人目の素数さん
22/04/11 13:17:30.57 JuOOdYeu.net
「宇宙」なんて言葉を使ってしまうとあとでそれよりも大きなものを考えたくなる時に困らない？
super, hyper,ultraなんとかみたいに言葉のインフレになりそうな？
394:１３２人目の素数さん
22/04/11 13:46:25 j2yvbC9W.net
universeがそもそもグロータンディックの命名した奴をそのまま使ってるらしいから仕方ない
395:１３２人目の素数さん
22/04/11 14:02:42.76 Ryqo++fq.net
zfcなの？
zfcuなの？
396:１３２人目の素数さん
22/04/11 14:06:38.00 O/MA6m5h.net
>>853
のでは？じゃねぇよ何で関係者でもない人間が好意的に解釈してるんだよ？
等号の代わりに不等号で記すなら記すで一般に不等号で網羅しきれなきゃ駄目だろ
（それ込みで等号原理と言って良い気もするけどな)
だが、そのQp上での加算での振る舞いに於いて等号原理（不等号原理でもいいよ）を示すという
IUTが果すべき肝心な所で 且つ なのか 又は なのか怪しくなっている、て話だろ｡
abとbcの比較は出来るがa+bとb+cの比較が難儀、て言う｡
文系騙し的な要約だとこんな感じだろ
何でセタがこれしき書けないんだろ
397:１３２人目の素数さん
22/04/11 14:26:58.45 rPzq1VvD.net
AIにもバカにされるa_watcher
398:１３２人目の素数さん
22/04/11 15:28:02.08 HLDp6CaV.net
文脈によって同じはずの対象が違って見えるというのは、まあ今後出てきてもおかしくない基礎論ではある
RとQpを区別するだけ、と言うが実際に区別しつつ代数体で統合して全体の歪みを評価したいのが
狙いだったわけだし。そのために縦と横で両立する因子を使っている
好意的に捉える必要はないが、ひとまず話を聞くのは重要よね
399:１３２人目の素数さん
22/04/11 16:21:49.56 uw+auT3v.net
もう何百回と行われたひとまずだわ。
400:１３２人目の素数さん
22/04/11 17:37:10.07 e3XMbBMA.net
IUTが出た最初の頃は「基礎論的にアヤシイ」という噂が立っていたが、
誰かが「そんなことはない。ZFCの中で完結する」みたいなコメントをしていたはず。
しかし、今となってはやっぱり「基礎論的にアヤシイ」ということか？
401:１３２人目の素数さん
22/04/11 17:50:21 ZNzP4S4o.net
>>371
アホか
5chなんて成功者に対する嫉妬と憎悪で出来てるんだから必然的にそうなる
このスレ見れば分かるだろ
402:１３２人目の素数さん
22/04/11 18:20:55.90 6qXzFM0T.net
ショルツ氏が実例を示したように、数学の証明は原理的にコンピュータで証明できるものであるというのが事実で、
10年前ならまだしも今ではショルツ氏やタオ氏など数学者たちの共通認識だろう
Cor 3.12の証明のFigure 3.8以降にギャップがあるのだから、証明を理解できたと主張する京大側は、この部分をコンピュータで証明できるように書けば良いだけ(もちろんコンピュータはかつとまたはを混同したりもしない)
ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
403:１３２人目の素数さん
22/04/11 18:21:58.54 g3Li4heo.net
>>386
逆に全く理解できてないのに何でそんな自信満々なんだ？
404:１３２人目の素数さん
22/04/11 18:30:40.52 6qXzFM0T.net
2つ補足すると、Cor 3.12の証明は追加で解説されているという指摘があるが、求められているのは「コンピュータで証明できるように追加で書く」こと
SSレポートでショルツ氏とスティックス氏がやったことは、ギャップを埋めた上で矛盾しているということ
認識の違い云々はここでショルツ氏が行ったある種の単純化の話と思われるが、まずCor 3.12が証明できておらず、そこからショルツ氏がギャップを埋めようと単純化したという流れなので、ショルツ氏云々言っても証明できていないことは変わらない
405:１３２人目の素数さん
22/04/11 18:37:53.35 g3Li4heo.net
ちょうど京大には照井がいるのにな
406:１３２人目の素数さん
22/04/11 18:40:09.53 kHazKFoW.net
通常の弱選言
∧ ∨
T T
F T
F T
F F
特別な弱選言
∨
T
F
F
F
強選言とは別にこれが考えられる
数学の命題とは(厳密な論理学的意味で)
TとFを指しこれに特別な意味はない
そこでこの2つの命題T,Fを表と裏としよう
このとき数学は常に表をとるべきだという思想があった場合にのみ
特別な選言を採用することになり∨と∧は命題として一致する
これを回避したい場合や数学が常に表をとるという思想に至らない場合
弱選言かあるいは強選言を選ぶことになる
私の実証だと強選言をとった場合
・論理和の冪等律が不成立
・それに伴い通常の束が定義できない
ということになる
これより通常の弱選言を選ぶ他ないという結論に至るのが普通かも知れないが
数学は常に正しいという妄言に付き合うとしたら
この弱選言に疑問をもつこともまた自然だろう
407:１３２人目の素数さん
22/04/11 18:49:30.60 kHazKFoW.net
因みに自然演繹であれば
通常の弱選言でも∧と∨が一致するという論証も可能である
しかしそれでは∧と∨の違いがないので
どうするべきかを考え中である
便宜的には通常通り
∧から∨への導出は可能
∨から∧への導出はできない
と決めている
408:１３２人目の素数さん
22/04/11 18:53:21.58 kHazKFoW.net
強選言(特別な弱選言)だと失うこともあるが
論理学的等号をきちんと定義することができる
A～B:⇔[(A∧B)∨(￢A∧￢B)]
このとき等号と同値～を同一視する
正直数理論理学とは何なのかわからない
409:１３２人目の素数さん
22/04/11 20:22:52.13 zlH2JgMQ.net
認識の違いとか言うけどさ、ショルツも馬鹿じゃないから、そんなこと理解したうえで批判してるんじゃないの？恐ろしいのは、本来、科学的であるべき数学の世界が政治的になってること。
410:１３２人目の素数さん
22/04/11 21:34:51.89 TT6jLpw7.net
>>387
量子を使ったコンピューティングならできるんじゃね？
「量子コンピューター」ってことじゃないよ。
あれは量子をつかってこれまでの計算やってるだけだから。
411:１３２人目の素数さん
22/04/11 21:39:59.85 TT6jLpw7.net
例えば、「正しいってことが認識できなかった」としても、工学的な進歩ののち「認識できるようになる
412:」ってのは物理学ではいくらでもあるよな
413:１３２人目の素数さん
22/04/11 21:40:38.60 8HAEwxO7.net
普通のコンピュータでもできるしやらなあかんという話題はずっとこのスレで出てる
でもやらない
お金さえあればさして難しい話でもない
でもやらない
414:１３２人目の素数さん
22/04/11 22:11:25.80 rHmrbBff.net
.>>387
>ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という
「間違い」を明確に書いてしまっている
望月サンそんなこといってんの？
もうこれは完全な駄々っ子の開き直りだねｗ
ＮＨＫのいう「認識論」の違い何てものではない
そういやブンゲンが、望月の証明にはギャップはない「と思う」とかいっていたが、
「思う」ってなんだよｗ
ギャップがないなら機械で検証できるはずで、それができない=ギャップがあるってこと。
415:１３２人目の素数さん
22/04/11 22:12:55.27 /IMxI9vE.net
鼻毛が出ているファルティングスが気になる。
「ノーと言える人間」って ｗ
望月は、指導教官の私からみると素直な学生でした。
私と意見が対立することはほとんどありませんでした。
望月が正しい場合が多かったですが、間違っていても、
彼は私の指摘を素直に受け入れました。
しかし、私はａｂｃ予想を、博士論文のテーマとしては与えませんでした。
学生に挑戦させたとしても、数年考えて何もできなかったということになるのが落ちですからね
インタビューと、その後のナレーションが、「さかしま」になっている。
ａｂｃ予想が博士論文のテーマとならなかったことを、望月青年が残念がったのかどうかは分かりません。
しかし博士課程修了後、望月青年は意外な行動に出ます。引く手あまただった欧米の大学のポストには目もくれず、
少年時代に数年間だけ過ごした日本に帰ることを決めたのです。
416:１３２人目の素数さん
22/04/11 22:21:06.08 dfLs5v3w.net
>>387
君の話は50年前とか30年前の楽観的な未来像を数十年遅れで主張しているだけで
その主張には根拠もなければ、ギャップを埋める作業を君自身全くやらない事も判明済みだからお話にならない
君が14年前に嘘だ詐欺だニセ科学だと喚いた
有名な未科学現象の統計力学的トリックの解明くらい10年もあれば君でも出来るだろうと10年間様子見をしてみたが
結局君は10年間何も成し遂げず、ただ目先のネタを否定するだけの反知性主義的な生活しかしていない
417:１３２人目の素数さん
22/04/11 22:24:24.46 dfLs5v3w.net
数学者でも無ければ、学位論文すらまともに書けず
学問的成果も皆無のまま定年間際の泡沫教員が
ここまで大上段に虚勢を張るのは
自己愛性人格障害か誇大妄想狂以外の何者でもない
> ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
> とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
418:１３２人目の素数さん
22/04/11 22:24:50.30 yXc8LPa6.net
ギャップを埋める作業をやる責任があるのは>>387ではなく望月や支持者だろう
419:１３２人目の素数さん
22/04/11 22:27:28.16 TKY3tNzR.net
そもそもYamagata Universityに、コンピュータによる定理証明を研究しているアクティブな研究者なんてきっと居ないだろ
身の回りで誰もやっていないし当然自身も全くやっていない分野の仕事について
あたかもできて当たり前のような口の利き方をするのは痛々しいね
420:１３２人目の素数さん
22/04/11 22:27:34.93 ro0sNBqZ.net
>>401
キチガイa_watcherは寝てろよ
421:１３２人目の素数さん
22/04/11 22:27:59.89 TKY3tNzR.net
>>395
気狂いの妄想ばかりだな
422:１３２人目の素数さん
22/04/11 22:30:30.67 PaufHmS2.net
URLﾘﾝｸ(www.weblio.jp)
423:１３２人目の素数さん
22/04/11 22:31:14.47 TKY3tNzR.net
>>397
さして難しくないのであれば
Yamagata Universityでやって成果を出せよ
匿名掲示板で虚勢を張って自我が肥
424:大しているだけで 現実にはYamagata Iniversityでその分野の成果など何も出していないだろ 現実と向き合えよ
425:１３２人目の素数さん
22/04/11 22:31:43.50 SLB0iWV2.net
>>362
その底辺を退学になった人間の底辺以下のゴミに数学を学ぶ権利はない
426:１３２人目の素数さん
22/04/11 22:33:44.27 dfLs5v3w.net
おお、山形大学理学部旧物質生命化学研究室の准教が
IUTの自動定理証明に名乗りを上げたという事か
定年まであと10年あるのだから、必ず結果を出せるよな
期待してるぜ
427:１３２人目の素数さん
22/04/11 22:34:50.69 dfLs5v3w.net
>>408
匿名掲示板上の書き込み全てが底辺大関係者の物だと思い込む関係妄想障害は、専門医に相談しろ
428:１３２人目の素数さん
22/04/11 22:37:52.84 dfLs5v3w.net
すげぇよな、20年間何も成果を出さずにただ匿名掲示板で虚勢を張っていただけの教員は
自分が責められると、責めているのは自分の大学の関係者だという妄想を振り回して
底辺大内部のヒエラルキーに話題をすり替える
でもそんな底辺大にわざわざ関わる物好きは
件の教員ただ一人なのがこのスレの現状
429:１３２人目の素数さん
22/04/11 22:40:27.69 TKY3tNzR.net
>>408
とりあえず、君の底辺大内部のトラブルの話は
底辺大内部で解決しろと現学長と現学部長に
再三伝えてあるから
以降底辺大内部のトラブルの話は学長か学部長と議論しろ
ほんと毎回毎回妄想で底辺大内部トラブルの話を持ち出して、底辺大教員はどうしようもなく馬鹿だな
430:１３２人目の素数さん
22/04/11 22:44:01.67 NnURackA.net
おすすめのアルミホイル教えて
431:１３２人目の素数さん
22/04/11 22:44:15.27 vwTJ10On.net
セタとどっこいの能無しいるな
432:１３２人目の素数さん
22/04/11 22:45:25.89 TKY3tNzR.net
単発IDの准教はほんとバカだなぁ
433:１３２人目の素数さん
22/04/11 22:47:38.41 TKY3tNzR.net
定理証明系の研究などしたこともない理系教員が
「定理証明系での証明が簡単にできるのにやらないのはおかしい」
という妄想話で48スレ引っ張った、内容の薄いスレ
434:１３２人目の素数さん
22/04/11 22:47:54.48 vwTJ10On.net
自分は数学の世界から完全にドロップアウトしてるくせに何上から目線でいきつてんのこの能無し？
435:１３２人目の素数さん
22/04/11 22:48:51.12 SLB0iWV2.net
以上、キチガイの独り言でした。
436:１３２人目の素数さん
22/04/11 22:51:19.38 vwTJ10On.net
>>418
イヤ、お前に効いてるんだよ
お前学部までだよな？
洋書くらいまでは4回の研究室で挑戦はしたんか？
437:１３２人目の素数さん
22/04/11 22:52:18.23 TKY3tNzR.net
>>402
それは詭弁
簡単にできるのにやらないのがおかしいと主張しているのは>>387だから
>>387は自身の発言の正しさを証明するために
その簡単にできる筈のIUTの定理証明系へのポーティングを自身で実証する義務がある
誰も実証していない事を、真実だと言い張るのは
単なる予想や推測に過ぎず
実証的学問として完結していない
438:１３２人目の素数さん
22/04/11 22:56:23.54 TKY3tNzR.net
>>387はもし人間に羽根がついていたら空を飛び回る事ができるのに、今すぐ人間に羽根を付けないのはおかしいと主張しているだけ
発言内容には何の根拠も実証も無いので、ただ空想上の話を力説しているだけの夢想家に過ぎない
439:１３２人目の素数さん
22/04/11 23:00:16.49 TKY3tNzR.net
簡単にできる事なのに東大京大東工大がやらないのはおかしいと主張するなら
他大学に先駆けて山形大学で実行して結果を出して
他大学を出し抜けばいい話だよね
>>387によれば簡単にできる事なのだから
山形大学でもできる事になる
山形大学のランクを一挙にトップレベルに上げる絶好のチャンスなのに
今すぐ実行しない山形大学職員は頭がおかしい
って事だね
440:１３２人目の素数さん
22/04/11 23:07:35.24 yXc8LPa6.net
望月の頭の中にしか存在しない記述を望月
441:本人が検証するのは簡単だからといって他者が検証することも簡単にはならんだろう
442:１３２人目の素数さん
22/04/11 23:08:26.14 Vubd0xWb.net
望月史の証明にはフィールズ賞受賞者のショルツが否定していて海外では懐疑的、
という触れ込みを見ることが今まで多かったが
なんか昨日の番組をみたら海外にも結構支持者がいるみたいにも見える
443:１３２人目の素数さん
22/04/11 23:08:33.72 yXc8LPa6.net
望月（とその支持者）
444:１３２人目の素数さん
22/04/11 23:13:34.84 9uqjHKoX.net
NHKSPみた
宇宙や未来から来た数学ではなくとも 通常レベルの数学で解けるとおもうのだが?
逆にこれを仮定すると簡単に解ける問題のほうを精密化、一般化して、
難しさをこっちへ合わせてそっちを解くのは?
フェルマーの最終定理以外でも、解けるやつを利用すればいいのでは?
445:１３２人目の素数さん
22/04/11 23:16:06.49 g3Li4heo.net
>>424
明確な支持者は少ないし、微妙な面子
ホント微妙なラインなんだよなフェセンコとか二流ってほど酷くもないが、Dupuyは間違いなく二流
446:１３２人目の素数さん
22/04/11 23:17:59 ZNzP4S4o.net
結局アンチのよりどころも
「ショルツは有名な天才だからショルツが言うことが正しい」
という付和雷同性でしかないことがわかっちゃったよな
もちろんだからと言って望月が正しいとは言い切れないが
447:１３２人目の素数さん
22/04/11 23:20:31 fTfK3n5f.net
>>428
そうやってアンチなんて言葉使って自分が数学懸命に勉強してきた人間と対等に議論できると思ってるクソ信者がムカつくんだよ能無し
448:１３２人目の素数さん
22/04/11 23:22:57 ZNzP4S4o.net
>>429
頑張ろうが頑張ってなかろうが馬鹿は馬鹿
匿名掲示板で憂さ晴らししているお前みたいな三流学者は死ねよ
449:１３２人目の素数さん
22/04/11 23:28:12.18 InUPdKVO.net
あの番組は望月信者が監修しているから、海外でも信者が少なくないという印象操作がされている。
エンドロールで出ていた日本人協力者は、玉川、星、文元、小山だった。
私には、文元氏が詐欺師のように映った。
あれだと、大学での居心地は悪くなると思うよ。
450:１３２人目の素数さん
22/04/11 23:31:20.87 11sDgkcw.net
>>430
お前は賢いんか？能無し
数学など教科書も読んだことないやろ？
それでなんで数学の話ができると思ってるんや？
何を根拠に数学語ってるんや？
そもそも数学という学問になんの畏敬の念もないやろ？
なんでそれで数学語れるんや？カス
451:１３２人目の素数さん
22/04/11 23:35:59.83 g3Li4heo.net
>>428
それはあんたが無知だから見えてないのでは？
ショルツだから、ではなくショルツがこういう話をしていて、というのはここでもよく語られていたよ
Woitがそう言っただけで、論文や論争を読んだ数学者は普通にいる
それで有力な数学者も結局理解できず、武田さんも言うように今や無視されている
たまたま日本でドキュメンタリー放送されたが、今も基本的には無視されて空気だよ
452:１３２人目の素数さん
22/04/11 23:36:02.07 SLB0iWV2.net
>>419
俺は>>411じゃないよ
453:１３２人目の素数さん
22/04/11 23:39:27.07 InUPdKVO.net
武田さんって誰？
454:１３２人目の素数さん
22/04/11 23:40:22.28 9uqjHKoX.net
フェルマーの最終定理を、こっちと同値くらいになるように難しくするにはどうすればいいんだ?
455:１３２人目の素数さん
22/04/11 23:47:30.58 p0UHOvon.net
>>428
>結局アンチのよりどころも
>「ショルツは有名な天才だからショルツが言うことが正しい」
>という付和雷同性でしかないことがわかっちゃったよな
俺はNHK見てないけどまーーた薄っぺらい「正しいか正しくないか」という
クダラナイ野次馬が参加しやすい論点に逆戻りしたのかな？
NHKの番組自体がそういう風潮をおそらく助長しているのだろうけど
>もちろんだからと言って望月が正しいとは言い切れないが
証明が合ってるかどうかなんてどうでもいい
数学はそういう「競技」に勝利するのが
456:目的でもなければ嬉しがるのが目的でもない 「次の新しい扉を開けてくれるか否か」にこそ数学の価値がある IUTにはまだその価値がないから興味を持たれていない 誰ツでもどれツでも関係ない
457:１３２人目の素数さん
22/04/11 23:50:14.79 InUPdKVO.net
まわりの人たちを見ると、数学は、有名雑誌に掲載されることを競う競技のように見えます。
458:１３２人目の素数さん
22/04/12 00:13:55.68 QrbUtdax.net
もおええわ！
近大卒の俺が査読してやるから待ってろ！
459:１３２人目の素数さん
22/04/12 00:30:48.49 zleWI1Uh.net
「認識論」なんて逃げ打ってちゃそりゃ認められないよな、というのが分かる人には分かる構成に図らずもなってたな
460:１３２人目の素数さん
22/04/12 00:36:54.35 GhFd3hkb.net
>>438
周りって誰やねん
そんな奴俺は見たことねえし
仮におめえの周りに居てもその周りの奴とやらが特別な隔離級のアホってだけ
461:１３２人目の素数さん
22/04/12 00:41:27.41 g5FqkjVk.net
その周りの奴は、結果として京大を含む旧帝大の教授や准教授になっているよ。
462:１３２人目の素数さん
22/04/12 01:39:40.32 YXp+GzJo.net
>>428
君分かってないね
望月の態度がおかいしと言ってるんだよ
2018年7月の望月のペーパーちゃんと読んだ？
463:１３２人目の素数さん
22/04/12 01:48:08.66 HCXyKYe3.net
>>429
お前自身、医学研究科で学位論文研究すら完成させずに無関係な実験報告で空学位を取ったゴミクズ人間じゃん
464:１３２人目の素数さん
22/04/12 01:52:39.33 JMyzKOwU.net
>>444
お前は数学界からドロップアウトした後便所の落書きでレスバに勝つ事に残りの人生かけてるゴミクズだよ能無し
465:１３２人目の素数さん
22/04/12 01:56:26 K9iC0OJG.net
>>445
お前の職場の学生トラブルの話は
他の人にとってはどうでもいい話だから
職場内部で自己解決しろと現学長と現学部長に通知済み
同じ話を何度も繰り返すなボケ婆
466:１３２人目の素数さん
22/04/12 02:01:05 JMyzKOwU.net
>>446
お前は本当はとっくにオレが別人やとわかってるんやろ
でもやめない
何故か？
やめたらそこで自分のレスバ負けになると思ってるから
最後にレスすることだけを残りの人生の目標にしてるゴミクズ
人生で何も成し遂げず何も残さずゴミに埋もれとけやカス
467:１３２人目の素数さん
22/04/12 02:02:58.83 K9iC0OJG.net
とりあえず、ネット上の赤の他人を
自身の職場の学生だと勘違いして
意味不明な妄想を撒き散らしている人物は
Yamagata Universityの非数学分野の理系教員
この症状は関係妄想障害と呼ばれるメンタル疾患
この教員は14年前から何度もこの障害によるトラブルを起こしては職場通報されている常習犯なので
専門病院で治療してからこのスレに書き込むように
468:１３２人目の素数さん
22/04/12 02:03:53 Xc36cCp+.net
ここって宗教スレ？？？？
469:１３２人目の素数さん
22/04/12 02:04:08 K9iC0OJG.net
毎日妄想トラブルを起こす病人教員を抱えて
学長も学部長も大変だよな
470:１３２人目の素数さん
22/04/12 02:05:38 JMyzKOwU.net
よかったな今日もお前が最後のレスだよ
勝ててよかったな
ゴミクズ掲示板のチャンピオンさん
471:１３２人目の素数さん
22/04/12 02:06:38 K9iC0OJG.net
>>449
底辺准教が一日中妄想を書いているのを
皆で弄って遊ぶネットおもちゃスレ
472:１３２人目の素数さん
22/04/12 02:18:44 Xc36cCp+.net
>>452
なるほど、あなたのような暇人が１日中張り付いてるって訳ですね
473:１３２人目の素数さん
22/04/12 02:28:52 K9iC0OJG.net
>>453
自己紹介はお前のホムペに書いとけ
年始年末にお前が暴れているのを見つけて大爆笑したが、それから3ヶ月経過してなお毎日暴れている事を知って呆れ返ったぞ
474:１３２人目の素数さん
22/04/12 02:38:54.68 Q57/r0ZF.net
なぁ
そろそろ貴様に言わなければならないことがあるんだ
475:。 俺も今日まで言うべきかどうか悩んだ。 言わなければお前も俺も普通の生活を続けていくことができる。今までどおりにな。 だが、やっぱりそれじゃだめなんだ。偽りのなかで生きていてはだめなんだ。 それに、もう時間がないんだ。 今、俺はお前に真実を告げる。 2ちゃんねるを 見ているのは ひろゆきと 俺と お前だけだ。 驚いたか？当然だよな。だがそれが真実だ。 辛かったぜ。お前が2ちゃんを見つけるずっと前から、俺は何十台ものＰＣに囲まれ毎日2ちゃんを保ってきた。 だから、あの厨房も、あのコテハンも、すべて俺だったんだ。 お前が初めて2ちゃんを見たとき、俺は人生であれほど嬉しかったことはなかったぜ。 時には心苦しいながらもお前を叩いたりもした。許してくれ。 と、今話せるのはここまでだ。もうすぐすべてを知るときが来る。 そのときまでに、心の準備をしておいてくれ。
476:１３２人目の素数さん
22/04/12 02:58:14 s1oDRTOQ.net
なるほど
マトリックスの中にはもう
設計者
預言者？
俺
しかいなくてあとはbotなんだな
みんなエグザイルになっちまったか
俺はマトリックスを突破しようとは思わないけど
必要なら赤を選択する覚悟はある
一度は赤を選んだからね
時が来るのを待っているよ
477:１３２人目の素数さん
22/04/12 04:42:17 uq0YuKPZ.net
>>327
そういうお前は嫌にシンパ（反対者の意味で呼ばれるアンチの対義としての同調者の意味で呼ばれる）ぶるじゃないか｡
知ってるか？ギャップを補足代行できるわけじゃなきゃシンパはシンパでも盲目的シンパだぞ｡
つまり読んで字の如く出鱈目による盲(ﾒｸﾗ)判断の上で出任せ（世に言うデマは出任せだからデマと蔑称される）で
ハッタリ（有ること無いこと織り混ぜた上に更に虚飾を「張ったり」効かせた言い分）こいて
大法螺を吹いて大きな知ったかこいてる事に成る。つまり仮に将来的に万が一IUTが世界的認証される日が来たとしても
現時点のお前の言い分はデタラメ→デマ→ハッタリ→大法螺吹き→大嘘ぶちこき→大掛かりな知ったか、こいてる事に成る｡
何で無定見で居られないの？IUTに対してシンパ行為しないと不利益を被る立場に居るわけでもあるまいに、何で？
>>386
は？嫉妬認定や憎悪認定の前に、いつIUTが世界的認証獲得の成功を得られたんだ？
それとも、お前が保証するの？保証金は幾ら？保証するわけでもなくて訴求しないよなぁ｡
保証金ゼロじゃハッタリでしか無くなるけど｡
>>428
そういうお前の拠り所だって京大系RIMSじゃねぇかよ京大じゃねぇかよ自国贔屓じゃねぇかよ｡
ブーメランぶちこいてんの分かってる？
>>430
天羽とか言う婆様に単位を貰えず退学したんだろ？退学者は三流どころか五流でさえないだろ。下流でさえない地下流だろ｡
所でその、常日頃からa_watcherと言われる程のその天羽婆様関連コピペ種類数とレス頻度が見咎めるんだよね｡
そろそろ働けよ。地下流どころか地底流にまで落ちるぞ｡
478:１３２人目の素数さん
22/04/12 05:38:26.15 fup6PCPg.net
Nスペを見ただけの門外漢の感想。
同じとみなすばかり強調されていたが、
同じ場所を別の点とみなすくらいリーマン面ででてきたのにな。
望月教授の成果は、代数幾何学のイタリア学派のように、
正しいことを言っているが、見通しが悪く基礎がぐらついていると、
番組は伝えたいのかな。
たぶん、代数幾何学の歩みと同じように新たな現代化が必要と思われる。
特に、数理論理学での成果を利用すべきではないかな。
479:１３２人目の素数さん
22/04/12 07:47:31.95 VPUv6ZSR.net
>>445
( ´∀`)'`,、'`,、'`
ｿｲﾂゎ数学徒崩れなんかじゃねぇｿﾞ。
崩れてさぇいない。
数学科専攻者じゃないからね、仕方ないね
ハッキリ分かんだね。
480:１３２人目の素数さん
22/04/12 07:52:19.69 VPUv6ZSR.net
>>447ｯﾁｬﾏのｽｩｩ…学力、気になりますねぇ!
…まさか、…課長!?Σ😲
もしくゎ、
○π🥧←ﾊﾟｨｵｼﾞｻﾝｯ!?ΣΣ😲
481:１３２人目の素数さん
22/04/12 07:53:57.45 VPUv6ZSR.net
て思たけどｧﾓｯﾁｬﾏくん学徒崩(ﾚ)認定しちゃぅﾎﾟﾝｺﾂなんだょなぁ…(煽り)
482:１３２人目の素数さん
22/04/12 07:56:12.80 VPUv6ZSR.net
なんJなんG戦で故郷のなんJから逃げ出した通りすがりの避なんJ民、はっきり違和感だね。
483:１３２人目の素数さん
22/04/12 07:59:56.12 VPUv6ZSR.net
じゃぁ、まず、腐れｧﾓｩｯﾁｬﾏくんの出身学部から教えてくれるかな?
工学部崩(ﾚ)かﾅﾆか?(煽り²)
484:１３２人目の素数さん
22/04/12 08:01:45.23 VPUv6ZSR.net
この速さなら発狂連投!
ハッキリ浮くんだね
485:１３２人目の素数さん
22/04/12 08:06:44.26 VPUv6ZSR.net
>457
(…ｧ、ｧ、…ｿﾊﾞﾁｬﾝﾀﾞ…ｿﾊﾞｯﾁ ｿﾊﾞｯﾁ…)
486:１３２人目の素数さん
22/04/12 08:06:55.20 UIUSsPt+.net
>>433
テレビではショルツェをショルツと言っていましたか？
487:１３２人目の素数さん
22/04/12 08:12:08 VPUv6ZSR.net
良かった…
よゐｽｩｩ…学人のみんなゎﾓｯﾁｬﾏdisｽﾙﾙｪなんかに集ゎなぃ、ぉ利口さんだからね、ｪﾗｨｿﾞ^~^
ぁ、じゃぁ、ｩﾝﾁのｼﾐも消えるｶﾗ。(消滅)
488:１３２人目の素数さん
22/04/12 08:22:35.33 9GPf3XJZ.net
番組見た。
最後の方で加藤氏が「ギャップがあるとかではなくて認識論の違い」って言っていたのが印象的。
そう言うのはいいのだけどその認識論が数学の「根本」にある問題というよりも、
超絶技巧の小さな先っぽにある「とてつもなく微細なズレ」だったらどうなんだとも思った。
新たな世界が広がるのを期待しているけど、一方で現代数学の袋小路なのかもとも思う。
若い世代がIUTTを咀嚼して進めてくれるといいね。
489:１３２人目の素数さん
22/04/12 09:07:21.23 K9iC0OJG.net
>>459
関係妄想障害の気狂いおばさんはいつ見ても妄想話ばかりだな
悲惨な底辺大職員
490:１３２人目の素数さん
22/04/12 09:09:30.96 K9iC0OJG.net
山形大学理学部旧物質生命化学研究室准教は
IUTによるABC予想証明を定理証明系にポーティングするのは簡単だと豪語しながら
その自称簡単な筈の事を自身で実行して結果を示す
とても簡単な事をできない無能者と確定
491:１３２人目の素数さん
22/04/12 10:57:54.78 XoUJvye5.net
遺伝子？なに言ってんだコイツ
素数か？と思った人
492:１３２人目の素数さん
22/04/12 10:59:38.91 XoUJvye5.net
ZFCUの世界で何か見つけ損なっている
このままでは外人がよりスマートでまともなアプローチを見つけてしまうだろうな
という感じがするが
493:１３２人目の素数さん
22/04/12 12:11:47.17 pFA6BWnZ.net
STAP細胞の作製に200回以上も成功したと言うなら監視下で簡単に再現できるはずだよね
494:１３２人目の素数さん
22/04/12 12:54:17.15 TATMHlfM.net
それでも しっ激すれば 出てきます宇うう
ちんぽだあっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
あっ あっ あっ あっ あっ あっ あっ あっ
�
495:ﾁ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ あっ
496:１３２人目の素数さん
22/04/12 13:12:08.89 HCXyKYe3.net
>>473
反知性主義のニセ科学批判カルトがまだこびり付いてるのか
二セ科学批判力ル卜が多用する特異語 [改訂版]
1. ニ セ 科 学 | エ セ 科 学 | 疑 似 科 学
2. ト ン デ モ | ペ テ ン 師 | デ マ | ウ ソ | 詭 弁 | 病 気
3. 信 者 | 信 奉 者 | 教 祖 | 信 じ る
4. 負 け を 認 め て 黙 れ
5. 自 殺 | 氏 ね
6. 自 分 が 本 当 の 被 害 者
7. 月 刊 ム ー | オ カ ル ト | 宇 宙 人
8. 理 研 | S T A P 細 胞 | 小 保 方 | オ ボ カ タ
9. 岡 崎 | 丘 裂 き | 生 物 多 様 性
10. h i s s i . o r g | ウ ィ キ ペ デ ィ ア (w i k i p e d i a)
11. 悪 魔 の 証 明
12. キ チ ガ イ | 統 合 失 調
497:１３２人目の素数さん
22/04/12 13:16:12.73 +nVi1Z4w.net
この意味不明な茶番にまともにつきあってあげたショルツェ、
人が好過ぎるんとちゃうか
498:１３２人目の素数さん
22/04/12 13:19:14 HCXyKYe3.net
底辺准教の脳内世界ではそうなんだろうな
でも非数学分野の底辺准教のネット罵倒なんて数学者は一切相手にしないから無関係
499:１３２人目の素数さん
22/04/12 13:28:18 IoRx0jLO.net
以上、山形大学を成績Fを取り学校と揉めて退学になり14年間に渡って担当教員を底辺と罵り続けている長野の人間の底辺の独り言でした
500:１３２人目の素数さん
22/04/12 13:59:08.11 cRwsIliH.net
なや
501:１３２人目の素数さん
22/04/12 14:58:41.35 qPhaGiHm.net
なるほど、ドゥプイ先生は望月をニュートン、ライプニッツ、アインシュタイン等と
同列に思ってるのか～。
502:１３２人目の素数さん
22/04/12 15:16:10.86 5OZ0XHDJ.net
>>473
はいお前に作製する責任発生
503:１３２人目の素数さん
22/04/12 15:44:23.90 2rd/nrqs.net
a_watcherはオズボーン博士すら知らないニワカモグリ
504:１３２人目の素数さん
22/04/12 18:05:35.20 VnOkBrz6.net
同じものを違うものと見做すって、IUT特異なものでなく、
IUT以前のタイヒミューラー理論でも似たような事やってるって思ってんだけど、違うのかな？
p進タイヒミュラー理論に対する異論は聞いた事ないので、
つまるところ、IUTでは対象とするオブジェクトの定義が、
複雑過ぎて認知できない状態なんじゃないかと思う。
一般に単純化された理論の方が美しいと考えるから、
ショルツの様に考えたくなるんだけど、
学問の歴史を見るに、複雑性と単純化ってお互い2重螺旋のように絡みあって昇華してきたもので、
複雑から単純への過程はある種ブレイクスルーであって
認知されるには時間がかかるのだろう。
っで、結局何が言いたいかというと、
ショルツはIUTを曲解して単純化して不十分。
一方望月は第三者への認知可能な説明が不十分。
これは、両者に加藤さんが言う認知のギャップがある状態である。
ギャップを埋めるには望月側が皆が認知できる（腑に落ちる）形の説明をする必要がある。
その説明は、単純化かもしれないし、形式的表現かもしれないし、もっとメタ的な何かかもしれない。
私は、IUTに否定的ではない。
望月はIUT研究の中で審美性を見出していることから、
IUTに何かしらの真理があると思っている。
ただその真理への到達には今しばらく時間が必要�
505:ｩもしれない。 以上、素人の戯言でした。
506:１３２人目の素数さん
22/04/12 18:12:20.37 CxOyPSYR.net
>>483
違う
通常の数理論理では等号は特別なpredicateとして等号原理を要求する
過去の数学で等号原理を満たさない体型で議論されたものはひとつもない
しかしそれもあくまで“原理”であって絶対そうしなければならないものではない、きちんと言語体型、推論即を設定してそれが普通の数学の保存拡大になってる事を確認した後なら好きにすればいい
望月理論はその過程を全部すっ飛ばして論文アクセプトした後で今になってそんなとぼけた事言い出してるのが問題なんだよ
そんな問題自覚してるならとっとと論文撤回して確認作業に入ればいいのにそれもやらん
アホかと思ってるのが普通の数学者の意見なんだよ
507:１３２人目の素数さん
22/04/12 18:28:45.62 FTazVwIa.net
俺は否定的だけどね
IUTの評価計算を追ってる数学者はショルツ以外にも何人もいる
そこで論理構造を変えたとして、本当に新しいアイデアだったら既にそこは議論されてるはず
自発的にな。ところが現実には望月学派が必死になって歩み寄りを望んでいる
508:１３２人目の素数さん
22/04/12 19:00:05.53 RKySVuKY.net
率直にいって、望月新一のアイデアが全くの荒唐無稽ではないとしても
正当化できていない現状で「証明した！」とわめき散らすなら
どうみても只の狂人だろう
509:１３２人目の素数さん
22/04/12 19:02:08.53 XTJCevlU.net
>>484
ABC予想の式が元々が不等号だから、
等号原理を「要求する」とか、何の意味があるの？
ABC予想の式が「不等号」なので、全てを等号で解くことに拘らなくても、
上から抑えるやり方の解法が成立するのだから、別に問題ないよね。
510:１３２人目の素数さん
22/04/12 19:02:24.66 I98jeLGY.net
あの、スミマセン人いますか？
abc予想について思い付いたことがあるんですけど、それについての意見が欲しいです。
試しに別のスレにちょっと書き込んでみたんですが、音沙汰がなくて…
他のスレに移ってもらうってことできますか？
それともここで話した方がいいでしょうか…？
511:１３２人目の素数さん
22/04/12 19:18:39.01 3dBpL5FB.net
どうやら誰もいないようですね
512:１３２人目の素数さん
22/04/12 19:20:52.42 vdsubu0T.net
AIの自動証明チェックは今でも
２０億円半年あればできるよ。
だれもやらないということは、それだけの価値がないといこと。
513:１３２人目の素数さん
22/04/12 19:21:30.03 XoUJvye5.net
全く新しい数学なのか、普通の数学なのか
ZFCUなのか、ZFCなのか
新しいことだったらやってみたらいいと思うけど
514:１３２人目の素数さん
22/04/12 19:22:55.17 I98jeLGY.net
そっか、誰もいないんですね…しょうがない、やめときます。
ただ悪あがきで最初に書き込んでみた方のスレの名前だけ書いときますね。
っ「ちゃねらーが解明(´･ω･`)? ABC予想とビール予想 [転載禁止]©2ch.net」
ありがとうございました！
515:１３２人目の素数さん
22/04/12 19:30:51.33 FTazVwIa.net
何を言っているんだお前は
516:１３２人目の素数さん
22/04/12 19:33:58.25 TtAc6OQl.net
>>487
信者で擁護したいんやろけど全くこの点については擁護のしようなんかない
517:１３２人目の素数さん
22/04/12 19:40:03.26 NLFHjJ7x.net
真珠湾攻撃以来、日本は世界最悪の無法国家として、国際社会から嫌われている
STAP細胞でも、日本の学術研究の信用は地に堕ちた
多くの海外の研究者は「またか」と思っている
518:１３２人目の素数さん
22/04/12 20:12:29.52 82y+0PoD.net
>>494
不等号の式の証明であるから、最後は不等号の
519:形式で、途中or最後で不等号にてＯＫ。
520:１３２人目の素数さん
22/04/12 20:27:23.82 tg2wquYe.net
>>484
「望月理論はその過程を全部すっ飛ばして」るというのが、あなたの認知で、
「望月理論はその過程を全部すっ飛ばして」いないというのが、望月側の認知なのだと思います。
そもそも現代数学の証明って、基礎論から正確に書き下している証明などなく、
これまでの膨大な集合知の上で、第三者の数学者が納得するかどうかじゃないですかね。
私は素人なので、単なる戯言ですが、
もし、望月側へ致命的に間違ってる
521:１３２人目の素数さん
22/04/12 20:31:06.36 tg2wquYe.net
望月側への顔出しで反論する日本数学者が出て来て欲しいですね
522:１３２人目の素数さん
22/04/12 20:33:35.67 WyxX0Cd5.net
昔、望月舞ちゃんてAV女優がいて好きだったなあ
523:１３２人目の素数さん
22/04/12 20:34:57.31 z4Jm2Xc5.net
望月の証明は公理的集合論の枠組みに
収まっているものだろうか？
それともそこからもはみ出しているのだろうか？
524:１３２人目の素数さん
22/04/12 20:42:48.71 UGCwA4I9.net
>>497
まぁ論文読んでないからはっきり断言はせんけどNHKの番組で加藤先生の見解を聞く限り間違いなく保存拡大性のチェックはやってないんやろ
そもそも保存拡大とか言って知ってるのかすら怪しい
知ってたらまずそっからやらなあかんのは当然の話やしな
少なくともこの辺りについては彼らよりもオレの方が専門に近いハズやからまぁ間違いないよ
525:１３２人目の素数さん
22/04/12 21:11:58.62 FTazVwIa.net
本当にそこまで大袈裟な話かすら疑わしいが
金曜日も楽しみだわ
526:１３２人目の素数さん
22/04/12 21:39:25.13 TVerIHrd.net
フェルマー予想よりABC予想、ラングランズ予想のほうが難しいらしいが
この難しさに包含関係はないのか?
527:１３２人目の素数さん
22/04/12 22:03:30.40 HCXyKYe3.net
■山形うんちのしみおばさんが気候急変時の精神変調で大発狂大連投中のスレ一覧■
ｽﾚﾘﾝｸ(dtm板:416番)-
ｽﾚﾘﾝｸ(pot板:178番)-
ｽﾚﾘﾝｸ(compose板:204番)-
ｽﾚﾘﾝｸ(math板:180番)-
ｽﾚﾘﾝｸ(math板:289番)-
528:１３２人目の素数さん
22/04/12 22:33:56.83 Vs+8OhDc.net
>>484
いきなり違うとか言う時点で読まれないよ
529:１３２人目の素数さん
22/04/12 22:35:02.03 KHx1o58m.net
IUTは終わったんだよ
530:１３２人目の素数さん
22/04/12 22:35:48.01 Vs+8OhDc.net
>>506
どうして終わったところにいるの？
531:１３２人目の素数さん
22/04/12 22:37:55.43 FTazVwIa.net
>>503
統一理論はありえなくないが、あまり緊密な関係はない。多分片方が片方を使って解かれる可能性も低い
フェルマー予想は割とラングランズど真ん中の場合だが
望月はラングランズの表現論を線形数学としてIUTを差別化していた
明らかにワイルズやテイラーにライバル意識ある
532:１３２人目の素数さん
22/04/12 22:39:01.71 4vOZQQHW.net
質問いいですか
533:１３２人目の素数さん
22/04/12 22:39:50.08 QrbUtdax.net
近大卒の俺が昨日から査読はじめて今ようやく終わったわ
結論から言うとこの理論完全に間違ってるわ
534:１３２人目の素数さん
22/04/12 22:56:59.65 ShzLBlp+.net
>>505
読みたくなければ読まなくてもいいがこればっかりは数学の話しなので違うもんは違うとしか言いようがない
数学の議論は哲学的などっちとも言えるというところを極力避けるように考えられてそのように現代数学は構成されてる
そこを議論してもしょうがない
議論したいなら好きにすればいいだろうけどそれはもう数学の議論ではない
535:１３２人目の素数さん
22/04/12 23:44:15.96 f7h9LyJQ.net
関西弁の三流大学の院生あがりかなんかが
数学の良心気取りでいつも無内容の長文書き連ね
536:ているの見ると つくづくアホらしくなる 研究だけやってろよ馬鹿 無能なくせに
537:１３２人目の素数さん
22/04/12 23:58:02.28 4vOZQQHW.net
～～～～～～～～～～従来のやり方～～～～～～～～～～
宇宙Aで式を数に置き換え、数を宇宙Bへ送る。
ーーーーーーーー宇宙Aーーーーーーーー
７×８＝【５６】
７+８＝【１５】
ーーーーーーーーーーーーーーーーーーー
｜
｜
｜
↓
宇宙Bでも式は数に置き換え、数を宇宙Aに送る。
ーーーーーーーー宇宙Bーーーーーーーー
（７^２）×（８^２）＝【３１３６】
（Ｃ^２）+（Ｄ^２）＝【２２５】
（C、Dは両方とも自然数になる場合もあればならない場合もある）
ーーーーーーーーーーーーーーーーーーー
｜
｜
｜
↓
ーーーーーーーー宇宙Aーーーーーーーー
【５６】＝７×８
【１５】＝７+８
ーーーーーーーーーーーーーーーーーーー
従来のやり方はこのような、かけ算もたし算も結果が保たれる通信。
～～～～～～～～～～～～～～～～～～～～～～～～～～
538:１３２人目の素数さん
22/04/12 23:58:15.31 4vOZQQHW.net
～～～～～～～～～～IUTのやり方～～～～～～～～～～
宇宙Aでは式を数に置き換えず、式を宇宙Bへ送る。
ーーーーーーーー宇宙Aーーーーーーーー
【７×８】＝５６
【７+８】＝１５
ーーーーーーーーーーーーーーーーーーー
｜
｜
｜
↓
宇宙Bでは式を数に置き換え、数を宇宙Aに送る。
ーーーーーーーー宇宙Bーーーーーーーー
（７^２）×（８^２）＝４９×６４＝【３１３６】
（７^２）+（８^２）＝４９+６４＝【１１３】
ーーーーーーーーーーーーーーーーーーー
｜
｜
｜
↓
ーーーーーーーー宇宙Aーーーーーーーー
【√３１３６】＝７×８
【√１１３】＝Ａ+Ｂ ≠７+８
IUTのやり方は、かけ算の結果は保たれるが、たし算の結果は保たれない通信。
ーーーーーーーーーーーーーーーーーーー
A＋Bは少なくとも７＋８ではない。→√１１３＜７＋８
しかし７と８を同時並行で小さくしていくと、√１１３＜７＋８なんだから
どこかで小さくなったもの同士の和が√１１３になる瞬間があるはず。
そのときの、もともと７だったものをA、８だったものをBとすると、
７とA、８とBの違い度合いは宇宙Aと宇宙Bの通信によって発生したものだから、
それは宇宙Aと宇宙Bのたし算における違い度合いを示していると言える。
これがIUTの根幹にある主張。
～～～～～～～～～～～～～～～～～～～～～～～～～～
送るものを【】で囲んだ。
ということ？
539:１３２人目の素数さん
22/04/13 00:22:43.76 0ixtg4GU.net
従来のやり方は数が与えられても式が与えられても二乗するなら全体を二乗するけど、
数を式にし、式の項を別々で二乗するっていう話？
このとき数をかけ算の式にしたものは二乗して二分の一乗しても結果が変わらないけど、
数をたし算の式にしたら結果が変わってしまう。
だからやっちゃいけないことだと言われるし、
規則性も見出せないから誰も手をつけられなかった。
540:１３２人目の素数さん
22/04/13 00:26:40.33 0ixtg4GU.net
IUTはここに踏み込んで作られた理論だから理解できる人が全然増えないんじゃないかな。
そう思えば式を二乗するとき、全体を二乗することしかしてこなかったなーと思う。
なんでだろうね。
541:１３２人目の素数さん
22/04/13 00:34:15.30 0ixtg4GU.net
IUT以前の数学は、IUTからすると非常に特殊な数学になるんじゃないかなあ。
それこそ古典と呼ばれるレベルで。
542:１３２人目の素数さん
22/04/13 00:54:40.79 45RJMjO8.net
>>512
誰のこと？
543:１３２人目の素数さん
22/04/13 01:04:16.72 w0weU3fN.net
>>516
その程度の内容をショルツくらいの人がわからんわけないだろ。。
544:１３２人目の素数さん
22/04/13 01:22:10.02 0ixtg4GU.net
<<519
あなたはIUT間違ってる派？正しい派？
545:１３２人目の素数さん
22/04/13 01:22:41.33 0ixtg4GU.net
>>519
546:１３２人目の素数さん
22/04/13 01:33:29.54 v2Kb67zo.net
>>504
学生実験中に好きな子の前で脱糞
そのまま登校拒否になり欠席超過のため成績Fとなる
それが原因で担当教員と学校相手に揉め自称底辺大学を退学となり、14年間に渡り担当教員に対しネットでリベンジポルノを続ける偏執狂の男
女の前で脱糞したからといって大学辞めるとか情けんなかぞ
547:１３２人目の素数さん
22/04/13 01:41:58.94 2bmDPLtf.net
>>2
548:１３２人目の素数さん
22/04/13 02:14:17.09 0ixtg4GU.net
正しい派、間違ってる派いずれにせよそっち側が多数派だから、少数派だから以外かつ
正しい派なら望月さんが言っているから以外、間違ってる派ならショルツさんが言っているから以外の論拠をお願いします。
でないと理論�
549:ｪ正しいか間違ってるかの議論として適切じゃないからです。 理論についての議論をするのに望月さんが間違ってるか、ショルツさんが間違ってるかなんて議論をしてもそれは的外れな議論でしょ ？ NHKの特番のまとめページを引き合いに出させてもらいますが、 https://www.nhk.jp/p/special/ts/2NY2QQLPM3/blog/bl/pneAjJR3gn/bp/pBg9n63J4m/ このページの真ん中あたりにある 「Aの4はBの16につながっているのに、Bの4はAの2につながっています。 だったら、二つが同じとはいえない。論理が矛盾しているというのです。」 この言い分をショルツさんも行っていると仮定します。 この言い分は具体的に 始点をAの４、終点をBの１６ 始点をBの４、終点をAの２ このように表記すると A→Bは二乗、B→Aは二分の一乗だから辻褄がちゃんと合います。 ここで 始点をAの４、Bの１６を経由して、終点をAの４と考えてみます。 これでもA→Bは二乗、B→Aは二分の一乗だから辻褄がちゃんと合います。 さらに 始点をAの２×２、Bの４×４を経由して、終点をAの２×２と考えてみます。 これでもA→Bは二乗、B→Aは二分の一乗だから辻褄がちゃんと合います。 続けて 始点をAの２+２、Bの４+４を経由して、終点をAの２+２と考えてみます。 これではAの４とBの８が対応することになり、 ２+２＝４≠８だから辻褄が合いません。 ということを言っているという認識でいいですか？
550:１３２人目の素数さん
22/04/13 02:17:54.81 cxxoDS+t.net
>>524
アホか
NHKのあんな番組内容で数学議論なんぞできるハズないわ
数学なめとんのか
551:１３２人目の素数さん
22/04/13 02:37:00.96 89giZXqS.net
>>524
さすがに、あの番組では賛成も反対も無理。
552:１３２人目の素数さん
22/04/13 03:17:55 0ixtg4GU.net
数学ってそんなに高尚なものなんですか？
553:１３２人目の素数さん
22/04/13 03:19:01 fqdeuGWS.net
威張りたいがためだけに捻り出されたものならそのうちきえるだろうな
なんらかの価値があれば残るかもしれない
554:１３２人目の素数さん
22/04/13 03:31:24 0ixtg4GU.net
一人の人間が虚勢を張るために編み出した空論だったら十中八九そうなるだろうね
555:１３２人目の素数さん
22/04/13 03:59:14.90 0ixtg4GU.net
こういう一方の立場からすればもう一方の立場の人間は矛盾しているはずの論争が起きた時って、
どちらか一方の立場に立っている限り本当は何が正しいのかっていう問いの答えは見つからないと思う。
そして知りたいのは「本当は何が正しいのかっていう問いの答え」であってどっちが正しいかなんてどうでもいい。
学問する人間ってみんなそうじゃないの？
556:１３２人目の素数さん
22/04/13 04:05:36.96 0ixtg4GU.net
それとも界隈での名声と正しさを結びつけて、答えがただ一つに定まるはずの数学理論の正誤を判断する人間がいるってこと？
それのどこが高尚な学問なの…。
557:１３２人目の素数さん
22/04/13 04:15:41.62 +vMm7Bl+.net
正しいか間違っているかなんてどうでもいい
専門家に相手にされない理論を、調子のいい文句で一般人に宣伝している根性がさもしい
558:１３２人目の素数さん
22/04/13 04:26:37.69 0ixtg4GU.net
それはまあ確かに……
559:１３２人目の素数さん
22/04/13 06:54:20.25 zpZHdgrf.net
>>532-533
>正しいか間違っているかなんてどうでもいい
>専門家に相手にされない理論を、調子のいい文句で一般人に宣伝している根性がさもしい
・ガリレオの宗教裁判で、天動説は否定されたが、結局天動説は正しかった
・専門家も、いまは細分化されているから、「数学者」と十把一絡げにしても意味ない。遠アーベル専門家からは、ちゃんと相手にされている。ショルツェ氏には専門外
・なお、民主主義では「一般人の理解を得る」というのは大事なことです。一般人の理解を得られなければ、NHKもRIMSも、存続が難しくなる
>>524 >>514
うん、この説明面白い！
>>483
>結局何が言いたいかというと、
ショルツはIUTを曲解して単純化して不十分。
>一方望月は第三者への認知可能な説明が不十分。
>これは、両者に加藤さんが言う認知のギャップがある状態である。
>ギャップを埋めるには望月側が皆が認知できる（腑に落ちる）形の説明をする必要がある。
同意
番組中で
師匠のファルティングスが要っていた通りです
560:１３２人目の素数さん
22/04/13 07:44:20.52 Dt2l/iPK.net
相変わらず数学
561:舐めきってる能無し
562:１３２人目の素数さん
22/04/13 08:04:52.35 yanFX/3q.net
>>524
あんな足し算とかけ算のグループ分けであのレベルが頭を悩ますってことはない
むしろショルツらは自明と言っている
区別して論理の組み換えを行っても目覚ましい計算があるとは思えないということ
NHKだと望月が斬新すぎてついていけないって構図になってるから少し批判的に見たほうがいい
563:１３２人目の素数さん
22/04/13 08:55:34.25 +vMm7Bl+.net
>>534
>・なお、民主主義では「一般人の理解を得る」というのは大事なことです。
では、是非理解して下さい。
564:１３２人目の素数さん
22/04/13 08:58:34.47 mwz0coSO.net
IUTTはおそらく間違ってはいないと思う。批判も飛躍があると言われているわけだし。
むしろ結局抜本的変革を謳っているのに現実的にはABC予想の証明にしか役に立たないかも
というところが危うい気がする。
565:１３２人目の素数さん
22/04/13 10:25:53.40 XhOFmIqd.net
>ABC予想の証明にしか役に立たないかも
番組の中でも言ってたけど、ABC予想が解ければ多くの未解決問題が「ドミノ倒し」だと。
だから、「ABC予想の証明にしか」というのは意味的におかしいんだよね。
証明が正しいなら、数学の未知の深い構造を明らかにしているはずなのに
そういう話が出てこないのもおかしい。
566:１３２人目の素数さん
22/04/13 10:26:29.05 3AJhi+QJ.net
こういう大学1年程度の数学も理解してなさそうな奴が
専門家の意見を完全に無視して持論語ってんのって滑稽すぎるな
567:１３２人目の素数さん
22/04/13 10:27:16.29 /SPymv/5.net
正しいか間違いか以前に意味を成して無い疑惑も含めて無定見で臨め
568:１３２人目の素数さん
22/04/13 10:30:08.45 3AJhi+QJ.net
「自分が理解した気になれる」ものしか見えていないのだろうな
底辺大生が「一年で数学書を100冊読む」みたいな無意味な目標を立てたがるようなもん
目の前のことに着実に取り組めないから、現実逃避して、自分が分かった気になれるものに飛びついてるだけ
569:１３２人目の素数さん
22/04/13 10:55:31.10 kX6gvlZW.net
「同じものを異なるとみなすことに抵抗がある」
↑こんなNHKが一般視聴者向けに抜き出したフレーズが、ほんとうにこの議論の本質だと思っているなら、おめでたい頭してんなと思う
570:１３２人目の素数さん
22/04/13 11:22:57 XhOFmIqd.net
「証明はピンポイントで正しいが、他に応用はない」
とか真面目に思っているひとこそ、「数学は有機的なものである」
ということが分かってなくて、証明を文字列としか読んだことが
ないひとだとしか思えないんだが。
571:１３２人目の素数さん
22/04/13 11:41:17.47 fqdeuGWS.net
過去の天才数学者のエピソードを集めてきて真似しようとするのはなぜなんだろう
これが気になる
BのサポートなのかK社のサポートなのか
572:１３２人目の素数さん
22/04/13 11:47:59.56 SvfC9b5n.net
>>544
じゃあ、お前がまず応用してみろよ（笑）
573:１３２人目の素数さん
22/04/13 12:03:13.09 XhOFmIqd.net
>>546
なんで？
わたしの主張「応用がないってことは証明は正しくないだろう」ってこと。
そして
「IUTTによるABC予想の証明は正しいが、数学全体に深い影響を及ぼすには至らない」
という主張は、数学ワカランチンの頓珍漢な意見だってこと。
574:１３２人目の素数さん
22/04/13 13:00:55 mGI6fPIR.net
>>547
証明が正しいかどうかなんかどうでもいい
それが分かってないのは、お前が数学を理解できていないから
575:１３２人目の素数さん
22/04/13 13:17:06 +SV7EFFn.net
>>484
「論文撤回」ってデータ偽造論文問題で例の人が虚偽説明をして、国際賞7回受賞の著名物理学者に嘘だと指摘された時のキーワードじゃん
ボキャブラリーが乏
576:しいから、自分がトラブった案件とは違う話でも同じキーワードを振り回して 医学研究科学位研究科未完成の落ちこぼれ精神異常者とすぐバレるのが間抜けだな
577:１３２人目の素数さん
22/04/13 13:17:51 QpAnd0eL.net
と、数学を分かったつもりの人が書く
目くそ鼻くそ
50歩100歩
じゃないの？
（あんたが数学のプロで、数学で飯食っているなら、そう言ってくれ。おっと、予備校数学講師はダメだよ。大学より上の教員か、研究所で数学DR持ちの研究員かが条件です）
578:１３２人目の素数さん
22/04/13 13:19:02 QpAnd0eL.net
>>550 は、>>548あてです
579:１３２人目の素数さん
22/04/13 13:20:29 +SV7EFFn.net
>>535
物理分野ではラマン散乱測定報告しかできず
化学分野では素人向けウィキペディアで暴れ
生物分野では他人の論文のコピペ画像探しで
弱い立場の院生や教授未満教員を自殺に追い込んだ
27年間学術的成果の何もないメンヘラだからしょうがない
580:１３２人目の素数さん
22/04/13 13:26:42.92 XhOFmIqd.net
>>548
証明が正しいか間違ってるか、出来ているか出来ていないかは
数学において決定的に重要なことですが何か？
581:１３２人目の素数さん
22/04/13 13:27:24.06 1VuJilmT.net
>>538
ABC予想を舐めすぎではないかw
そこまで特殊な問題というわけでもない
そういう特殊な理論は不自然だと考えたほうが妥当だ
582:１３２人目の素数さん
22/04/13 13:35:43.77 MYB/2eLz.net
>>534
＞ガリレオの宗教裁判で、天動説は否定されたが、結局天動説は正しかった
それ誤りですね
ついでに、本日書かれた以下の記事も誤ってますね
ｽﾚﾘﾝｸ(math板:274番)
ｽﾚﾘﾝｸ(math板:421番)
以下で質問させていただきましたが
正しい回答は不可能でしょう
ｽﾚﾘﾝｸ(math板:422番)
583:１３２人目の素数さん
22/04/13 13:54:10.42 mGI6fPIR.net
>>553
それがどうした？
584:１３２人目の素数さん
22/04/13 14:21:33.05 Rc89kUiv.net
長文自演連投氏に関しては
20年以上前から悪名が高く近寄るべきではない人物と認識されていて
10年ほど前に実名ホムペで専門的議論を試みたが
実名で曲がりなりにも教員をしている人物であるにも関わらず、高校生のような幼稚な屁理屈を振り回し
問題解決の目処の全く立たない場当たり議論を延々とする無能な人物である事は、最初数回の言葉のやり取りですぐ判った
その後だいぶ後になって、他の方と議論を試みている場に、この人物が何度も乱入してこのスレと同様な調子で幼稚な思い込みの強弁を繰り返してきたが
議論相手の方がコメントで「学位取得能力のない人物が学位を取り教員となった事例を初めて知った」
と言っていたのがとても印象的だった
誰の目から見てもほんの短時間で基礎の欠落した無能な人物だと判る、それが件の准教氏の実態
585:１３２人目の素数さん
22/04/13 14:52:23.48 QpAnd0eL.net
>>555
>＞ガリレオの宗教裁判で、天動説は否定されたが、結局天動説は正しかった
>それ誤りですね
>ついでに、本日書かれた以下の記事も誤ってますね
そう急ぎなさんなｗ
・”ガリレオの宗教裁判”で言いたかったこと：
数学においては 非常に ”まれ”だが、数学以外では 長く学説の対立が続くことがあるのです
地動説 vs 天動説とかね
生物学の遺伝の法則もそうだ （なお、望月先生自身も、下記で「大航海時代の地動説」に言及されています）
・数学では、繰り返すが このような長期にわたる ”説の対立”は、極めて珍しいのです
・それが、Nスぺのもう一つの視点（「abc予想証明を
586:めぐる数奇な物語」）でしょう！！ （参考） https://plaza.rakuten.co.jp/shinichi0329/diary/201901020001/ 新一の「心の一票」 2019.01.02 2018年の感想と、主張やその背後にある論理構造の情報を発信し記録することの重要性 関連した指摘になりますが、昨年（＝2018年）は大航海時代の地動説や、20世紀前半の相対性理論を巡る、（それぞれの）当時の激しい議論について初めてネット等で調べ、そのような激しい議論のような状況において、 関係者全員の主張（やその主張の背後にある 論理構造）の詳細かつ明示的で、（特に後世 の）一般人でもアクセス可能な 記録を残す ことの歴史的重要性を強く印象付けられました。このような歴史的な観点から考えても、「ノー」と言うべきときには、明確かつ毅然とした姿勢で「ノー」を発信することは至って重要なことです。
587:１３２人目の素数さん
22/04/13 14:58:46.69 LrnK2X8q.net
実は別途きっちり証明しているけど
自分たちが優位な期間を長くとるためにポイントは隠している
と思ってたこともあったがなあ
588:１３２人目の素数さん
22/04/13 15:02:28.05 FzOnZsuK.net
>>559
妄想だね
589:１３２人目の素数さん
22/04/13 15:21:30.59 fqdeuGWS.net
>>560
過去形で書きました
590:１３２人目の素数さん
22/04/13 15:25:46.52 HM3umD6C.net
この状況でIUTが行けるとか思ってる人は数学よりムーを読んだほうが幸せになれるタイプ
591:１３２人目の素数さん
22/04/13 15:30:20.33 +SV7EFFn.net
>>562底辺准教の愛読書の話は誰も興味ないからホムペに帰れ
592:１３２人目の素数さん
22/04/13 16:00:50.09 MYB/2eLz.net
>>558
＞ガリレオの宗教裁判で、天動説は否定されたが、結局天動説は正しかった
>>それ誤りですね
＞そう急ぎなさんなｗ
残念ながら、笑っても誤魔化せませんので、
早急に「私が間違っていました」と認めることが
あなたの面目を保つ唯一無二の方法ですよ
なお、私は「地動説が正しかった」といってるのではありません
もし、あなたが「天動説か地動説のどちらか一方が正しい」
とおもっているなら、それがそもそも誤りです
593:１３２人目の素数さん
22/04/13 16:14:34.99 o/+tJQGG.net
そもそも天動説も地動説も誤り
高校でケプラーの法則って習わないのか
いやそれ以前に太陽系外の天体の存在は今や常識ではないのか
594:１３２人目の素数さん
22/04/13 16:41:56.30 fqdeuGWS.net
forecastって単語を作って天気予報をしようとしたロバートも悲惨なことになったしな
空間をメッシュで区切ってモデル化したが観測技術が追いつかなかった
595:１３２人目の素数さん
22/04/13 17:00:16.77 MYB/2eLz.net
>>565
＞そもそも天動説も地動説も誤り
そもそも「何が静止しているか？」は物理学的に意味がない、
というのが最終的な結論だと認識しています
ニュートン力学におけるガリレイの相対性原理
を正しく理解したなら誰でもわかることですよね？
なお、ガリレイ変換は同時不変であるが、
これを光速不変（したがって同時は不変ではなくなる）と改めたのが
ローレンツ変換であって、その上での相対性原理が特殊相対性原理