- 1 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 10:09:06.84 ID:+cW2XWCC.net]
- IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/
Inter-universal geometry と ABC 予想 46
https://rio2016.5ch.net/test/read.cgi/math/1585967607/
- 214 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:12:28 ID:fd35YpTC.net]
- >>200
このままフェードアウトが一番のような気はする
NHKは空気読んだほうがいい
- 215 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:12:52 ID:X5G/mu59.net]
- IUTに前のめりな人事にしてしまったから引けなくなるって馬鹿すぎだろｗ
- 216 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:14:49 ID:IsFAxPk3.net]
- フェードアウトって2年前も言われてたよな
次世代なんとかセンターの人員も大御所に置き換わってオチがついたのかと思ってたのに
本当なんでわざわざ蒸し返したんだろ
- 217 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:14:58 ID:jd6xKCsv.net]
- >>200
認めてやるから、後は各人で論議してね、論議が始まるまで黙っててねで、そのまま放置じゃないの
ボスが動かないなら、弟子が周りで動くもんだと思ってたけど、この教室は違うんだなと思った
- 218 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:15:36 ID:VfY0g9RH.net]
- 学内政治、成果主義の問題、ゲーム理論…
すべてに関係したIUT理論ってホント画期的だな。
ほんと宇宙際だよ。
どれも解決できないけど。
- 219 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:16:05 ID:CCI9CStK.net]
- こんな重大な証明を身内のレビューアーでまわしてるわけないだろ
絶対に大御所がやってるよ
だからエディター側も自信を持ってるとみていい
- 220 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:18:26 ID:X5G/mu59.net]
- 自信がある割にどいつもこいつもせこせこしてて
外に出てIUTの啓蒙に努めようとしている人はいないよな
一番元気なのがdupuy
- 221 名前：１３２人目の素数さん [2020/04/07(火) 15:22:24 ID:HKpWWrsN.net]
- >>203
孫正義育英財団
https://masason-foundation.org/about/
副代表理事 山中伸弥
- 222 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:24:30 ID:VfY0g9RH.net]
- 誰にもわからない画期的理論ということで、問題の先を送りをしているから
弟子がIUTの啓蒙なんか始めるのは禁則事項でしょうよ…
弟子の仕事は、誰にもわからない画期的な数学なんです、ノーベル賞3つ分ですとマスコミ対策をすること。
- 223 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:26:27 ID:9KomTawK.net]
- ショルツさんって望月さんにメールしたのかな？
メールアドレス普通にHPに書いてあるけど。
公開するためにマイナーな掲示板に記事書いてたとか？
- 224 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:28:55 ID:vdBmxikH.net]
- >>210
元気なのが大事だよな
ショルツもdupuyも風通しが良くて健全
- 225 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:29:00 ID:9KomTawK.net]
- 日本語ページの画像上だけどな。
- 226 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:32:29 ID:IsFAxPk3.net]
- どっちかってとSSに直接進展を伝えずに突然PRIMS査読完了報告をメディアで大体的に打ち上げる方が礼儀知らずなんじゃ…
- 227 名前：１３２人目の素数さん [2020/04/07(火) 15:34:17 ID:/UNISUK0.net]
- やたら小保方を引き合いに出してる人がいるけど、頭悪すぎるわ。
あれは悪質なデータ捏造で全然別物なんだから、誰も共感しない。
ビッグサイエンスの世界に比べればたいした金額でもないんだか
ら、白黒つかないならつかないで、生暖かく見守ってればいいん
じゃないの？
- 228 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:35:06 ID:CCI9CStK.net]
- 査読というステップを甘くみてるんじゃないか？
査読者はショルツみたいな斜め読みじゃなく
それこそ隅から隅までアナがないか確認するんだぞ
それをエキスパートが複数人でやってる
すぐわかるようなアナが残ってるわけない
- 229 名前：１３２人目の素数さん [2020/04/07(火) 15:39:09 ID:HKpWWrsN.net]
- ショルツごめんなさいはいつ頃になるの？
- 230 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:43:36 ID:vdBmxikH.net]
- エキスパートw
- 231 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:46:01 ID:9KomTawK.net]
- PRIMSってこれかな？最新版まだないけどな。
www.kurims.kyoto-u.ac.jp/~prims/list.html
学術誌ってどこかに書いてあったけれどもPDFなんだろうな。
IUT理論だけで800ページ以上あるし、冊子はないのかな。
- 232 名前：１３２人目の素数さん [2020/04/07(火) 15:47:38 ID:fd35YpTC.net]
- >>218
斜め読みじゃない
普通に読み込んでる
- 233 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:47:44 ID:X5G/mu59.net]
- 政治的問題が発生すればエキスパートだろうが何人関わろうが無になる
そういう事実はないんですかって話をさんざんやっているわけで
理化学研究所も小保方という存在と予算獲得という点で崩れた
かりにショルツがRIMSのメンバーだったとしても予算のために首を縦に触れといわれたかもしれん
まぁそりゃショルツいればIUTに頼ることなく予算獲得できてただろうけどｗ
- 234 名前：１３２人目の素数さん [2020/04/07(火) 15:53:35 ID:M7jL1rp3.net]
- >>219
ショルツ氏が単に数学的関心以外で生きてるとは思えないんだよな
2人の議論が聞きたい 望月氏との
まわりは分からないだろうが^_^
- 235 名前：１３２人目の素数さん [2020/04/07(火) 15:54:37 ID:i1pK04EE.net]
- >>221
とりあえず掲載された論文を読んでからまた議論しようぜ！
- 236 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 15:55:39 ID:TL686Br9.net]
- 京大はつい最近、霊長類研の松沢哲郎というビッグネームが失墜した所だから
京大霊長類研の教授ら４人 ５億円余を不正支出
https://www3.nhk.or.jp/news/html/20200402/k10012365331000.html
- 237 名前：１３２人目の素数さん [2020/04/07(火) 15:57:33 ID:u5xnoTHO.net]
- お隣韓国様の報道だと日本だけが熱狂してて欧米の反応は冷たいとまたJapan Discountしてるなｗ
- 238 名前：１３２人目の素数さん [2020/04/07(火) 15:58:48 ID:HKpWWrsN.net]
- >>226
チンパンジーにここでこう演技してくれって賄賂に５億円かかったってこと？
あいつらどんだけ人間やねん
- 239 名前：１３２人目の素数さん [2020/04/07(火) 16:00:20 ID:i1pK04EE.net]
- >>191
ごめん
どこにどのようなギャップがあるのか分かって議論してるの？
皆さんは
- 240 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:06:04 ID:fd35YpTC.net]
- 小山○也とか気軽にコメントしちゃって軽率すぎる
ノーコメントが一番賢いのにマスコミ来たら舞い上がっちゃってw
- 241 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:09:18 ID:iKfIzjyT.net]
- >>191
＞RIMSはここからどう立ち回るのが正解なのかね。
もはや正解はないな
「理解できないから掲載できない」と言えなかった時点でアウト
最悪 数理解析研がなくなるだろうな
確実に 次世代幾何学研究センターはなくなる
- 242 名前：１３２人目の素数さん [2020/04/07(火) 16:17:36 ID:HKpWWrsN.net]
- >>231
査読担当の数学者は？ｗ
- 243 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:21:04 ID:X5G/mu59.net]
- 実際8年もあって応用が全然出てこないのは事実
理解者が最初の4,5年で得た連中から増えてないのも事実
- 244 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:21:06 ID:8d5Fq5kz.net]
- だからプロセスは非公開なんだよ
この際「墓場に持っていく」の真意をどっか取材してくれよw
- 245 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:21:58 ID:9KomTawK.net]
- 京都大学がシュルツ氏をヘッドハンティングすればいい。
- 246 名前：１３２人目の素数さん [2020/04/07(火) 16:23:39 ID:X5G/mu59.net]
- それも奇妙だよな
馬鹿なショルツのせいで遅れたって言いたいけど
そんなこと言えないので墓場まで持っていくのか
不正しましたなんて言えないから墓場まで持っていくなのか
どいつもこいつもｗにおわせぶりだけは超一流だな
- 247 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:25:28 ID:9KomTawK.net]
- 望月さんもヘッドハンティングされそうな人なんだよな。
- 248 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:25:34 ID:vdBmxikH.net]
- >>236
それw
- 249 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:28:26 ID:2UneLpbq.net]
- 学部・研究科等の現況調査表 研究 平成28年6月 京都大学
https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf
28．数理解析研究所 28-１
? 「研究の水準」の分析・判定 分析項目? 研究活動の状況
特に、過去５年間の大きなブレークスルーである「柏原予想の解決」や「ABC 予想」に
関する数論幾何学の展開に見られるように、分野融合的研究・新たな空間概念の構築を
キーワードに、新しい数学を創造することにより世界の数学史に残る業績を挙げている
ことは特筆に値する。
(
- 250 名前：水準) 期待される水準を上回る
(判断理由) 特に、望月新一による「ABC 予想」に関する論文は、これが発表された際に
国内の新聞報道のみならず、権威ある Nature の News（2012 年９月 10日）や
New York Times（2012 年９月 17 日）などにも取り上げられ、大きな話題となった。
? 「質の向上度」の分析 （２）分析項目? 研究成果の状況
本研究所は遠アーベル幾何等、双曲曲線の数論幾何の研究の中心であるが、望月新一に
よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は、特筆
すべき出来事である。当該論文は現在査読中であるが、望月新一が同理論の概要を解説した
業績番号１— (2)(2014)が、講究録別冊として刊行されている。玉川による代数曲線の数論
的基本群の l 進表現の研究（業績番号１—表(1)(2013)）、星による数体および p 進局所体
上でのセクション予想の反例の構成（業績番号１—局(3)(2010)）も、当研究所の数論幾何
の研究文化から生まれた、非常に重要な成果である。 [] - [ここ壊れてます]
- 251 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:28:43 ID:2UneLpbq.net]
- 中期目標の達成状況に関する評価結果 京都大学
平成29年6月 大学改革支援・学位授与機構
https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_1.pdf
評価結果 （?） 研究に関する目標
２．中期目標の達成状況 （１）研究水準及び研究の成果等に関する目標
＜特記すべき点＞（優れた点）
○数理解析研究所における研究の推進
数理解析研究所において、「数論幾何の研究」の「宇宙際タイヒミューラー理論」
の構築とその結果としての ABC 予想に関する論文は、国内外の主要メディアで
取り上げられている。（現況分析結果）
(現況調査表の「IUT理論の構築とその結果abc予想が解決した」は削除された)
- 252 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:29:18 ID:2UneLpbq.net]
- 中央教育審議会大学分科会 大学院部会（第75回）議事録
平成27年5月13日（水曜日）10時～12時
warp.ndl.go.jp/info:ndljp/pid/11293659/www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1365902.htm
【岡本委員】
グローバルCOE不採択校と比較しての資料はあるのか，これ。それからもう1点，改善
定着化指標というようなもの，すなわちこれ改善を試みているわけで，5年間やって，
その後，これをどう定着，あと5年後に例えば同じことをやって，ちゃんとそれがどの程度
定着しているのかといったような，この計画はあるのかという，この2点をお願いします。
【藤田日本学術振興会課長】
申し訳ございません。不採択校との比較の方はできておらないという状況でございます。
また，経過後のフォローということにつきましても，今のところは予定はないという状況です。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
中央教育審議会大学分科会 大学院部会（第75回）配付資料
平成27年5月13日（水曜日）10時～12時
warp.ndl.go.jp/info:ndljp/pid/11293659/www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1360382.htm
資料5 グローバルCOEプログラム事後評価結果
研究成果例 G08 京都大学「グローバルCOEプログラム」数学のトップリーダーの育成
宇宙際タイヒミュラー理論 -数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いることによってabc予想と呼ばれる数論の難問が解決する
ことが2012年に発表された。日本の主な全国紙は言うに及ばず、New York Times など
でも報道され、非専門家の間にも大きな話題 を提供している。宇宙際タイヒミュラー理論
は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その
解説や応用には多くの若手研究者が関与している。
掲載論文等 Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I
(日本学術振興会課長はGCOEの経過後をフォローしないと言明したが京大G08はIUTを持ち出し事後評価結果を改変した)
- 253 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:32:15.54 ID:8d5Fq5kz.net]
- 柏原御大はindeterminacyを理解してるからな
- 254 名前：１３２人目の素数さん [2020/04/07(火) 16:35:21 ID:HKpWWrsN.net]
- Fumiharu Kato 加藤文元 @FumiharuKato 4月4日
50年代から60年代にかけてグロタンディークなどIHESの人々が
重要な論文や著作
- 255 名前：の多くをP.IHESから出版していたことを、
誰もおかしいとは思っていない。2010年代に望月さんなどの
RIMSの人々が、重要な論文をP.RIMSから出版しようとすることを、
おかしいと思う人は多いらしい。 [] - [ここ壊れてます]
- 256 名前：１３２人目の素数さん [2020/04/07(火) 16:37:48 ID:HKpWWrsN.net]
- 2012年の発表からこの8年間、モッチーは何を研究してきたの？
IUTそのものは8年前にほぼ完成してるわけでしょ
- 257 名前：１３２人目の素数さん [2020/04/07(火) 16:40:07 ID:iKfIzjyT.net]
- >>243
ＢンＧンも啓蒙書書いて一般人から金を毟り取る暇があるなら
ショルツに説明すればいいのに、なんでしないの？
と思う人は沢山いるんだろうな
- 258 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:40:08 ID:9KomTawK.net]
- IUT理論以外にも論文置いてあったよ。
- 259 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:42:17 ID:IsFAxPk3.net]
- IUTの専門書が一冊もないどころなABC予想の証明の真偽も固まらないうちに
一般書書いたりニコ動出たりできるBさんって一体何者なんだ
- 260 名前：１３２人目の素数さん [2020/04/07(火) 16:44:06 ID:iKfIzjyT.net]
- >>244
グロタンディクは才能が枯渇した（と自分では認めてはいないが）後、隠遁したけど
望月は同じ状況で「ポストモダン数学者」に変身したな
- 261 名前：１３２人目の素数さん [2020/04/07(火) 16:46:44 ID:iKfIzjyT.net]
- >>247
利に聡い人なんでしょう
数学の能力が枯渇した後の数学者の処世の一例ですね
詐欺を働く奴 詐欺の片棒担ぎで一儲け企む奴
- 262 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:49:52 ID:VfY0g9RH.net]
- ABC予想抜きでIUT論文掲載してお茶を濁すにアベノマスク2枚
で、世間にはABC予想が解けた（はず）と喧伝してごまかす。
京大はこの選択肢をとる。
で、ずっとバカにされる道を選ぶ
- 263 名前：１３２人目の素数さん [2020/04/07(火) 16:58:10 ID:I+3THr08.net]
- これミスったら湯川秀樹(笑)になるからな
重責だぞ
- 264 名前：１３２人目の素数さん [2020/04/07(火) 17:50:06.51 ID:H4f9B9uj.net]
- >>164
なんで?
その批判が不成立なら、不十分の根拠ないじゃん。
- 265 名前：１３２人目の素数さん [2020/04/07(火) 17:51:13.81 ID:H4f9B9uj.net]
- >>251
湯川秀樹は中間子論で物理学賞とってるし
とくにミスしてないが。
- 266 名前：１３２人目の素数さん [2020/04/07(火) 17:53:31.73 ID:H4f9B9uj.net]
- >>186
少なくとも数学の論文では、理解はともかく論理ミスが見つからないから
パスしてんだろ。
だから、論理ミス指摘してみろって。
- 267 名前：１３２人目の素数さん [2020/04/07(火) 17:56:24.47 ID:H4f9B9uj.net]
- >>179
全然ちゃうわ。
これは、真偽の決まる完全情報ゲームだ。
論文が提出されてるから、それ見て真偽と論拠を言えば
結論が出る。
本人は真と思っている。他者が偽というなら、論拠をあげればいい。
- 268 名前：１３２人目の素数さん [2020/04/07(火) 18:00:05.27 ID:iKfIzjyT.net]
- >>255
証明が正しい場合、正しいと返すプログラムは作れる
ただ、証明が正しくない場合、正しくないと返すようにはできない
これがゲーデルの不完全性定理
- 269 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:00:53.91 ID:JDudcgge.net]
- このスレにいる連中がどう逆立ちしたって
WoitのところのReplyのレベルに到底
及ばないわけだからいっそう下種に
行くってのもわかる
- 270 名前：１３２人目の素数さん [2020/04/07(火) 18:02:55.99 ID:H4f9B9uj.net]
- 理解できる人がほとんどいないというのは
コミュニティにとって、真偽不明という、状況の理由には
なりえても、偽であるという根拠にはならない。
偽であると主張してるのがシュルツだけなら
それを解決できれば、前進する。
まあ、理解者増やした方がいいとは思うけど、
新すぎるなら仕方ないかも。
- 271 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:04:42.37 ID:vdBmxikH.net]
- ゴミにゴミと言ってあげるボランティアの力は偉大だな
- 272 名前：１３２人目の素数さん [2020/04/07(火) 18:05:35.78 ID:iKfIzjyT.net]
- >>256
「証明が
- 273 名前：」はいいすぎか
「命題が」だな [] - [ここ壊れてます]
- 274 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:08:09.55 ID:2lhc5QZl.net]
- >>248
才能が枯渇した人間にPursuing Stacksが書けるわけない
- 275 名前：１３２人目の素数さん [2020/04/07(火) 18:16:04.79 ID:8d5Fq5kz.net]
- >>258
典型的な詐○師の論法w
- 276 名前：１３２人目の素数さん [2020/04/07(火) 18:16:24.09 ID:H4f9B9uj.net]
- >>260
論理過程の成立の真偽を言ってるから、不完全性定理とは
関係ないと思う。
不完全性定理は論理が完全なことが前提でしょ。
- 277 名前：１３２人目の素数さん [2020/04/07(火) 18:17:45.31 ID:H4f9B9uj.net]
- >>262
どこがや。
まったく騙しなんてない。
理解できないなら、そう言えばいいだけの話。
- 278 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:21:57.42 ID:vdBmxikH.net]
- 弟子がな
- 279 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:24:12.37 ID:8d5Fq5kz.net]
- >>264
論点は、それなりの数学者連中に正しく見えないってことだろ。一部の微妙な身内だけ理解したと主張してる
何で正しいに違いないから当面はグレーでも仕方ないみたいな話にしてんだw
- 280 名前：１３２人目の素数さん [2020/04/07(火) 18:29:35.82 ID:mg7kwOWZ.net]
- >>256
それは対象が全ての証明の場合、計算可能なアルゴリズムがないてだけの話だ
もしある具体的な証明が、証明となってないなら論理の飛躍（非証明的操作）があるよ
不完全性定理を知ったかするど素人は黙ってろ
- 281 名前：１３２人目の素数さん [2020/04/07(火) 18:30:35.84 ID:iKfIzjyT.net]
- >>263
いや、単に述語論理における命題の充足可能性判定と考えればいい
命題論理ならNPだが、述語論理の場合、決定不能問題
https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C
- 282 名前：１３２人目の素数さん [2020/04/07(火) 18:31:55.52 ID:H4f9B9uj.net]
- >>266
論証に成功してないっていってるのはシュルツ以外にいるの?
理解できないと論証に失敗は全然ちゃうで。
そもそも、成功してると思ってる方が、失敗してると思ってる方より多いぞ。
外形的に叩くのは意味ないよ。
- 283 名前：１３２人目の素数さん [2020/04/07(火) 18:32:35.80 ID:iKfIzjyT.net]
- >>267
数学における証明は形式的に見た場合ギャップだらけだから
そのままでは形式的証明とはいえない
＞不完全性定理を知ったかするど素人は黙ってろ
それは自分自身にいいなよ
- 284 名前：１３２人目の素数さん [2020/04/07(火) 18:36:16.29 ID:iKfIzjyT.net]
- ID:H4f9B9uj
シュルツ（Schultze）ではなくショルツ（Scholtze）ね
多分語源は同じだと思うけどね
- 285 名前：１３２人目の素数さん [2020/04/07(火) 18:38:06.26 ID:mg7kwOWZ.net]
- >>270
>数学における証明は形式的に見た場合ギャップだらけだから
>そのままでは形式的証明とはいえない
は？だからなんだよ
不完全性定理知ったかおじさんは黙ってろ
証明ギャップ埋めるかどうかの話で不完全性定理が出てくるわけねえだろうが
- 286 名前：１３２人目の素数さん [2020/04/07(火) 18:38:36.62 ID:teGhHaNe.net]
- Peter SholzeとDupuyの議論はここ
https://www.math.columbia.edu/~woit/wordpress/?p=11709#comment-235940
- 287 名前：１３２人目の素数さん [2020/04/07(火) 18:40:18.09 ID:I+3THr08.net]
- 私の証明をミスは不完全性定理より正当化される( ｰ`дｰ´)ｷﾘｯ
- 288 名前：１３２人目の素数さん [2020/04/07(火) 18:41:26.05 ID:H4f9B9uj.net]
- >>270
なら尚更関係ないじゃん。
数学の証明は、実際に、その水準で行われてんだから。
正しいという判定ができるかどうかでしょ。
で、シュルツ以外は、照明に成功してないとはいってないんだから、
そこを解決できれば、理解者が少ないという状態であって、
証明が不成功という状態ではない。
- 289 名前：１３２人目の素数さん [2020/04/07(火) 18:42:48.64 ID:mg7kwOWZ.net]
- 不完全性定理知ってるてなら形式的証明の定義を何か一つ具体的に書いてみろ
- 290 名前：１３２人目の素数さん [2020/04/07(火) 18:42:53.29 ID:8d5Fq5kz.net]
- >>269
最後の一文で論外なのがわかった
ついでに、理解できない→正しいけど難しいだけ、にはならんからな？
- 291 名前：１３２人目の素数さん [2020/04/07(火) 18:47:57.03 ID:H4f9B9uj.net]
- >>277
お前が論外だわ
- 292 名前：１３２人目の素数さん [2020/04/07(火) 18:49:33.17 ID:iKfIzjyT.net]
- >>272
公理⇒定理 がトートロジーなら充足可能性判定は充足不能として停止する
そうでない場合手続きが止�
- 293 名前：ﾜらない可能性がある、ということ
論理知らないなら黙っときな 恥かくだけだよ [] - [ここ壊れてます]
- 294 名前：１３２人目の素数さん [2020/04/07(火) 18:51:54.88 ID:mg7kwOWZ.net]
- >>279
だからその不完全性定理の性質が今の望月ショルツの議論にどう関係すんの？
不完全性定理知るものなら無関係なことはすぐ分かるので、はっきりいって君の理解を疑ってる
だから形式的証明の正確な定義を一つ上げてみてとお願いしてるわけ
- 295 名前：１３２人目の素数さん [2020/04/07(火) 18:52:47.85 ID:iKfIzjyT.net]
- >>279の訂正
誤 公理⇒定理 がトートロジーなら、充足可能性判定は充足不能として停止する
正 公理⇒定理 がトートロジーなら、否定命題（公理∧￢停止）の充足可能性判定は充足不能として停止する
- 296 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:55:31.28 ID:VfY0g9RH.net]
- 不確定性定理の詐欺師的活用かｗ
やると思ってました。」
- 297 名前：１３２人目の素数さん [2020/04/07(火) 18:56:18.51 ID:iKfIzjyT.net]
- >>280
>>255に対するコメントとして書いた
つまり望月の補題に関して反例があるとしても
その反例を見つける手続きは一般的には停止しない
（反例があっても決して見つからない、という意味ではない）
- 298 名前：１３２人目の素数さん [2020/04/07(火) 18:56:40.16 ID:mg7kwOWZ.net]
- 一階述語だと面倒だというなら命題論理の形式的証明でもいいよ
- 299 名前：１３２人目の素数さん [2020/04/07(火) 18:59:38.07 ID:iKfIzjyT.net]
- 望月の補題が自然数論上真である可能性はもちろんある
しかし、論文でそのことが明らかになっていないなら無意味
つまりショルツの「成立しない」という指摘が誤りだとしても
そのことを以て即、望月の補題が真だという証拠にはならない
単に、ショルツは反例を提示できなかった、というだけのこと
- 300 名前：１３２人目の素数さん [2020/04/07(火) 19:00:04.56 ID:mg7kwOWZ.net]
- >>283
反例が見つからなくても証明ギャップがあるかどうかは「形式的」に分かります
反例がなくても形式証明の文法として正しいかどうかは計算可能です
だから全く補足になってなくバカを晒してるだけ
まあいいから命題論理でいいから形式的証明の定義書き起こすか、知ったかしてたこと謝りなよ
- 301 名前：１３２人目の素数さん [2020/04/07(火) 19:07:03.45 ID:iKfIzjyT.net]
- >>286
まったく証明がなくても「公理⇒定理」がトートロジーなら
否定命題の充足不能として有限ステップで分かります
これ豆な
https://ja.wikipedia.org/wiki/%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E3%81%AE%E6%96%B9%E6%B3%95
自動証明は根本的には上記の方法に基づいている
記事中には書いてないが、命題論理の場合、矛盾してる場合は止まる
だから「否定命題の矛盾」という形でトートロジーである場合の証明が求まる
しかし逆は止まらない
- 302 名前：１３２人目の素数さん [2020/04/07(火) 19:08:03.20 ID:TZiHq0ap.net]
- なんでもいいからさあ
学部生向けのまともな解説を
一から書いてくれる人暮春
- 303 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:09:03.18 ID:ElceEk/X.net]
- たしかに普通の数学の証明は非形式的だけど、補題3.12の証明と異なるのはやろうと思えば形式的にできるところ
3.12の証明はそもそも誰も形式的に翻訳できるレベルまで理解されるような証明になってないというのが現状
- 304 名前：１３２人目の素数さん [2020/04/07(火) 19:09:28.28 ID:mg7kwOWZ.net]
- >>287
いやだから、その一般論の性質の話をする意味て今ある？
もういいよ、命題論理の形式的証明の定義かけないし、君が新書読んだだけで分かった気になってる知ったかであることはわかったからさ
- 305 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:10:05.38 ID:8d5Fq5kz.net]
- >>278
論外は最後というか三行目な。Wikipediaの指摘も読めないとかw
あれはコミュニティの雰囲気と評価をちゃんと反映してんの
報道見た一般人な、お前の言う成功だと思うのが多数とかいうのは
- 306 名前：１３２人目の素数さん [2020/04/07(火) 19:12:50.17 ID:8d5Fq5kz.net]
- >>279
>>280
正しいと認識できない証明は正しいとして期待、仮定されるべきではないってだけの話じゃん
>>278みたいな池沼の論法はそれに抵触してる詭弁だわな
- 307 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:18:04.39 ID:4hCXgUOS.net]
- 言っちゃ悪いけど
数オリ金メダリストじゃない奴は天才とは言えないし
伸びしろもないよ
ペレルマンにしろショルツやタオにしろ皆んなメダリストだからね
- 308 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19
]
- [ここ壊れてます]
- 309 名前：:21:05.49 ID:FpDoFpVV.net mailto: 数学の天才はレベル低いなw []
- [ここ壊れてます]
- 310 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:23:44.81 ID:TSIs03bF.net]
- しょんべんちびるほど天才だろ
知り合いどころか俺が肉眼で見たことある奴すべてより頭いい
どっちかが間違っとるんだな
- 311 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:26:17.86 ID:X5G/mu59.net]
- 日本じゃ数学オリンピックは暇人がやるイメージだけど
外国じゃ結構名誉あるみたいね
- 312 名前：１３２人目の素数さん [2020/04/07(火) 19:27:42.21 ID:mg7kwOWZ.net]
- >>292
それはそれで正しいのだろうけど
形式的証明にすれば、ギャップがあるかどうか機械的に分かるんじゃねという話
- 313 名前：１３２人目の素数さん [2020/04/07(火) 19:29:27.47 ID:H4f9B9uj.net]
- >>289
どうなんすかね。査読者はその部分を立証とみてめてるんでしょ。
- 314 名前：１３２人目の素数さん [2020/04/07(火) 19:31:25.23 ID:iKfIzjyT.net]
- 望月とショルツの立場は対等ではない
ショルツは読む側だから間違ったとしても大したダメージはない
「書き方が悪い」というのもありだろう
一方、望月は書いた側だから間違ったら全てがパア
指摘の全てに対して答えられなければ負け
だから指摘に対して、いちいちムキになるのも分からないではない
とはいえ「読めばわかる」は負けたも同然だろう
|
 |
