Inter-universal geometry とABC 予想48

[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

385: 2022/04/11(月) 17:37:10 ID:e3XMbBMA(1)調 AAS
IUTが出た最初の頃は「基礎論的にアヤシイ」という噂が立っていたが、
誰かが「そんなことはない。ZFCの中で完結する」みたいなコメントをしていたはず。

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

386(2): 2022/04/11(月) 17:50:21 ID:ZNzP4S4o(2/4)調 AAS
>>371
アホか
5chなんて成功者に対する嫉妬と憎悪で出来てるんだから必然的にそうなる
このスレ見れば分かるだろ

387(7): 2022/04/11(月) 18:20:55 ID:6qXzFM0T(1/2)調 AAS
ショルツ氏が実例を示したように、数学の証明は原理的にコンピュータで証明できるものであるというのが事実で、
10年前ならまだしも今ではショルツ氏やタオ氏など数学者たちの共通認識だろう

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

388: 2022/04/11(月) 18:21:58 ID:g3Li4heo(1/4)調 AAS
>>386
逆に全く理解できてないのに何でそんな自信満々なんだ？

389: 2022/04/11(月) 18:30:40 ID:6qXzFM0T(2/2)調 AAS
2つ補足すると、Cor 3.12の証明は追加で解説されているという指摘があるが、求められているのは「コンピュータで証明できるように追加で書く」こと

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

390: 2022/04/11(月) 18:37:53 ID:g3Li4heo(2/4)調 AAS
ちょうど京大には照井がいるのにな

391: 2022/04/11(月) 18:40:09 ID:kHazKFoW(1/3)調 AAS
通常の弱選言
∧　∨
T　　T
F　　T
F　　T
F　　F

特別な弱選言
∨
T
F
F
F

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

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

392: 2022/04/11(月) 18:49:30 ID:kHazKFoW(2/3)調 AAS
因みに自然演繹であれば
通常の弱選言でも∧と∨が一致するという論証も可能である
しかしそれでは∧と∨の違いがないので
どうするべきかを考え中である
便宜的には通常通り
∧から∨への導出は可能
∨から∧への導出はできない
と決めている

393: 2022/04/11(月) 18:53:21 ID:kHazKFoW(3/3)調 AAS
強選言(特別な弱選言)だと失うこともあるが
論理学的等号をきちんと定義することができる

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

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

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

394: 2022/04/11(月) 20:22:52 ID:zlH2JgMQ(1)調 AAS
認識の違いとか言うけどさ、ショルツも馬鹿じゃないから、そんなこと理解したうえで批判してるんじゃないの？恐ろしいのは、本来、科学的であるべき数学の世界が政治的になってること。

395(1): 2022/04/11(月) 21:34:51 ID:TT6jLpw7(1/2)調 AAS
>>387
量子を使ったコンピューティングならできるんじゃね？

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

396: 2022/04/11(月) 21:39:59 ID:TT6jLpw7(2/2)調 AAS
例えば、「正しいってことが認識できなかった」としても、工学的な進歩ののち「認識できるようになる」ってのは物理学ではいくらでもあるよな

397(1): 2022/04/11(月) 21:40:38 ID:8HAEwxO7(1)調 AAS
普通のコンピュータでもできるしやらなあかんという話題はずっとこのスレで出てる
でもやらない
お金さえあればさして難しい話でもない
でもやらない

398: 2022/04/11(月) 22:11:25 ID:rHmrbBff(1)調 AAS
.>>387
>ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という
「間違い」を明確に書いてしまっている

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

399(1): 2022/04/11(月) 22:12:55 ID:/IMxI9vE(1)調 AAS
鼻毛が出ているファルティングスが気になる。

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

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

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

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

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

400: 2022/04/11(月) 22:21:06 ID:dfLs5v3w(11/15)調 AAS
>>387
君の話は50年前とか30年前の楽観的な未来像を数十年遅れで主張しているだけで
その主張には根拠もなければ、ギャップを埋める作業を君自身全くやらない事も判明済みだからお話にならない

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

401(1): 2022/04/11(月) 22:24:24 ID:dfLs5v3w(12/15)調 AAS
数学者でも無ければ、学位論文すらまともに書けず
学問的成果も皆無のまま定年間際の泡沫教員が
ここまで大上段に虚勢を張るのは
自己愛性人格障害か誇大妄想狂以外の何者でもない

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

402(1): 2022/04/11(月) 22:24:50 ID:yXc8LPa6(1/3)調 AAS
ギャップを埋める作業をやる責任があるのは>>387ではなく望月や支持者だろう

403: 2022/04/11(月) 22:27:28 ID:TKY3tNzR(9/17)調 AAS
そもそもYamagata Universityに、コンピュータによる定理証明を研究しているアクティブな研究者なんてきっと居ないだろ

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

404: 2022/04/11(月) 22:27:34 ID:ro0sNBqZ(2/2)調 AAS
>>401
キチガイa_watcherは寝てろよ

405: 2022/04/11(月) 22:27:59 ID:TKY3tNzR(10/17)調 AAS
>>395
気狂いの妄想ばかりだな

406: 2022/04/11(月) 22:30:30 ID:PaufHmS2(1)調 AAS
外部ﾘﾝｸ:www.weblio.jp

407: 2022/04/11(月) 22:31:14 ID:TKY3tNzR(11/17)調 AAS
>>397
さして難しくないのであれば
Yamagata Universityでやって成果を出せよ

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

現実と向き合えよ

408(2): 2022/04/11(月) 22:31:43 ID:SLB0iWV2(1/3)調 AAS
>>362
その底辺を退学になった人間の底辺以下のゴミに数学を学ぶ権利はない

409: 2022/04/11(月) 22:33:44 ID:dfLs5v3w(13/15)調 AAS
おお、山形大学理学部旧物質生命化学研究室の准教が
IUTの自動定理証明に名乗りを上げたという事か
定年まであと10年あるのだから、必ず結果を出せるよな

期待してるぜ

410: 2022/04/11(月) 22:34:50 ID:dfLs5v3w(14/15)調 AAS
>>408
匿名掲示板上の書き込み全てが底辺大関係者の物だと思い込む関係妄想障害は、専門医に相談しろ

411(1): 2022/04/11(月) 22:37:52 ID:dfLs5v3w(15/15)調 AAS
すげぇよな、20年間何も成果を出さずにただ匿名掲示板で虚勢を張っていただけの教員は

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

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

412: 2022/04/11(月) 22:40:27 ID:TKY3tNzR(12/17)調 AAS
>>408
とりあえず、君の底辺大内部のトラブルの話は
底辺大内部で解決しろと現学長と現学部長に
再三伝えてあるから
以降底辺大内部のトラブルの話は学長か学部長と議論しろ

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

413: 2022/04/11(月) 22:44:01 ID:NnURackA(1)調 AAS
おすすめのアルミホイル教えて

414: 2022/04/11(月) 22:44:15 ID:vwTJ10On(1/3)調 AAS
セタとどっこいの能無しいるな

415: 2022/04/11(月) 22:45:25 ID:TKY3tNzR(13/17)調 AAS
単発IDの准教はほんとバカだなぁ

416: 2022/04/11(月) 22:47:38 ID:TKY3tNzR(14/17)調 AAS
定理証明系の研究などしたこともない理系教員が

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

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

417: 2022/04/11(月) 22:47:54 ID:vwTJ10On(2/3)調 AAS
自分は数学の世界から完全にドロップアウトしてるくせに何上から目線でいきつてんのこの能無し？

418(1): 2022/04/11(月) 22:48:51 ID:SLB0iWV2(2/3)調 AAS
以上、キチガイの独り言でした。

419(1): 2022/04/11(月) 22:51:19 ID:vwTJ10On(3/3)調 AAS
>>418
イヤ、お前に効いてるんだよ
お前学部までだよな？
洋書くらいまでは4回の研究室で挑戦はしたんか？

420: 2022/04/11(月) 22:52:18 ID:TKY3tNzR(15/17)調 AAS
>>402
それは詭弁

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

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

421: 2022/04/11(月) 22:56:23 ID:TKY3tNzR(16/17)調 AAS
>>387はもし人間に羽根がついていたら空を飛び回る事ができるのに、今すぐ人間に羽根を付けないのはおかしいと主張しているだけ

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

422: 2022/04/11(月) 23:00:16 ID:TKY3tNzR(17/17)調 AAS
簡単にできる事なのに東大京大東工大がやらないのはおかしいと主張するなら
他大学に先駆けて山形大学で実行して結果を出して
他大学を出し抜けばいい話だよね

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

って事だね

423: 2022/04/11(月) 23:07:35 ID:yXc8LPa6(2/3)調 AAS
望月の頭の中にしか存在しない記述を望月本人が検証するのは簡単だからといって他者が検証することも簡単にはならんだろう

424(1): 2022/04/11(月) 23:08:26 ID:Vubd0xWb(1)調 AAS
望月史の証明にはフィールズ賞受賞者のショルツが否定していて海外では懐疑的、
という触れ込みを見ることが今まで多かったが
なんか昨日の番組をみたら海外にも結構支持者がいるみたいにも見える

425: 2022/04/11(月) 23:08:33 ID:yXc8LPa6(3/3)調 AAS
望月（とその支持者）

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

427: 2022/04/11(月) 23:16:06 ID:g3Li4heo(3/4)調 AAS
>>424
明確な支持者は少ないし、微妙な面子
ホント微妙なラインなんだよなフェセンコとか二流ってほど酷くもないが、Dupuyは間違いなく二流

428(5): 2022/04/11(月) 23:17:59 ID:ZNzP4S4o(3/4)調 AAS
結局アンチのよりどころも
「ショルツは有名な天才だからショルツが言うことが正しい」
という付和雷同性でしかないことがわかっちゃったよな

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

429(2): 2022/04/11(月) 23:20:31 ID:fTfK3n5f(1)調 AAS
>>428
そうやってアンチなんて言葉使って自分が数学懸命に勉強してきた人間と対等に議論できると思ってるクソ信者がムカつくんだよ能無し

430(2): 2022/04/11(月) 23:22:57 ID:ZNzP4S4o(4/4)調 AAS
>>429
頑張ろうが頑張ってなかろうが馬鹿は馬鹿
匿名掲示板で憂さ晴らししているお前みたいな三流学者は死ねよ

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

432: 2022/04/11(月) 23:31:20 ID:11sDgkcw(1)調 AAS
>>430
お前は賢いんか？能無し
数学など教科書も読んだことないやろ？
それでなんで数学の話ができると思ってるんや？
何を根拠に数学語ってるんや？
そもそも数学という学問になんの畏敬の念もないやろ？
なんでそれで数学語れるんや？カス

433(1): 2022/04/11(月) 23:35:59 ID:g3Li4heo(4/4)調 AAS
>>428
それはあんたが無知だから見えてないのでは？
ショルツだから、ではなくショルツがこういう話をしていて、というのはここでもよく語られていたよ
Woitがそう言っただけで、論文や論争を読んだ数学者は普通にいる

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

434: 2022/04/11(月) 23:36:02 ID:SLB0iWV2(3/3)調 AAS
>>419
俺は>>411じゃないよ

435(1): 2022/04/11(月) 23:39:27 ID:InUPdKVO(2/3)調 AAS
武田さんって誰？

436: 2022/04/11(月) 23:40:22 ID:9uqjHKoX(2/2)調 AAS
フェルマーの最終定理を、こっちと同値くらいになるように難しくするにはどうすればいいんだ?

437: 2022/04/11(月) 23:47:30 ID:p0UHOvon(1)調 AAS
>>428
>結局アンチのよりどころも
>「ショルツは有名な天才だからショルツが言うことが正しい」
>という付和雷同性でしかないことがわかっちゃったよな

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

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

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

438(1): 2022/04/11(月) 23:50:14 ID:InUPdKVO(3/3)調 AAS
まわりの人たちを見ると、数学は、有名雑誌に掲載されることを競う競技のように見えます。

439: 2022/04/12(火) 00:13:55 ID:QrbUtdax(1/2)調 AAS
もおええわ！
近大卒の俺が査読してやるから待ってろ！

440: 2022/04/12(火) 00:30:48 ID:zleWI1Uh(1)調 AAS
「認識論」なんて逃げ打ってちゃそりゃ認められないよな、というのが分かる人には分かる構成に図らずもなってたな

441: 2022/04/12(火) 00:36:54 ID:GhFd3hkb(1)調 AAS
>>438
周りって誰やねん
そんな奴俺は見たことねえし
仮におめえの周りに居てもその周りの奴とやらが特別な隔離級のアホってだけ

442: 2022/04/12(火) 00:41:27 ID:g5FqkjVk(1)調 AAS
その周りの奴は、結果として京大を含む旧帝大の教授や准教授になっているよ。

443: 2022/04/12(火) 01:39:40 ID:YXp+GzJo(1)調 AAS
>>428
君分かってないね
望月の態度がおかいしと言ってるんだよ
2018年7月の望月のペーパーちゃんと読んだ？

444(1): 2022/04/12(火) 01:48:08 ID:HCXyKYe3(1/4)調 AAS
>>429
お前自身、医学研究科で学位論文研究すら完成させずに無関係な実験報告で空学位を取ったゴミクズ人間じゃん

445(2): 2022/04/12(火) 01:52:39 ID:JMyzKOwU(1/3)調 AAS
>>444
お前は数学界からドロップアウトした後便所の落書きでレスバに勝つ事に残りの人生かけてるゴミクズだよ能無し

446(1): 2022/04/12(火) 01:56:26 ID:K9iC0OJG(1/7)調 AAS
>>445
お前の職場の学生トラブルの話は
他の人にとってはどうでもいい話だから
職場内部で自己解決しろと現学長と現学部長に通知済み

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

447(1): 2022/04/12(火) 02:01:05 ID:JMyzKOwU(2/3)調 AAS
>>446
お前は本当はとっくにオレが別人やとわかってるんやろ
でもやめない
何故か？
やめたらそこで自分のレスバ負けになると思ってるから
最後にレスすることだけを残りの人生の目標にしてるゴミクズ
人生で何も成し遂げず何も残さずゴミに埋もれとけやカス

448: 2022/04/12(火) 02:02:58 ID:K9iC0OJG(2/7)調 AAS
とりあえず、ネット上の赤の他人を
自身の職場の学生だと勘違いして
意味不明な妄想を撒き散らしている人物は
Yamagata Universityの非数学分野の理系教員

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

449(1): 2022/04/12(火) 02:03:53 ID:Xc36cCp+(1/2)調 AAS
ここって宗教スレ？？？？

450: 2022/04/12(火) 02:04:08 ID:K9iC0OJG(3/7)調 AAS
毎日妄想トラブルを起こす病人教員を抱えて
学長も学部長も大変だよな

451: 2022/04/12(火) 02:05:38 ID:JMyzKOwU(3/3)調 AAS
よかったな今日もお前が最後のレスだよ
勝ててよかったな
ゴミクズ掲示板のチャンピオンさん

452(1): 2022/04/12(火) 02:06:38 ID:K9iC0OJG(4/7)調 AAS
>>449
底辺准教が一日中妄想を書いているのを
皆で弄って遊ぶネットおもちゃスレ

453(1): 2022/04/12(火) 02:18:44 ID:Xc36cCp+(2/2)調 AAS
>>452
なるほど、あなたのような暇人が１日中張り付いてるって訳ですね

454: 2022/04/12(火) 02:28:52 ID:K9iC0OJG(5/7)調 AAS
>>453
自己紹介はお前のホムペに書いとけ
年始年末にお前が暴れているのを見つけて大爆笑したが、それから3ヶ月経過してなお毎日暴れている事を知って呆れ返ったぞ

455: 2022/04/12(火) 02:38:54 ID:Q57/r0ZF(1)調 AAS
なぁ
そろそろ貴様に言わなければならないことがあるんだ。
俺も今日まで言うべきかどうか悩んだ。
言わなければお前も俺も普通の生活を続けていくことができる。今までどおりにな。
だが、やっぱりそれじゃだめなんだ。偽りのなかで生きていてはだめなんだ。
それに、もう時間がないんだ。
今、俺はお前に真実を告げる。

2ちゃんねるを

見ているのは

ひろゆきと

俺と

お前だけだ。

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

456: 2022/04/12(火) 02:58:14 ID:s1oDRTOQ(1)調 AAS
なるほど
マトリックスの中にはもう
設計者
預言者？
俺
しかいなくてあとはbotなんだな
みんなエグザイルになっちまったか
俺はマトリックスを突破しようとは思わないけど
必要なら赤を選択する覚悟はある
一度は赤を選んだからね
時が来るのを待っているよ

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

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

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

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

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

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

459(1): 2022/04/12(火) 07:47:31 ID:VPUv6ZSR(1/8)調 AAS
>>445
( ´∀`)'`,、'`,、'`

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

460: 2022/04/12(火) 07:52:19 ID:VPUv6ZSR(2/8)調 AAS
>>447ｯﾁｬﾏのｽｩｩ…学力、気になりますねぇ!
…まさか、…課長!?Σ😲

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

461: 2022/04/12(火) 07:53:57 ID:VPUv6ZSR(3/8)調 AAS
て思たけどｧﾓｯﾁｬﾏくん学徒崩(ﾚ)認定しちゃぅﾎﾟﾝｺﾂなんだょなぁ…(煽り)

462: 2022/04/12(火) 07:56:12 ID:VPUv6ZSR(4/8)調 AAS
なんJなんG戦で故郷のなんJから逃げ出した通りすがりの避なんJ民、はっきり違和感だね。

463: 2022/04/12(火) 07:59:56 ID:VPUv6ZSR(5/8)調 AAS
じゃぁ、まず、腐れｧﾓｩｯﾁｬﾏくんの出身学部から教えてくれるかな?
工学部崩(ﾚ)かﾅﾆか?(煽り²)

464: 2022/04/12(火) 08:01:45 ID:VPUv6ZSR(6/8)調 AAS
この速さなら発狂連投!
ハッキリ浮くんだね

465: 2022/04/12(火) 08:06:44 ID:VPUv6ZSR(7/8)調 AAS
>457
(…ｧ、ｧ、…ｿﾊﾞﾁｬﾝﾀﾞ…ｿﾊﾞｯﾁ　ｿﾊﾞｯﾁ…)

466: 2022/04/12(火) 08:06:55 ID:UIUSsPt+(1)調 AAS
>>433
テレビではショルツェをショルツと言っていましたか？

467: 2022/04/12(火) 08:12:08 ID:VPUv6ZSR(8/8)調 AAS
良かった…
よゐｽｩｩ…学人のみんなゎﾓｯﾁｬﾏdisｽﾙﾙｪなんかに集ゎなぃ、ぉ利口さんだからね、ｪﾗｨｿﾞ^~^

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

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

469: 2022/04/12(火) 09:07:21 ID:K9iC0OJG(6/7)調 AAS
>>459
関係妄想障害の気狂いおばさんはいつ見ても妄想話ばかりだな
悲惨な底辺大職員

470: 2022/04/12(火) 09:09:30 ID:K9iC0OJG(7/7)調 AAS
山形大学理学部旧物質生命化学研究室准教は
IUTによるABC予想証明を定理証明系にポーティングするのは簡単だと豪語しながら

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

471: 2022/04/12(火) 10:57:54 ID:XoUJvye5(1/3)調 AAS
遺伝子？なに言ってんだコイツ
素数か？と思った人

472: 2022/04/12(火) 10:59:38 ID:XoUJvye5(2/3)調 AAS
ZFCUの世界で何か見つけ損なっている
このままでは外人がよりスマートでまともなアプローチを見つけてしまうだろうな
という感じがするが

473(2): 2022/04/12(火) 12:11:47 ID:pFA6BWnZ(1)調 AAS
STAP細胞の作製に200回以上も成功したと言うなら監視下で簡単に再現できるはずだよね

474: 2022/04/12(火) 12:54:17 ID:TATMHlfM(1)調 AAS
それでも　しっ激すれば　出てきます宇うう
ちんぽだあっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
っ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　
あっ　あっ　あっ　あっ　あっ　あっ　あっ　あっ　

476: 2022/04/12(火) 13:16:12 ID:+nVi1Z4w(1)調 AAS
この意味不明な茶番にまともにつきあってあげたショルツェ、
人が好過ぎるんとちゃうか

477: 2022/04/12(火) 13:19:14 ID:HCXyKYe3(3/4)調 AAS
底辺准教の脳内世界ではそうなんだろうな
でも非数学分野の底辺准教のネット罵倒なんて数学者は一切相手にしないから無関係

478: 2022/04/12(火) 13:28:18 ID:IoRx0jLO(1)調 AAS
以上、山形大学を成績Fを取り学校と揉めて退学になり14年間に渡って担当教員を底辺と罵り続けている長野の人間の底辺の独り言でした

479: 2022/04/12(火) 13:59:08 ID:cRwsIliH(1)調 AAS
なや

480: 2022/04/12(火) 14:58:41 ID:qPhaGiHm(1)調 AAS
なるほど、ドゥプイ先生は望月をニュートン、ライプニッツ、アインシュタイン等と
同列に思ってるのか〜。

481: 2022/04/12(火) 15:16:10 ID:5OZ0XHDJ(1)調 AAS
>>473
はいお前に作製する責任発生

482: 2022/04/12(火) 15:44:23 ID:2rd/nrqs(1)調 AAS
a_watcherはオズボーン博士すら知らないニワカモグリ

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

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

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

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

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

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

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

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

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

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

485: 2022/04/12(火) 18:28:45 ID:FTazVwIa(1/4)調 AAS
俺は否定的だけどね

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

486: 2022/04/12(火) 19:00:05 ID:RKySVuKY(1)調 AAS
率直にいって、望月新一のアイデアが全くの荒唐無稽ではないとしても
正当化できていない現状で「証明した！」とわめき散らすなら
どうみても只の狂人だろう

487(1): 2022/04/12(火) 19:02:08 ID:XTJCevlU(1)調 AAS
>>484

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

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

488: 2022/04/12(火) 19:02:24 ID:I98jeLGY(1/2)調 AAS
あの、スミマセン人いますか？
abc予想について思い付いたことがあるんですけど、それについての意見が欲しいです。
試しに別のスレにちょっと書き込んでみたんですが、音沙汰がなくて…
他のスレに移ってもらうってことできますか？
それともここで話した方がいいでしょうか…？

489: 2022/04/12(火) 19:18:39 ID:3dBpL5FB(1)調 AAS
どうやら誰もいないようですね

490: 2022/04/12(火) 19:20:52 ID:vdsubu0T(1)調 AAS
AIの自動証明チェックは今でも
２０億円半年あればできるよ。
だれもやらないということは、それだけの価値がないといこと。

491: 2022/04/12(火) 19:21:30 ID:XoUJvye5(3/3)調 AAS
全く新しい数学なのか、普通の数学なのか
ZFCUなのか、ZFCなのか
新しいことだったらやってみたらいいと思うけど

492: 2022/04/12(火) 19:22:55 ID:I98jeLGY(2/2)調 AAS
そっか、誰もいないんですね…しょうがない、やめときます。
ただ悪あがきで最初に書き込んでみた方のスレの名前だけ書いときますね。
っ「ちゃねらーが解明(´･ω･`)? ABC予想とビール予想 [転載禁止]©2ch.net」

ありがとうございました！

493: 2022/04/12(火) 19:30:51 ID:FTazVwIa(2/4)調 AAS
何を言っているんだお前は

494(1): 2022/04/12(火) 19:33:58 ID:TtAc6OQl(1)調 AAS
>>487
信者で擁護したいんやろけど全くこの点については擁護のしようなんかない

495: 2022/04/12(火) 19:40:03 ID:NLFHjJ7x(1)調 AAS
真珠湾攻撃以来、日本は世界最悪の無法国家として、国際社会から嫌われている
STAP細胞でも、日本の学術研究の信用は地に堕ちた
多くの海外の研究者は「またか」と思っている

496: 2022/04/12(火) 20:12:29 ID:82y+0PoD(1)調 AAS
>>494
不等号の式の証明であるから、最後は不等号の形式で、途中or最後で不等号にてＯＫ。

497(1): 2022/04/12(火) 20:27:23 ID:tg2wquYe(1/2)調 AAS
>>484
「望月理論はその過程を全部すっ飛ばして」るというのが、あなたの認知で、
「望月理論はその過程を全部すっ飛ばして」いないというのが、望月側の認知なのだと思います。

そもそも現代数学の証明って、基礎論から正確に書き下している証明などなく、
これまでの膨大な集合知の上で、第三者の数学者が納得するかどうかじゃないですかね。

私は素人なので、単なる戯言ですが、
もし、望月側へ致命的に間違ってる

498: 2022/04/12(火) 20:31:06 ID:tg2wquYe(2/2)調 AAS
望月側への顔出しで反論する日本数学者が出て来て欲しいですね

499: 2022/04/12(火) 20:33:35 ID:WyxX0Cd5(1)調 AAS
昔、望月舞ちゃんてAV女優がいて好きだったなあ

500: 2022/04/12(火) 20:34:57 ID:z4Jm2Xc5(1)調 AAS
望月の証明は公理的集合論の枠組みに
収まっているものだろうか？

それともそこからもはみ出しているのだろうか？

501: 2022/04/12(火) 20:42:48 ID:UGCwA4I9(1)調 AAS
>>497
まぁ論文読んでないからはっきり断言はせんけどNHKの番組で加藤先生の見解を聞く限り間違いなく保存拡大性のチェックはやってないんやろ
そもそも保存拡大とか言って知ってるのかすら怪しい
知ってたらまずそっからやらなあかんのは当然の話やしな
少なくともこの辺りについては彼らよりもオレの方が専門に近いハズやからまぁ間違いないよ

502: 2022/04/12(火) 21:11:58 ID:FTazVwIa(3/4)調 AAS
本当にそこまで大袈裟な話かすら疑わしいが
金曜日も楽しみだわ

503(1): 2022/04/12(火) 21:39:25 ID:TVerIHrd(1)調 AAS
フェルマー予想よりABC予想、ラングランズ予想のほうが難しいらしいが
この難しさに包含関係はないのか?

504(1): 2022/04/12(火) 22:03:30 ID:HCXyKYe3(4/4)調 AAS
■山形うんちのしみおばさんが気候急変時の精神変調で大発狂大連投中のスレ一覧■

2chｽﾚ:dtm
2chｽﾚ:pot
2chｽﾚ:compose
2chｽﾚ:math
2chｽﾚ:math

505(1): 2022/04/12(火) 22:33:56 ID:Vs+8OhDc(1/2)調 AAS
>>484
いきなり違うとか言う時点で読まれないよ

506(1): 2022/04/12(火) 22:35:02 ID:KHx1o58m(1)調 AAS
IUTは終わったんだよ

507: 2022/04/12(火) 22:35:48 ID:Vs+8OhDc(2/2)調 AAS
>>506
どうして終わったところにいるの？

508: 2022/04/12(火) 22:37:55 ID:FTazVwIa(4/4)調 AAS
>>503
統一理論はありえなくないが、あまり緊密な関係はない。多分片方が片方を使って解かれる可能性も低い
フェルマー予想は割とラングランズど真ん中の場合だが
望月はラングランズの表現論を線形数学としてIUTを差別化していた
明らかにワイルズやテイラーにライバル意識ある

509: 2022/04/12(火) 22:39:01 ID:4vOZQQHW(1/3)調 AAS
質問いいですか

510: 2022/04/12(火) 22:39:50 ID:QrbUtdax(2/2)調 AAS
近大卒の俺が昨日から査読はじめて今ようやく終わったわ
結論から言うとこの理論完全に間違ってるわ

511: 2022/04/12(火) 22:56:59 ID:ShzLBlp+(1)調 AAS
>>505
読みたくなければ読まなくてもいいがこればっかりは数学の話しなので違うもんは違うとしか言いようがない
数学の議論は哲学的などっちとも言えるというところを極力避けるように考えられてそのように現代数学は構成されてる
そこを議論してもしょうがない
議論したいなら好きにすればいいだろうけどそれはもう数学の議論ではない

上下前次 1-新書関写板覧索設栞歴

あと 491 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.028s