[過去ログ] Interuniversal geometry とABC 予想59
(1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
653: 01/08(木)11:01 ID:p2R4PY7n(1/2) AAS
数学者が数学の研究で荒唐無稽なことを考えても別に構わない
ただ無理矢理査読を通して実績にするのは・・・犯罪
654(1): 01/08(木)11:14 ID:p+jcKxiP(3/5) AAS
>無理矢理査読を通して
それに犯罪性があったとしたとき
裁判で何が証拠として採用されるだろうか
655: 01/08(木)11:16 ID:p2R4PY7n(2/2) AAS
>>654 人間失格
656(1): 01/08(木)11:20 ID:p+jcKxiP(4/5) AAS
証拠がないことで人の行為をあげつらうことに
問題があるとして
現在進められているのが司法改革
近い将来
いままでのような取り調べが露見した場合
検事たちが処罰されるようになる
657(2): 01/08(木)11:23 ID:es2OmiCP(1) AAS
>>656
証拠を隠滅すればOK という発想がクズ
658(2): 01/08(木)11:26 ID:aEycGIsz(1) AAS
数学だろうが新しい数学だろうが
査読者とエディターがポジティブなら、掲載だろ
他の委員がどういう異議出すんだよ
コミュニティーにも認められてないのはおかしい、とか非学問的な理由でリジェクトさせんのか?それこそ頭おかしいだろ
粛々と専門家がアクセプトを決めたら、それに専門家として反論出来なければ、掲載が常識
659(1): 01/08(木)11:26 ID:p+jcKxiP(5/5) AAS
>657
そう言って気に入らない態度の被疑者を罪に落とし込む検事がクズ
660: 01/08(木)11:39 ID:1o07AwfU(3/3) AAS
>>659
そういって正義ぶるのが極悪人
661(2): 01/08(木)11:54 ID:f9krhwgj(9/11) AAS
>>658
>粛々と専門家がアクセプトを決めた
IUTの場合は準備論文から理解している
専門家は著者望月新一しかいないと明言
し、全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる
とも明言している。
アクセプトする前から京大数理研で
はabc予想が解決と公言した。
662: 01/08(木)12:00 ID:f9krhwgj(10/11) AAS
>>43
2014年12月
IUTの検証 望月新一
663: 01/08(木)12:15 ID:x81lz3qu(1) AAS
>アクセプトする前から京大数理研ではabc予想が解決と公言
確信犯やん
664: 01/08(木)13:13 ID:f9krhwgj(11/11) AAS
>>9
平成28年(2016年)6月
IUT論文査読中
京都大学数理解析研究所
-現況調査表 -
・p 28-3
資料 2. 発表論文数
所員の発表論文数は
査読付き論文のみ 。
特例として
省3
665(1): 01/08(木)14:43 ID:oZviU6DR(1/6) AAS
>>661
準備論文から理解したのが査読者だよ
エディターの彼も理解してる
現況調査票は事務が基本的に作る
その部分は事務の誤り
事務は数学のイロハを知らないからな
おっと所長がチェックしてるだろと言いたいのはわかるが、あの頃の数理研は忙しくてな、チェックしてないのよ
666(2): 01/08(木)15:52 ID:b7MW+LDB(1) AAS
>準備論文から理解したのが査読者
妄想 「査読者」は理解せずにメクラ判押した だから説明不能
>エディターの彼も理解してる
妄想 「彼」は実在しない架空の存在
667(1): 01/08(木)17:37 ID:oZviU6DR(2/6) AAS
>>666
妄想ではなく事実です。
妄想という根拠をまずあなたが先に示してください。
668: 01/08(木)18:15 ID:ynDMrIeZ(1) AAS
虚偽申請藤原
虚偽数学望月
669(1): 01/08(木)18:30 ID:JxzqsSgQ(1/5) AAS
>>667
理解したと思うのは事実ではなく妄想
君は統合失調症 入院したまえ
670(1): 01/08(木)19:48 ID:oZviU6DR(3/6) AAS
>>669
根拠、コンキョを示してください。日本語わかります?
671(1): 01/08(木)20:55 ID:JxzqsSgQ(2/5) AAS
>>670
自分にいいな
君、根拠ゼロだよ
672(1): 01/08(木)21:29 ID:oZviU6DR(4/6) AAS
>>671
あなたが先に根拠を出して下さい。先に言い出している&繰り返し言っているあなたが先だ。
673(1): 01/08(木)21:31 ID:JxzqsSgQ(3/5) AAS
>>672
君が根拠をだせない時点で君は死んだ
674: 01/08(木)21:32 ID:JxzqsSgQ(4/5) AAS
君が死んだなら君が一人負け
勝者ゼロで負けるとは●違いの極み
675(1): 01/08(木)22:03 ID:oZviU6DR(5/6) AAS
>>673
ごまかしてないで先に根拠出せよ嘘つき野郎
どうせ出せねーんだろ?
劣等感からの妄想が根拠だからな
676(1): 01/08(木)22:10 ID:JxzqsSgQ(5/5) AAS
>>675
根拠ないんですね ウソツキ君
さすが高卒
677: 01/08(木)22:13 ID:5J9w/nU+(1) AAS
>>676
先に突っかかったお前が俺より先に根拠だせ
678: 01/08(木)22:31 ID:oZviU6DR(6/6) AAS
はいあんたの負けー
679: 01/08(木)22:53 ID:WIkL4PFg(1) AAS
単著がほとんどないのに、パパの友達や弟子に共著論文を書いてもらって、
なぜかわずか40歳で京都大学の教授になった人が京大にいるそうだね。
詳しくはこのスレにGo!
2chスレ:math
親父は(元)東大教授で、息子は京大教授。
確率論という広いくくりで同じ専門というだけでなく、
もっと狭い確率解析というくくりでも同じらしい。
親父さんは門外漢でも聞いたことがあるぐらいの超有名人、学士院賞受賞者。
京大数学科では、これまで学生(や若い人)にたいして、
「数学者になりたきゃ自力で頑張れ!他人に頼るな!」
省2
680(1): 01/08(木)23:29 ID:Ko4iSOvK(5/5) AAS
いずれにせよ編集委員会および委員長の責任は重大だろ
論文の詳細な内容など分からんでも
証明が(十分で)ないって指摘に対して自明だと突っぱねるような
望月の主張を全面的に採用したんだから(>>21)
2018年に自明だと言って批判を突っぱねて今でもそう(>>569-571)
speciesの理論が当たり前なんていう「基礎論の専門家」が
本当に複数いたら出てくるはずだろ
681(1): 01/09(金)00:04 ID:KRNc7kdy(1) AAS
>>680
>本当に複数いたら出てくるはずだろ
自分から出てきますかね
望月さんに名前を挙げて貰う他ないでしょう
682: 01/09(金)00:52 ID:eLEJ2gxE(1) AAS
ほんとなわけないやん
683: 01/09(金)05:16 ID:hIGtZKs5(1) AAS
根拠示さない限り糖質の妄想~
勝手に吠えてろー
684: 01/09(金)07:09 ID:eQ863+tC(1) AAS
>>681
多くの人が分からんと言って説明を必要としてることが
自分には分かってるってんのなら
説明するために出てきます
それがフツーの数学者です
685: 01/09(金)07:41 ID:7WXy4YX4(1/2) AAS
望月新一の支持者が分かってること
「系3.12からABC予想が証明できる」
望月新一の支持者も分かってないこと
「IU、特に定理3.11から系3.12が証明できる」
686(1): 661 01/09(金)14:58 ID:QivGhDVU(1/2) AAS
>>665
まずは
>準備論文から理解したのが査読者だよ
エディターの彼も理解してる
・エディターの彼とは誰?
望月新一がIUT論文を京大PRIMS編集委員会へ投稿後、望月新一を除く京大PRIMS特別編集委員会(玉川.柏原委員長)が審査受理した。
編集委員会に望月新一教授がいないから準備論文からIUTへ精通するエディターも査読者もいない。
またサイディ星山下剛もおらず
編集委員はIUTについて全くの素人だ。
・査読者は誰?サイディか、
省9
687: 01/09(金)15:45 ID:dxhYkVpT(1) AAS
>>686
続き
・P7.
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者 (略)、幸か不幸かは別としてそれらのテーマに精通している研究者は(私自身を除けば)この世に存在しないのが実情です。
・P7
>既にIUTの検証活動に関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません。
688(1): 01/09(金)16:08 ID:7WXy4YX4(2/2) AAS
著者は自らが執筆した論文の成否に関する決定的判断を下す資格が本質的にない。
689(1): 01/09(金)22:14 ID:QivGhDVU(2/2) AAS
>688は数学の場合でしょ。
IUTは数学でないし望月新一を頂点とした全く新しい「理論」の教義より
成り立っているしcor.3.12も教義による。
DupuyやjoshiのIUT解釈は
IUTの異端にすぎない
690(1): 01/09(金)22:29 ID:gYIMe79Z(1) AAS
>>689
IUが数学でないなら望月新一は数学者でなくなったわけだから解雇だね(笑)
別に星も南出も彼を教祖としてあがめる義務を負ってるわけではない(笑)
DupuyやJoshiは望月新一を出し抜きたいのであって支持者ではない
織田信長を本能寺で討つ明智光秀みたいなもんだよ(笑)
691: 01/09(金)22:46 ID:tAZELIVn(1) AAS
>>690
望月新一本人が認めているよ
・IUT語 p
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
692(1): 01/10(土)08:21 ID:Bm9hKm+K(1/8) AAS
>「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
>全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
「ぼくのかんがえたさいきょうのすうがく」ってやつですね(笑)
ぼくのかんがえたさいきょうの
外部リンク:dic.pixiv.net
無茶苦茶な設定の代名詞。
元ネタは漫画『キン肉マン』の超人募集コーナーにて、
作中のインフレ具合をガン無視して設定を盛りまくった
ちびっ子諸君のイラストに添えられた文章から。
省8
693: 01/10(土)09:04 ID:Bm9hKm+K(2/8) AAS
2chスレ:math
数学書は読んでも全く理解できないが
数学者の経歴は読めば理解できるから
好んで読みたがる数学嫌いの素人
694(1): 01/10(土)09:32 ID:kao8g0mW(1/5) AAS
数学者嫌いなのは玄人
695: 01/10(土)09:41 ID:Bm9hKm+K(3/8) AAS
>>694
>数学者嫌いなのは玄人
残念な人格の数学者を見ると残念に思うことは多々あるね
ま、数学を研究してることと人格は独立だから仕方ないけどね
696(1): 01/10(土)09:58 ID:ZdqrQELu(1) AAS
しかし数学そのものに対しての姿勢をも真摯で誠実な態度とは言えないのがダメやろな
697: 01/10(土)10:03 ID:kao8g0mW(2/5) AAS
不誠実さを隠しようがないのが
ボディーランゲージ
698: 01/10(土)10:04 ID:Bm9hKm+K(4/8) AAS
>>696
それはMSのことかい?その崇拝者のことかい?
MSに関していえば、魔が差したとしかいえない
その崇拝者に関していえば、もともと只の計算好きで、数学の理論に興味がないんだろう
そんなのは工学系にはざらにいるから驚くことでもない
あいつらは逆行列を持たない正方行列は残念な例外としか思わない
そういう粗雑な精神でも世の中では生きていけるみたい よかったね
699: 01/10(土)10:26 ID:lk8KqbVj(1/3) AAS
望月氏は
自然数論(さらには数学的真理?)が絶対的に存在してて
人間が(形式化を経ずに)扱えると
勘違いしてるんじゃないデスかねー?
・例えば"functorial group-theoretic algorithm"は
group-theoreticと言いながら不定の自然数を操ってる
年頭ブログとIUT IVを併せて読むと
・「一階述語理論としてのZFC」のモデルを複数用意して
「不定元のような論理式」を操った結果得られる
論理式が"absolute"だと主張してる
省17
700: 01/10(土)10:29 ID:lk8KqbVj(2/3) AAS
思うに氏はIVを書いた時点で
・数学が一階述語論理上の理論である
ということを認識してなかったんじゃないデスかねー
(なにせZFCGはZFCの保存拡大だと思ってたくらいだから
そしてたぶん今でも理解を拒絶してる「認知的不協和」状態)
IVでは単に「ZFC」だったのが年頭ブログでは
「一階述語理論としてのZFC」になってるわけなんだが
おそらくは「一階述語論理」という言葉自体
形式化の話を聞くまで気にしたこともなかったんじゃ?
(メタ数学やらないんならそれで無問題
省7
701: 01/10(土)15:01 ID:lk8KqbVj(3/3) AAS
「多くの数学者が当たり前に脳内で無意識のうちに
こなしている」ようなことを集合論(メタ数学)でやったら
絶対にアカン!というのは集合論を学ぶ際に
イの一番に叩き込まれることデスよねー
702: 01/10(土)15:48 ID:4GRDHWAD(1/2) AAS
>>692
そのとおりですね。
・
IUTは望月新一が、だれも
話したことがない、新しい言語を
用いて理論を組み立てた。
通常の言葉に翻訳するには多くの言葉や概念を巧みな比喩を用いるしかない。
よって
PRIMS編集委の数学者もIUTに全く素人だから2014年12月IUTの望月新一検証によれば、頭を真っ白にして望月新一のIUT教材を修行せずにIUTへ数学的な判断をする資格がない。
➖
省15
703: 01/10(土)15:53 ID:Es67ILrU(1/2) AAS
【訃報】天才チンパンジー「アイ」逝去 49歳 京都大学が公表 [478973293]
2chスレ:news
704: 01/10(土)15:53 ID:Es67ILrU(2/2) AAS
【訃報】天才チンパンジーアイ 逝去 [668024367]
2chスレ:poverty
705: 01/10(土)19:01 ID:4GRDHWAD(2/2) AAS
⚫︎2023年8月
現状に関する簡潔な報告
IUTをめぐって 望月新一
4つの論文が、柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、といった国際的に著名な数学者からなる特別編集委員会によって編集されたPubl. RIMSの特別号に掲載されたにも関わらず、
略 スレ>61
・2014年12月
望月新一 IUTの自己検証では
京大PRIMS特別編集委員の数学者
がIUTに全く素人でIUTを判断する資格がないと言ってたにも関わらず、国際的に著名な数学者へw
・川上量生企画望月新一監修加藤文元著IUT本では望月新一語のIUTは数学でなく全く新しい理論と言ってたにも関わらず、数学者のscholze stix氏を罵倒している。
省2
706(1): 01/10(土)19:13 ID:kao8g0mW(3/5) AAS
悲しいことだが仕方がない
前橋の選挙結果は
悲しいことになるだろうが
悲しむべき事態になるよりはまし
707(1): 01/10(土)19:20 ID:Bm9hKm+K(5/8) AAS
>>706
セックスって犯罪でしたっけ?
708: 01/10(土)19:37 ID:Bm9hKm+K(6/8) AAS
愛国●違いの見苦しい足掻き
2chスレ:math
709(2): 01/10(土)19:39 ID:Bm9hKm+K(7/8) AAS
Benjamin Collasはフランスでは少数派らしい
710(1): 01/10(土)20:05 ID:kao8g0mW(4/5) AAS
>>707
不倫を犯罪よりも忌み嫌う人の割合が問題
711: 01/10(土)20:28 ID:Bm9hKm+K(8/8) AAS
>>710
セックスは本能的行動であって
こんなことを倫理という奴は
正真正銘の精神異常者である
712: 01/10(土)20:45 ID:kao8g0mW(5/5) AAS
不倫のことをセックスと言う?
713(1): 01/10(土)21:16 ID:qu83iCjA(1/2) AAS
望月さんが言うような
基礎論の専門家の意見を聞いてみたいね
誰か基礎論の人発言しないかね
714: 01/10(土)21:19 ID:qu83iCjA(2/2) AAS
>>709
>Benjamin Collasはフランスでは少数派らしい
研究者としか出てないけど
RIMSで職に就いてないの?
715: 01/10(土)23:46 ID:ntCu1RaN(1/3) AAS
>>709
p.scholzeは国際的な評価が高い
seminaire Bourbaki
2026.3.28
Peter Scholze — Geometric Langlands,
after Gaitsgory, Raskin, ...
ブルバキセミナー
2026年3月28日
p.scholze
幾何学的ラングランズ
省3
716: 01/10(土)23:48 ID:ntCu1RaN(2/3) AAS
外部リンク:breakthroughprize.org
717: 01/10(土)23:59 ID:ntCu1RaN(3/3) AAS
>>713
望月新一教授の2026ブログ
「また論文を公開した2012年以降も、
何名かの基礎論の専門家にも
目を通していただいていますが、
みんな口を揃えてまさしく
特に新奇性のない、当たり前なことしか書かれていないという
趣旨の評価や総括をしています。」
これはscholze stixレポートへの回答書.川上量生企画望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」 (>>15)->19の監修者望月新一の意見と矛盾しているにも関わらず、
省3
718: 01/11(日)00:04 ID:BybTnHDb(1) AAS
数学基礎論論理を応用したlean
定理証明支援系の専門家kevin
buzzardによれば、(>>34)
実際には2500年前から数学のやり方は驚くほど変化していない。
閉鎖的なパラダイムシフト論とIUT構築によるabc予想の解決は京都とりまきのみ定理の茶番劇。
ABC予想は、著名な学術誌京大PRIMSへ証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想だ。
719: 01/11(日)06:45 ID:CFrGjkFJ(1/2) AAS
124 名前:ファイヤーボールスプラッシュ(東京都) [US][sage] 投稿日:2026/01/10(土) 14:34:45.70 ID:Y3a+YzBP0 [2/2]
>>115
>>117
そういうことじゃないんだよな。先生は、幼児でもおちんちんやおまんまん見られると恥ずかしいって感覚を
人間だけは産まれながらに持っているってことを答えて欲しかった。アダムとイブの原罪なんだよ
720: 01/11(日)06:45 ID:CFrGjkFJ(2/2) AAS
150 名前:ツームストンパイルドライバー(みょ) [CN][sage] 投稿日:2026/01/10(土) 19:50:13.44 ID:Uf+wn5iD0
>>124
原始的な狩猟採集社会では幼児は排泄や局部丸出しを恥ずかしく思うことはないよ
認知の発達と属する社会の秩序によって恥の観念は生まれる
嬰児は抱っこ中にウンコするのもおむつ外されて拭かれるのもぜーんぜん嫌がらないでしょ
原罪なんかないの
古代人の無知な作り話だよ
721: 01/11(日)09:16 ID:bLyYlzFq(1) AAS
前橋市長選挙関係のyoutubeを流しながら
722(1): 01/11(日)14:55 ID:GanizPaJ(1/2) AAS
>>34
外部リンク:repository.kulib.kyoto-u.ac.jp
723: 01/11(日)14:57 ID:GanizPaJ(2/2) AAS
>>722
数理解析研究所講究録別冊
2019, B73: 51-64
幾何学基礎論
ヒルベルトからタルスキへ
(数学史研究)
足立恒雄
724(1): 01/11(日)15:54 ID:m8MUs4Hi(1) AAS
ユークリッド幾何でなければ双曲幾何になるというように書かれているけれども、
楕円幾何は最後の数行にそういう言葉は出てくるが、無視されているのはなぜ?
ある直線に含まれない点を通って、元の直線に交わらない直線が唯一である
とするのが、ユークリッド平面の幾何。元の直線に交わらない直線が
少なくとも2つあるというのが双曲平面の幾何。
元の直線に交わらない直線は一つもないとするのが、楕円平面の幾何。
この三通りの場合で尽くされているから、3通りがあるはずなんだけ
れども。なぜか、多くの非ユークリッド幾何では双曲幾何しか
取り上げず、楕円幾何は存在しないかのような扱い。
(楕円幾何のモデルとしては、通常の2次元球面上で
省3
725: 01/11(日)16:40 ID:m9cpcz6S(1) AAS
>>724
楕円幾何は直線が円になっちゃうから
平行線公準以外の公理も否定する必要がある
つまり平行線公準だけなくした場合は
ユークリッド幾何か双曲幾何かの二択
と、いつかどこかでだれかに教わったような・・・(笑)
726: 01/12(月)19:58 ID:H+UVgcPk(1/2) AAS
順序の公理3
1直線上にある任意の3点の内で他の2点の間にあるものは1点より多くない。
これは
同一直線上にある相異なる3点A,
B,Cに対し、ただ1つの点が存在しその点は他の2点間にある。
円周では成り立たない。
727: 01/12(月)20:45 ID:H+UVgcPk(2/2) AAS
・
ユークリッドの平行線公理。
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が1つだけ存在する :
・
ユークリッドの平行線公理の否定命題
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が2本以上存在する :
728(1): 01/13(火)18:38 ID:OHkIuxVT(1/3) AAS
ユークリッド原論からの発展。
・5つの公準の公理系を整理発展したヒルベルト公理系から1階述語論理のタルスキ公理系へ。
・ピタゴラスの定理からは
ガウスの内在的曲面論を経て
一般化したリーマン幾何学へ。
リーマン「幾何学の基礎をなす仮説について」には
定曲率の曲面を接触球の考察から
の分類がある。
729(1): 01/13(火)18:46 ID:OHkIuxVT(2/3) AAS
>>728
定曲率の曲面は、
曲率=0.可展面の円柱.
曲率>0.楕円幾何.球面
曲率<0 .双曲幾何に対応してる (サドルとか)
730: 01/13(火)18:54 ID:OHkIuxVT(3/3) AAS
パラダイムシフトの妄想IUTは茶番劇
731: 01/14(水)20:03 ID:xOqqz3oS(1/2) AAS
>>729
これは
・ユークリッド原論からは図形の平行移動と回転と鏡映による合同変換群= 等長変換がある。
・クラインのエルランゲルプログラムより幾何が変換群より分類される。
・定曲率の曲面はミンディングの定理より等長変換だ。
これらより
定曲率の曲面の幾何は
K>0 楕円幾何.
k=0 ユークリッド平面. K=0 )
K<0双曲幾何.
省1
732: 01/14(水)21:04 ID:xOqqz3oS(2/2) AAS
外部リンク[rb]:pantodon.jp
733(1): 01/14(水)23:19 ID:DXO0W5ZM(1) AAS
望月氏のIUT-report-2025-10を受けて書かれた
newscientistの記事は読んでたけど
大したこと書かれてないと思ってたから
すっかり忘れとったわー
今読み返してみたら年頭ブログ記事と繋がったわ
このぶんだと
Lean(の専門家)は無能だからiutを理解できないって
いつものパターンで終わる悪寒
734: 01/15(木)00:30 ID:jQjaDT2S(1) AAS
>>733
望月さんが自分でやるんじゃなかったのか
735: 01/15(木)02:31 ID:5Wc40I5l(1) AAS
どこまでも他責思考
736: 01/15(木)13:14 ID:2rtgXjBG(1/2) AAS
ラングランズプログラムの
wilesFLTは数学語。
IUTのIUT語は孤立した閉鎖的な望月新一語。両者を混同するな
737(1): 01/15(木)13:16 ID:2rtgXjBG(2/2) AAS
2014年12月
望月新一本人のIUTの検証
・P8
>ラングランズプログラムに代表
されるような「表現的アプローチ」
は大きな研究の流れの一つですが、数論における全ての本質的な
現象は「その参加に入る」あるいは
「その特別な場合に当たる」と
いたような考え方は様々な数論現象の実態と整合しないものと
理解しています。
省3
738: 01/16(金)08:06 ID:792kOLgo(1) AAS
筋が通っていさえすれば
誰も文句は言わないのだろうが
739(1): 01/16(金)16:31 ID:jGohyoof(1/4) AAS
>>737
> 望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
望月新一教授本人が認めている
IUTは本人しか理解できないと。
IUTは数学ではない。(>>17)
DuppyもjoshiもトンデモIUTの亜流に過ぎないしnoideaのトンデモから数学は生み出されない。
abc予想の証明でギャップはなんでも
ありで致命的 cor.3.12。
省4
740: 01/16(金)17:52 ID:pQfnXU68(1) AAS
そこで言う language とは the language of first-order logic の意味?
741: 01/16(金)18:26 ID:jGohyoof(2/4) AAS
違うと思うね
IUT語は望月新一語で「だれも 話したことがない、新しい言語」だから。
1階論理の言語と無関係だしタルスキの公理系に失礼だわ。
・IUT Language p51
“IUT theory is constructed on an entirely new framework and language/conceptual system that cannot be expressed within the paradigm of general mathematics.”
742: 01/16(金)18:28 ID:jGohyoof(3/4) AAS
違うと思うね
IUT語は望月新一語で「だれも 話したことがない、新しい言語」だから。
1階論理の言語と無関係だしタルスキの公理系に失礼だわ。
・IUT Language p51
“IUT theory is constructed on an entirely new framework and language/conceptual system that cannot be expressed within the paradigm of general mathematics.”
743: 01/16(金)18:34 ID:jGohyoof(4/4) AAS
>>301
なぜ1階論理か?
744(1): 01/16(金)22:26 ID:BLZSUYZn(1/2) AAS
>>739
dupuyのスペルを間違ってる
dupuyとjoshiを並べるのは間違い
dupuyが積極的に発言したことは有益で評価に値する
彼は数学的に間違ったことを言ってないし
iutによるabc予想の証明も明確に否定してる
(それでなぜMから絶交されてないのかは謎)
彼がiutを高く評価している(いた?)のはそうだが
それは価値観の問題にすぎない
価値観を否定する方が反数学的
745(1): 01/16(金)22:38 ID:BLZSUYZn(2/2) AAS
woitブログでのdupuy対scholzeの論争も
professionalなものだった
sはdに対してなんら悪印象を持っていないと思う
746(1): 01/16(金)23:18 ID:4dtT6S0M(1) AAS
joshi は自分の論文を lean で書いてみせるといってるらしいから少なくともそれで一区切りつくわな。
失敗した場合に正直に「ダメでした」って報告があること前提だけど。
成功すればもちろん成功したコードを公開するだろうし、そのとき ABC の照明も一気に解決になる。こっちの可能性はまぁないだろうけど。
747: 01/16(金)23:35 ID:JGXdBLz5(1) AAS
>>746
>joshi は自分の論文を lean で書いてみせるといってる
おお!
ABC予想がとうとう証明されることになるのか
748(1): 01/17(土)00:03 ID:9zDaTgPe(1/24) AAS
>>745
Dupuyなら、
NHKスペシャルで
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、 望月理論は数学の世界で生き続けていると思うのです」
と数学ではないIUT信奉者だと発言したものの、
望月新一本人から望月新一ブログでは
「デュプイ氏の場合:
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。」
省3
749: 01/17(土)00:06 ID:NVJHS3k7(1) AAS
>>748
>IUTの理解者は望月新一しかおらずIUTは数学ではない。
数学ではあるでしょ
既存の数学を革新すると言ってるだけで
750(1): 01/17(土)00:21 ID:9zDaTgPe(2/24) AAS
>数学ではあるでしょ
既存の数学を革新すると言ってるだけで
望月新一本人がパラダイムシフトされ
望月新一語で書かれた全く新しい理論と言っている。
>>17
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
751: 01/17(土)00:33 ID:9zDaTgPe(3/24) AAS
>>744
数学とIUTの混同は数学の破壊に
なります。
752(1): 01/17(土)00:45 ID:9zDaTgPe(4/24) AAS
もっといえば
>iutによるabc予想の証明も明確に否定してる
それは望月新一のみ理解者のIUTについて
修行がたりないからだろう、
IUTの構築しabc予想を証明する以外に
証明はない。
と言われている
上下前次1-新書関写板覧索設栞歴
あと 250 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.055s