Inter-universal geometry とABC 予想52 at MATH
[2ch|▼Menu]
[前50を表示]
250:132人目の素数さん
22/11/05 22:09:34.61 e/p+OVDI.net
wikiのabc予想のページから林瑠奈の記述が消されちゃったな。

251:132人目の素数さん
22/11/06 13:07:10.59 eNAxW3hg.net
IUTT 関係者と思しき人が書き込むとアンチが雲散霧消・散蜘蛛子しますね

252:132人目の素数さん
22/11/06 13:17:50.70 MQUCmJNZ.net
はぁ?こんなのが関係者だぁ?いくらIUTTが言い訳のしようが無い所まで追い詰められてるからって
関係者ならもっとマシな書き込み出来るだろ?何だまた、信者が自ら
関係者の格を下げる様な書き込みして。
やっぱり、どこの業界でも、どんな擁護でも、浅ましく無理矢理な擁護は、アンチ以上のネガキャンに成るな。

253:132人目の素数さん
22/11/06 15:56:43.66 C0Hvks2+.net
アンチは応援サポレベルの用語

254:132人目の素数さん
22/11/06 19:42:56.71 3oKylFl8.net
本人ももうダメと思ってるじゃないのかな?
それで死ぬまで、たまにテレビとかに取り上げられて
一喜一憂して、躁鬱みたいな状態を繰り返すんじゃないかな?

255:132人目の素数さん
22/11/06 21:15:39.30 wcZTKbBb.net
リーマン予想も解けたつもりになっているかもしれない

256:132人目の素数さん
22/11/07 10:01:43.92 XJmeTcYS.net
>>242
そろそろ無期転換かな

257:132人目の素数さん
22/11/07 10:06:13.15 NgHOXSSh.net
散蜘蛛子って「蜘蛛の子を散らす」という意味なんだろうけどこんな言い方するの?
ググっても出てこない

258:132人目の素数さん
22/11/07 12:01:37.21 quGd4Ht+.net
PRIMSはIUT論文は全く新しい理論IUTTによる。論文は完全だからabc予想が証明された、として論文を受理した。
一方IUTT共同構築者加藤文元氏から「IUTTは、現今の数学との
違いをきちんと完全に言語化する、新しい数学の言語体系を、
早急に作らなければいけない」とNスペでコメントしIUTTによるIUT論文は未だに不完全性と指摘した。
全く新しい理論IUTT望月コミュニティ内でデュプイも含め
意見の相違があるね、、
信奉者のデュプイによれば謎のIUT語が望月コミュニティ内で
完成するのは200年のちみたい

259:132人目の素数さん
22/11/07 13:42:17.47 4u7Yd2qR.net
そうだ(ピコーン💡)
弟子たちの手でABC予想をちゃんと証明するって解決策はどうよ?
日本の恥のままにもならないし
ちゃんとした数学に貢献できるし
良いこと尽くめのソリューションの気がする

260:132人目の素数さん
22/11/07 13:54:14.68 sdqTqJEo.net
蜘蛛の子を散らす様に逃げる
は中国語訳でも
向四處逃散
と書く様だな
下手気に自己流に漢文化して書いてみちゃったのか?

261:132人目の素数さん
22/11/07 15:35:52.80 r4hUlfAE.net
      )  )  )
       人
      (;;;;;;;;)
     (;;;;;;;;;;;;)
     (;;;;;;;;;;;;;;;;)
    (;;;;;;;;;;;;;;;;;;;;)
    (;;;;;;;;;;;;;;;;;;;;;;;) 皆いつも応援ありがとうなのさ〜
   (;;;;;;;ω;;;ω;;;;;;)
   (;;;;;;;;;;;;;;;;;;;;;;;;;;;)   つ いにみ かぎられたけど障がないさ〜
    ',  ー=ー /
    / ヽ___/ヽ∩
   /       l三 |
   l     ∩  ヽ.__|
   \  (  )  /
     ヽ  i!  /
    (___/ \___)

262:132人目の素数さん
22/11/07 15:35:59.16 r4hUlfAE.net
             ノ)
            (;:.:.__)
           (;;:::.:.__::;)
          (;;:_:.__゚.:.:⌒)
         (;;;::。:.. :;+;::;;`)
        ,;f::::::::::::::::::::::::::ヽ
        i/'" ̄ ̄ヾ:::::::::::i
        |,,,,_ ,,,,,,_  |::::::::|
        (>);(<)==r─、|
        { (__..::   / ノ′ いっぱいでるのさ〜
        ', ==一   ノ
         !___/_>、,,..- 、
     rー―__―.'    .-''   々i
     ! メ   ̄`. ´  ̄`    .ノ
     .'- .ィ  #      .「 , '.
       | :。::   メ :。:: ! i
       ノ #    メ   ヽ、
     , '    ヽζζζ , '   ヽ
     .{ _.ト、   Yl| |iY  # ,イ .}
     '、 >.ト.   ' U. '   イノ .ノ
      ' .,,_ ___ ノ‐i !- 、 ___ ...- '    
.               i;!;|:.
.        -=::;:..;:|:i::i;:~:..:;;.:ニ=-
     -=ニ::;;:~:;;::_i:;:|:li:~::;;:_゙;::ニ=-
   . . .:. .:..:,:,: :;:.;;':,:,.,:';;';;';';;;:;.:..::....

263:132人目の素数さん
22/11/07 15:48:06.93 NKH32F7r.net
>>243
q>1.6の部分もね。
q>1.7の部分が全て0になるというのも書けるだろう。
しかし書かない理由は、分かりやすくなってしまうから。
分かりやすくしすぎないというのも手口なんだよな。

264:245
22/11/07 15:57:45.09 Oehrvnp7.net
>>254
大正解!!
おめでとう、アナルおそうじ券差し上げます。
歌舞伎町で待機お願いいたしやす。

265:132人目の素数さん
22/11/07 16:00:00.72 NKH32F7r.net
本来の論点はcが大きな場合だな。
なにしろ計算機科学で大きな桁数の値の素因数分解が難しいという背景がある。
現在、python3のdecimalで桁数が999999999999999999までの値を扱える状態だが、
もっと大きな桁数の計算をしなければいけないところまで持っていく必要がある。

266:132人目の素数さん
22/11/07 16:10:32.07 qWer/HiA.net
日常ではもうIUTの話題を挙げるなんて、まだそんなこと言ってるの?って、恥ずかしくて出来んわね。世界中でここだけやな

267:132人目の素数さん
22/11/07 16:24:49.69 NKH32F7r.net
ABC予想については少なくとも毎年話題にするだろ。
進学したりする奴らに数学的な話題も提供しなきゃいけないからな。
その時にIUTが付いてくる。そういう意味で使いやすいんだろう。

268:132人目の素数さん
22/11/07 16:34:35.39 NKH32F7r.net
長年経っているが、
log(23^5)/log(2*3*109*23)
の計算式がwikiのABC予想のページに載っていないな。
この式を書けばもっと分かりやすい。
新発見が前提だったのかもしれないが、長年新発見されていない。

269:132人目の素数さん
22/11/07 16:57:01.43 Z/ONFi4o.net
結構物凄い面白いネタなのは確かだな
何せあれだけの膨大な論文書いてんだぜ?前代未聞だよ

270:132人目の素数さん
22/11/07 17:39:18.23 NKH32F7r.net
Πについての呼び方が定まっていない。
キャピタルパイ・ラージパイ・ピー(π「パイ」と異なる呼び方であればよいという風潮)。

271:132人目の素数さん
22/11/08 08:32:53.40 JrB29meO.net
>>253
弟子ならHAに行き詰まり全く新しい理論のIUTTになったから
現代数学とIUTTの違いを言語体系IUT語から完成させるしかない。
PRIMSはIUTTによるIUT論文を完全とし受理したから先ずIUT論文を
取り下げIUTTを根本的に修正するしかない。
望月IUTTコミュニティ内部から全く新しい理論IUTTでもabc予想の証明が
未完成と指摘されたことには呆れた

272:132人目の素数さん
22/11/08 18:54:25.74 Q+g0m3oh.net
双子素数で成果をあげたあの数学者がリーマン予想にも挑戦していた
URLリンク(gigazine.net)

273:132人目の素数さん
22/11/08 19:30:16.46 Obden0Fw.net
日本にもパンチのきいた数学者いねーのか?

274:132人目の素数さん
22/11/08 19:49:47.28 thA/7m8q.net
2022て…

275:132人目の素数さん
22/11/08 21:21:43.02 jUgL9Yxn.net
>>267
いない
ブラジルから有名な天才数学者が殆ど出てこないのと日本は同じ
数学先進国でない国から突然天才が降って湧いてきたりはしない

276:132人目の素数さん
22/11/09 13:15:50.76 o69fbHeU.net
ブラジルって熱帯幾何学の発祥地じゃなかったか?
AITのチャイティンもリオだったような

277:132人目の素数さん
22/11/09 13:52:49.43 EVKDS5cj.net
>>260
キミのような輩が滅ばん限り永遠に不滅なんだわ www

278:132人目の素数さん
22/11/09 14:13:41.81 0OlH/AbL.net
伊原エッセイは興味深い。
伊原先生の定理がabc予想のIUT論文4部で引用されているが全体
を理解できないとか、数論幾何にIUT論文などの長文読解が必


279:{に ついて批判的であるとか。 退職後は数学(数理、シャボン玉音楽)を研究されているとある



280:132人目の素数さん
22/11/10 01:15:19.01 Q03mTmpj.net
京大当局に呼び出されたことがあるらしい, 不祥事疑いで(秘)
で嘘ついて逃げ切ったらしいwww

281:132人目の素数さん
22/11/10 02:28:01.22 LCZhOfSw.net
>>273
伊藤先生が?

282:132人目の素数さん
22/11/10 08:50:42.08 0Tv4/FtQ.net
国際的な仲間から孤立して対話がないのはよろしくないと思うけど
個人的な体験に起因していそうだから残念だとは思う。
でもこれでIUTTが役立たずで葬り去られるとやっぱりちゃんと世間に出ていって
批判等うけながら交流していかないと学芸は進まないということになるなぁ。
ショルツェたちも呼ばれたとはいえちゃんと京都にきてくれたのだしね。

283:132人目の素数さん
22/11/10 08:51:43.99 rxGobEIe.net
>>267
秋山仁がボクサー上がりと聞いたが?
ただし、ボクサーの方はともかく数学者に入れて良いのかは知らん。
スレリンク(math板)

284:132人目の素数さん
22/11/10 09:11:01.18 r8MOFp9H.net
建築家の安藤忠雄と勘違いしてねーか?

285:132人目の素数さん
22/11/10 12:14:15.95 1DhnfbG2.net
ボクシングのタイトルマッチを見た後の
セミナーの発表は
不思議にいつもよりずっと出来が良かった

286:132人目の素数さん
22/11/10 13:38:03.26 Tf/Qo7rr.net
>>272
やたら長い論文多いもんな
構造的な哲学みたいな感じであんまり応用できないのもあるw

287:132人目の素数さん
22/11/10 23:01:52.90 ZYlid04y.net
ファルティングス氏も伊原先生も理解できない妙に長いIUT論文は
特殊ですね。
理解できないにも色々な場合がある

288:132人目の素数さん
22/11/10 23:01:52.97 8pSipC0m.net
2024年でabc予想証明10周年記念ってことになるんか?

289:132人目の素数さん
22/11/10 23:24:26.70 ZYlid04y.net
先ず2026年がRIMSのみabc予想が解決10周年記念。

・2016年6月 
 RIMSの現況調査表に、IUT論文の査読中ながら
IUTTの構築よりabc予想が解決と記載あり

290:132人目の素数さん
22/11/10 23:26:47.48 NtDoMuSQ.net
この際“解決10周年記念講演会”とかやったらいい

291:132人目の素数さん
22/11/10 23:29:32.77 CZluQWl+.net
2005年には何か記念講演会があった?

292:132人目の素数さん
22/11/11 12:23:18.47 2xc/BD+i.net
>>270
トロピカル幾何学の名前は、ブラジル人数学者に敬意を表して付けられたが、
概念自体は様々な数学者に独立に開発されて、
基礎づけもロシア人かつフランス人のマキシム・コンツェビッチなどによって行われた
チャイティンがグレゴリーチャイティンのことなら、アルゼンチン系アメリカ人

293:132人目の素数さん
22/11/11 17:45:59.99 O3KkN4ho.net
>>275
>国際的な仲間から孤立して対話がない
PRIMSの形式的「論理的な」擁護の「全く新しい理論IUTTに
よるIUT論文は完全だから受理しabc予想は証明された」も、
Nスペの玉川PRIMS特別編集委員長と特に加藤文元東工大教授のコメント
で実質的に「完全」が否定された。
Nスペは海外の数学者も見ているし、あとはscholze stix氏へ
罵倒の謝罪するべきだ、自業自得

294:132人目の素数さん
22/11/11 18:46:30.67 5Li6h9+l.net
そんなもん謝罪するわけがない
謝罪したり、過去の過ちをなおしたりしたら、信用されて、道が開けたりすることもあるかもしれないが
まあ、ずっと苦しむのみ

295:132人目の素数さん
22/11/11 19:06:42.47 nPx3kvqh.net
謝罪するのは実数論と独立なIUTTなんかで証明宣言したRIMS
同じ実数論外での証明でも
一般連続体仮説を超限帰納法で証明したのと
ABC予想をIUTTで証明したのとでは
状況が全然違う

296:132人目の素数さん
22/11/12 01:14:32.86 9HnyDg8i.net
謝罪できるほどには器が...(笑)

297:132人目の素数さん
22/11/12 07:56:26.80 r4QYDURa.net
>>289
所詮、ノミのごとき超小物でしたな 望月新一は

298:132人目の素数さん
22/11/12 09:04:36.82 zSON5trv.net
その超小物の長大な論文の掲載を決定したPRIMSは
輪をかけて超小物なのであろう

299:132人目の素数さん
22/11/12 09:48:00.85 r4QYDURa.net
RIMS もう完全解体でいいんじゃね?
京大があるんだからいいだろ

300:132人目の素数さん
22/11/12 10:55:54.74 r/tIeki1.net
RIMSは小物界の大物
真に大物になるにはヒューマニティーからの独立しかない
1=2が成立する数学天国で望月御大筆頭にお花畑数学をエンジョイしまくる
旧来の数学とはおさらばさ

301:132人目の素数さん
22/11/12 11:33:56.18 zjkANmF5.net
10年かけて誰もまともな解説一つしないなんて異常

302:132人目の素数さん
22/11/12 11:37:08.15 eSvPfyZg.net
Roberts先生の指摘はホントにわかりやすくていい指摘だった
iutに“とどめを指す”類いのものではないけど少なくとも現在の望月論文が全く不十分なものである事はこの指摘で十分に明らかになった
あとどうするかはもう京大の人が決めるしかないね
本来望月論文がダメならそもそもiutは現時点でなんの数学的成果を何にも得ていない事になる、そんなものを研究ジャンルと位置付けていいのか、予算つけていいのかから考えないといけなくなる
もちろんそれもこれもprimsが判定覆すか望月先生が論文撤回するかしないと始まらない話ではある
なのでおそらく世論の関心低い事を使ってこのままダンマリ決め込むつもりなんでしょ
他の数学者も横から口出ししても、面倒な事に巻き込まれるだけでしかも金銭的にも業績評価の上でも一文の得にもならない事などやらないから誰も告発などもしない
このまんまだろうな

303:132人目の素数さん
22/11/12 11:39:33.48 zjkANmF5.net
なんてこったい

304:132人目の素数さん
22/11/12 11:45:11.30 kXEoQ1Dr.net
日本数学会の滅亡を誰か食い止めてくれ

305:132人目の素数さん
22/11/12 13:14:17.02 rsYQVnzx.net
>>294
逆に小山、加藤はどうしようもないのがわかった
加藤は自分の専門をチャート的に解説するのは得意なのにIUTは通俗本しか書けないな

306:132人目の素数さん
22/11/12 13:38:17.91 oal+64Ya.net
>>298
自分が理解できないことを
人がわかるように説明することは
AIにしかできない

307:132人目の素数さん
22/11/12 16:01:29.82 x3DL0z0X.net
>>281
結論から言えば abc予想は望月IUTTコミュニティ内で全く新しい
理論IUTTの構築より「解決」したのでしょう。
望月新一HPでは2014年12月25日にIUT論文1部が修正され
RIMS preprintに掲載された。
望月新一氏個人のIUTTの検証活動を終了し今後は普及(客員教授.長期滞在カンファレンス)とある。
また2014年にIUT論文の概要論説が講究録別冊B51に掲載された。
望月新一氏の検証の問題点
・現代数学の思考回路を一旦解除しIUT論文を読む。
→ IUTTは全く新しい理論の表明でIUTTの構築≠現代数学としてabc
予想の証明ではない。
・IUT論文1-3部は遠アーベル幾何学の延長にある。
→ 理解者.星論説でもIUTT≠遠アーベル幾何学で遠アーベル幾何学がIUTTへ応用された。
・理解者星氏
→星IUTサーベイは数学でなく概論喩え。遠アーベル幾何学≠IUTT
でIUTTへ応用としながらも、望月新一氏と共に東工大IUT5人論文の1人。
その場しのぎでは
・理解者saidi氏
→RIMS客員教授として望月新一氏と2人セミナーを行いIUT論文を修正し、RIMS外部評価委員としてIUT論文の受理を主張するレポートを提出し
IUT論文のreviewを書き、再度RIMS客員教授になる。
マッチポンプでは
・山下剛氏
科研費のIUT研究は山下望月新一氏の2人のみだったがサーベイはscholze氏
から参考にならないとダメ出しされ講究録別冊でも未だに受理されず?
・4篇のIUT論文は2012年8月にPRIMSへ提出された。
望月新一氏はIUT論文の提出先を公表せず。
→IUT論文の査読者と査読過程が不明のため望月新一氏個人の
検証との関係が全く不明だ。
PRIMSは査読過程をお墓に持っていかずに公表する責任がある。

308:132人目の素数さん
22/11/12 17:57:09.48 GYW+XtNi.net
>>299
でもあちこちで一般人向けに話していたよね?
なんか🧩とか使ってさ

309:132人目の素数さん
22/11/12 17:59:58.47 r4QYDURa.net
望月論文の査読者はフェセンコとサイディでしょ
でも二人とも利害関係者だから公平な査読はできない
ショルツェのいう「エッシャーの階段」は単なる比喩ではなく
まさに望月新一のペテンの本質をズバリ言い当てている
Θ関数によるトーラスの埋め込みを理解していればわかる
梅村浩の「楕円関数論」とか読め

310:132人目の素数さん
22/11/12 18:28:02.45 ymn7uIq8.net
文春はこのスキャンダルを報じたら🥺

311:132人目の素数さん
22/11/12 19:31:21.09 9YTesK9i.net
たいていの数学者は
「文春の記者風情が」という態度で
相手にしないと思われる

312:132人目の素数さん
22/11/12 21:14:31.06 g6wGDnoH.net
>>303
そんなことせずに、このままずっとこの状態を続ける方がいいwww

313:132人目の素数さん
22/11/12 21:32:15.86 mdRVLb4d.net
税金絡んでるし
霊長類研究所なんて相当前からバレてたぞ
日本会議がらみで

314:132人目の素数さん
22/11/12 21:33:04.47 mdRVLb4d.net
五輪でもやらかした特定メディア企業が絡んでるから
指摘しにくいのかもな

315:132人目の素数さん
22/11/12 23:06:46.14 uPYs1uvf.net
>>304
kにツボからみの元文部官僚もいるし組織委ツボIUTの3位一体
日本の数学者はこの方面ならたいしたもんだ

316:132人目の素数さん
22/11/13 08:59:19.91 I5MrSJ5j.net
日本会議は別に問題のある組織じゃないしなぁ

317:132人目の素数さん
22/11/13 09:44:14.96 9cqpr5BG.net
数学の査読不正って結構あるみたいだね

318:132人目の素数さん
22/11/13 09:51:38.70 lAIKqDxE.net
日本の数学者でも呆れてる人いるんじゃない?

319:132人目の素数さん
22/11/13 10:32:23.49 oiLDES76.net
>>310
去年かおととし話題になった数学の大規模な査読不正の手口は
・無内容な論文を書く
・仲間が査読者になるまで手あたり次第投稿する
・仲間の論文の査読者になったらアクセプトする
割と評価が高い雑誌も巻き込まれた

320:132人目の素数さん
22/11/13 11:50:48.92 9cqpr5BG.net
査読不正暴露してたのを最近みた

321:132人目の素数さん
22/11/13 15:25:03.52 hwI9oSLh.net
>>309
中身統一チョンだぞ
旧満州残党の朝鮮族が見えてないのか
朝鮮人偽装右翼

322:132人目の素数さん
22/11/13 15:37:09.19 nJ9P+qTu.net
アクセプトした事自体は不正とは言えないかもな
Roberts先生の指摘はもっともで基礎論の“キ”くらいまで齧った人間ならNスペ見た瞬間「え?そうなん?ダメダメやん?」とわかったハズ
しかしながら現実には「なぜ定義にwell-definedなる要求がされてるのか、それを破ると何がまずいのか」までわかってる人は案外少ない
何故なら普通はそこ“破ってみよう”と思わないから、破るつもりならもちろん「破ると何がまずいのか」なんて知っとく必要もない
なので案外コレ知らない数学者多い、なので望月先生、査読者全員知らなくてもあり得ない話ではない、もちろん数論系の人が査読しただろうしその中に基礎論齧った人が皆無ということもあり得なくはない
しかしだんだんちゃんと基礎論齧った人から疑義が上がってきたらちゃんと確認してみないとダメ、そんな難しい話じゃないんだからすぐ確認できたハズ、そして現時点ではもう論文誌がダメなのはわかってるやろ、この段階でなんも対処してないのはダメダメやな
もちろん第一義には望月先生ご自身がちゃんと対処すべき話なのだけど

323:132人目の素数さん
22/11/13 15:51:47.63 1ag7yB97.net
この真理に目覚めた御仁は幾多の専門家よりもたいそう賢いみたいで結構なことであるな

324:132人目の素数さん
22/11/13 15:58:26.53 RrLhcCFe.net
>>315
本当に何もわかってないな
昔からよく言われているが、数学者は実践的にはプラトニストのように振る舞っている
アイデアが現実的で正しそうかどうかが重要なのであって、基礎論は二の次でしかない

325:132人目の素数さん
22/11/13 16:47:31.38 CDUTP3lD.net
アイデアが現実的で正しそうであっても、コンピュータによって証明できないものは認められない

326:132人目の素数さん
22/11/13 16:49:44.13 rCyR9xbp.net
基礎論で突っ込まれてるから、根本的に間違ってるって話だろ?

327:132人目の素数さん
22/11/13 17:01:46.01 RrLhcCFe.net
そういう話じゃない
もしアイデアが良さそうだったら文元の言うように新しい基礎付けはないかという話に
なる
数学ではどちらかといえば基礎づけは後から付いてくる。ブルバキスタイルも同様
あくまでも数論幾何学的な戦略として批判されているというのがポイント
SSも保存拡大の話なんかしてないだろ

328:132人目の素数さん
22/11/13 17:15:40.39 GUsN8ILX.net
後から"着いてきた"は正しいが、もうその時代は終わった
「未解決問題解けました、コンピュータでは証明が確認できないような新しい基礎が必要です」などと言っても、数学者のコンセンサスとして認められることは無い

329:132人目の素数さん
22/11/13 17:24:14.80 mQnPFsCE.net
>>317
でアイデアがemptyっていう話ですよね

330:132人目の素数さん
22/11/13 17:29:59.46 mQnPFsCE.net
>>313
これのことでしょ?
URLリンク(twitter.com)
(deleted an unsolicited ad)

331:132人目の素数さん
22/11/13 17:49:10.99 ZMpyg+kQ.net
>>317
アホがきた

332:132人目の素数さん
22/11/13 17:58:04.86 xABuqW8L.net
>>315
well-definedなんて数学の基礎(basis)の話であって
基礎論(foundation)の話じゃないんだが
素人がまた基礎論のキの字も知らずにウソ800言ってんなw

333:132人目の素数さん
22/11/13 18:09:04.55 xABuqW8L.net
数学基礎論(注:数理論理学に非ず!)なんてもんが出来ちゃったのは
集合論の公理の設定をドジ


334:って「内包公理」なんて💩公理を設定しちゃったから ま、これは速攻で修正できたが、なんかすっかり疑心暗鬼になっちゃって 「馬鹿でもわかる論理的基礎を構築すべし」(ラッセル)とか 「阿呆でも認めざるを得ない無矛盾性証明を示すべし」(ヒルベルト)とか マジで発狂しちゃった結果、数学基礎論爆誕w ま、ラッセルも無理矢理な公理しか設定できなかったし(論理主義の失敗) ヒルベルト・プログラムもゲーデルの不完全性定理で 「算術が算術自身の無矛盾性証明できちゃうと  そこから対角線論法で矛盾が証明できちゃうからダメっすね」 と示されちゃったんで破綻(形式主義(=無矛盾主義)の失敗) ゲンツェンの無矛盾性証明は算術以外の公理(超限帰納法)使ってるし 基本的にはある理論の無矛盾性証明には、その理論以外の公理が必要なので 基礎付けにはならないんだな(数学基礎論の失敗) ということで、今のロジシャンは数理論理学といいたがり よほど基礎付けに宗教的こだわりがある人以外 数学基礎論とはいいたがらない



335:132人目の素数さん
22/11/13 18:12:39.37 oGXO9ruk.net
にわか乙

336:132人目の素数さん
22/11/13 18:13:36.15 RrLhcCFe.net
>>321
それも後付けの話
望月サイドがcoqやlean、或いは計算論と整合する形式化を出せなかったから
言えるわけで
全く新しい理論が正しそうで、かつ新しい基礎付けでどうにかなりそうで、
かつそれから形式化できると目処が立つといった流れもありえなくはない
IUTは違ったというだけの話

337:132人目の素数さん
22/11/13 18:14:00.35 xABuqW8L.net
望月新一の件は、「エッシャーの階段」のような怪しいトリックを
証明に用いようとした時点で既にヤバかった
IUTTとかいう屁理屈でなんとか合理化しようとしたが失敗した
フェセンコは多分騙されたんだろう
サイディと玉川は多分抵抗できなかったんだろう
カトブンはダメってわかってて尻🐎に乗ったっぽい 悪党だなw
柏原と森重文はRIMS解体を恐れて穏便に処理
中島啓は聞かなかったことにした
もうひとりの望月氏は多分ホントに聞いてないっぽい

338:132人目の素数さん
22/11/13 18:15:59.31 xABuqW8L.net
>>328
ま、シュワルツ”分布”とか佐藤”超関数”みたいなことはあるけど
望月新一の件は只の失敗

339:132人目の素数さん
22/11/13 18:17:46.48 xABuqW8L.net
>>327
にかわではないw
数学基礎論は
対角線論法(ラッセル・パラドックス)に始まり
対角線論法(ゲーデルの不完全性定理)に終わる
これ豆な 試験に出るよw

340:132人目の素数さん
22/11/13 18:21:00.09 RrLhcCFe.net
>>330
ファインマン積分が一番凄い
いまだに厳密な数理が全くわかっていないのに計算に使われるという

341:132人目の素数さん
22/11/13 18:29:06.47 cF97Uzxl.net
>いまだに厳密な数理が全くわかっていない
はあ- 以下略

342:132人目の素数さん
22/11/13 18:35:47.86 oGXO9ruk.net
文章みたら書いてる人間のレベルなんぞ透けて見えるわ

343:132人目の素数さん
22/11/13 18:37:29.31 pdJH/b5u.net
学部1回生が般教で習ったことを書き込みに来たのかな

344:132人目の素数さん
22/11/13 18:38:36.99 xABuqW8L.net
>>332
物理学は現実があるからそれでもええんよ
数学として使うなら理屈がいるけどね

345:132人目の素数さん
22/11/13 18:39:40.64 oGXO9ruk.net
なんや数学の"basis"ってw
“数学の基底”ですか〜wwwww
アホ〜wwwwwwwww

346:132人目の素数さん
22/11/13 18:40:35.71 cF97Uzxl.net
>>336
URLリンク(www.kurims.kyoto-u.ac.jp)

347:132人目の素数さん
22/11/13 18:52:40.48 RrLhcCFe.net
>>336
実解析、確率論に加えコンツェビッチとかもモジュライ空間からのアプローチをやったり
してるが、
満足のいく基礎は本当にまだない

348:132人目の素数さん
22/11/13 18:53:37.27 RrLhcCFe.net
あのさあ5ch、こんつぇび っち の びっ ちで反応してNGとか馬鹿なの?

349:132人目の素数さん
22/11/13 19:17:28.17 Co1SFnp/.net
IUTTを理解する者はIUTT信仰者であり京都魔界村社会忖度文化に与する者である。
このスレから分岐した応援スレの1の集合A、然り。但し奴は、もしIUTTが粉砕される日が来たら
一目散に逃げた果てにキャラ変して寝返る『クソくらえ』野郎。単なるコピペ解説優越感依存型誇大自己人間。
>>326
ほぅ言やぁ集合論は外延やら内包やらが揉める原因の1つじゃったんじゃっけ?

350:132人目の素数さん
22/11/13 19:22:33.97 D3HNrCB1.net
KO室計算のぉたたさまが、なんて?(難聴)
<、くく、<、971🦋✿*:・゚の幹部が↓
「トンデモねぇヒ゛ッチだなぁ?これぇ!」
てつぶやいてるって、ほんと?めぅ(板違ィ)
|🍶︎🍶´-
|(๑>д๑)๑๑
|(٩⚪و)
|«<ω>»

351:132人目の素数さん
22/11/13 19:27:09.43 D3HNrCB1.net
びっちッツァマゎこれから急に
「コンツェ⚫ッチ」
って書き込むとみんなが
(…この人、頭おかすぃ…(小声))
ってなるのが恥ずかしぃねんな~
前ふりしてるのとちゃうゃろか?
びっちかヒ゛ッチかどっちかな?
ビッチゎだめかな~?(池沼大声)

352:132人目の素数さん
22/11/13 19:28:13.75 U91dQKEd.net
>>328
>全く新しい理論が正しそうで、かつ新しい基礎付けでどうにかなりそうで、
かつそれから形式化できると目処が立つ
そこまで行って初めてアクセプトに値する
逆に言えばそこまで示せてない新奇的な理論は完成してないということ

353:132人目の素数さん
22/11/13 19:29:04.78 Co1SFnp/.net
>>325
儂でさえ基礎数学と数学基礎を履き違えた人間が居るなぁと思わされとったら
英語じゃとスペルからして丸っきり違うたんか。
こりゃ講談社ブルーバックスが講じてる未満のレベルの信者とアンチがスレを泳いどるな。
>>337
実に目欲しい突っ込みポイントながら貶さず弄り御互い及び見る阿呆の三方で楽しむ漫才テク、御馳走さん
ボケる阿呆に突っ込む阿呆に見る阿呆、楽しまにゃ損々

354:132人目の素数さん
22/11/13 19:32:57.39 D3HNrCB1.net
名誉毀損★侮辱罪スルルェに書き込んじゃっ…た…あ…ぁぁ…
(酔っ払ぃ)
楊貴妃飲みのℳ𝑖𝒪ゎうんめぇなぁ~…
🍶🍶´-
( ๑д๑)ォッス!ォラ酔ッ払ィ!
<(⚪)>
 !ω!

355:132人目の素数さん
22/11/13 19:37:54.74 D3HNrCB1.net
🍶🍶´-
(( ๑д๑)) アルルェ?今日ゎアノ下品な
⚪⚪٩ ªªのァィッ来てなぃね~
«<ω>»  ォカシ~ネェ~?

356:132人目の素数さん
22/11/13 19:40:50.71 D3HNrCB1.net
|🍶🍶
|(  ))ォ邪魔シマスタ~…
| ( ))…カェロカェロッピピピピピ…
| <ω>»

357:132人目の素数さん
22/11/13 20:38:18.15 D3HNrCB1.net
スルルェ凍ッテルッピ!
…打たれ弱ぃぉぢさんたちだねぇ?(挑発)
そんなんぢゃ、甘ぃょッ!(煽り)

358:132人目の素数さん
22/11/13 20:


359:43:36.24 ID:D3HNrCB1.net



360:132人目の素数さん
22/11/14 00:10:41.77 kB14vz7Z.net
ロシア国営放送が西側諸国の首都への核攻撃を示唆
ロシアは今、ロンドン、ベルリン、パリを核攻撃することを公然と議論している
大陸間弾道ミサイル「RS-28サルマット」の射程と速度に関するロシア
「Rossiya1」の番組スクリーンショット
西側諸国の指導者たちがロシアに対するレトリックを継続的に煽ることへの
反応として、ロシア国営放送は今回、西側諸国の首都に対するロシアの
核攻撃の可能性を紛れもなくシミュレーションビデオに持ち出しました。
ロシヤ1によると、ロシアの飛び地カリーニングラードから発射される最近
登場した最新型の弾道ミサイル「サルマット」は、106秒でベルリン、
202秒でロンドン、200秒でパリに到達することができるそうだ。
この最新鋭の大陸間戦略兵器を発表した際、クレムリンのトップが公然と
取り上げたのは、西側が現在、これに対する防衛手段を持たないという
公然の秘密である。
モスクワは最近、既存のあらゆる防空網を迂回できるとされる最新鋭の
大陸間弾道ミサイル「RS-28サルマット」の発射実験に成功した。米国と
そのNATO同盟国は現在、極超音速兵器を保有していない。

361:132人目の素数さん
22/11/14 00:11:22.41 kB14vz7Z.net
ロシア国営テレビ「核1発でイギリスを地図から消してやる」
“核魚雷”で500mの巨大津波シミュレーション
ウラジーミル・プーチン大統領に最も近いニュースキャスターが、核攻撃によって
イギリスを殲滅(せんめつ)してやると脅す内容の番組をロシア国営テレビで
放送した。ウクライナを支援するイギリスへの脅迫だ。
キセリョフは、ロシアが開発中だとするもう1つの「特別な」武器を紹介。
核弾頭搭載型の水中ドローン「ポセイドン」がイギリスへ向けて放たれる
シミュレーション映像を見せた。
「この核融合魚雷がイギリス沿岸で爆発すれば、最高500メートルの巨大な津波が
起こるだろう」と、キセリョフはまたも根拠を示さずに説明した。
「その波は相当量の放射線も運びながらイギリス諸島をのみ込み、残りは
放射能の砂漠と化すであろう」

362:132人目の素数さん
22/11/14 00:56:43.79 7rbAGZz5.net
もうIUTTが認められることもないし、罵倒したり周りを振り回して、因果として寂しい余生を送られると思うとある意味、平等にできてるな〜と

363:132人目の素数さん
22/11/14 01:02:01.14 9a7WJfrK.net
>>266
Note that this is a very different story than the Mochizuki/abc conjecture
story: Zhang’s argument use conventional methods and is written out
carefully in a manner that should allow experts to readily follow it and check it
by woit氏 

364:132人目の素数さん
22/11/14 01:38:20.16 Hrmj2EIK.net
>>354
これは望月/abc予想の話とは全く異なる話であることに注意してください 。
Zhangの議論は、従来の方法を用いており、専門家が容易に追跡・確認できるような形で丁寧に書かれている。

365:132人目の素数さん
22/11/14 01:46:46.52 mTWYa+QI.net
>>323
単に間違っているからリジェクトされたってだけの話が
何でここまでこじれるんだ

366:132人目の素数さん
22/11/14 09:43:56.58 NkOZ91L9.net
>>312
身内が査読者になるのをチェックできないなんて
「評価の高い雑誌」ってのと矛盾するよなぁ。
ま、これが実態か

367:132人目の素数さん
22/11/14 09:57:21.96 ZO79Mhhs.net
>>309
どさくさにまぎれてなにゆってんの?🏺 www

368:132人目の素数さん
22/11/14 10:22:16.14 xB1UjmQX.net
日本の数学者も教祖望月を批判しよ

369:132人目の素数さん
22/11/14 12:12:30.00 9USf6/1H.net
国民栄誉賞が授与されればなあ
少なくとも国内だけは騙せるんだけど

370:132人目の素数さん
22/11/14 13:08:32.70 uMFl8Vcu.net
東工大とkドワンゴ関連のIUT祭りにはIUT提唱者から祝辞をいただいたし、N kドワンゴなら組織委工作でたいほとかツボと天下り斡旋で解任歴とか大学辞め儲かってなんぼ数理資本主義のIUT動画
本の顧問とか大物3本柱がいるし、
日本アカデミック数学界の法則-騙される数学者は何回もだまれるが発動されるか

371:132人目の素数さん
22/11/14 13:47:12.07 CANSVw6H.net
NHKの放送で惑わされてる日本人も多いよね

372:132人目の素数さん
22/11/14 14:00:51.92 2a5oY7bf.net
Nスペなんて一般人向けの番組の内容を気にするほうがおかしい
正確性の話で言うならば一般向け説明は無理だとインタビューを断った望月が正しい

373:132人目の素数さん
22/11/14 14:13:54.16 9a7WJfrK.net
>一般向け説明は無理だとインタビューを断った望月
望月新一氏が石倉朝日記者のインタビューを受けた事実と矛盾しますよ。

374:132人目の素数さん
22/11/14 14:34:13.43 ZCwWdGz5.net
メディアの文化部の取材力なんてこんなもんなんだな
Roberts先生の指摘なんてそんなに難しい話ではない
もちろんちゃんと理解するには基礎論の教科書と最低1,2週間くらい格闘しないといけないけど、少なくとも話の大筋理解するだけならすぐわかるハズ、実際このスレの住人にはもうだいぶ伝わってるし
メディアなんぞこんなもん

375:132人目の素数さん
22/11/14 15:46:27.23 hcigipis.net
サイアス残党兵が積極的に「危ない数学」を切り拓いていく業界ゴロ巣スタイル。

376:132人目の素数さん
22/11/14 17:29:30.07 Y+WoPPpb.net
10年たってもIUTの基本概念すらさっぱり分からん……
誰でもいいから教えてくれよ

377:132人目の素数さん
22/11/14 17:35:39.84 AsPqAUeg.net
テンソルパケット(笑)
ガロア共役同期(笑)

378:132人目の素数さん
22/11/14 17:57:07.51 O8lomns5.net
修行が足らない
今出川通と御影通りの間を反復横飛びしてこい

379:132人目の素数さん
22/11/14 19:43:20.79 9VH/E06k.net
理解できないアンチは清水寺のシアターから飛び降りてみると深い悟りの境地に到れるかも知れませんね

380:132人目の素数さん
22/11/14 19:45:05.98 9VH/E06k.net
もちろん全ての邪念を捨て煩悩を消してからシアターに挑む事をお勧め致します

381:132人目の素数さん
22/11/14 19:47:15.79 9VH/E06k.net
では,Good Will Ending !

382:132人目の素数さん
22/11/14 20:37:20.66 fs3Wf2pQ.net
誰かIUT教団の闇に迫ってほしい

383:132人目の素数さん
22/11/14 22:37:55.5


384:4 ID:yZ/cIdQr.net



385:132人目の素数さん
22/11/15 01:36:33.16 kaSIcAYL.net
主要新聞紙の文化部について
2012年8月30日
4篇のIUT論文がPRIMSへ投稿されネット上に論文が掲載された。
・読売新聞。
数学の難問「ABC予想」京大教授が解明か (2012年9月)
2014年3月20日
・GCOEプログラム委員会より20年度採択拠点の京大G08の
事後評価結果が採択されIUTT関連は全く評価されず。評価方法は
専門の審査・評価部会が取りまとめプログラム委員会が審議決定した。
・委員会名簿
野依良治理化学研究所所長.委員長/日本学術振興会理事長.委員/
独立行政法人大学評価学位授与機構長.委員/京都大学総長.委員/
読売新聞東京本社編集局編集委員.委員/ など
URLリンク(www.jsps.go.jp)

386:132人目の素数さん
22/11/15 01:41:23.53 kaSIcAYL.net
>>375
続き
・2014年12月25日 
望月新一氏HP。IUT論文1部を修正し掲載、望月氏個人の検証活動を終了
とし以後は普及へ
・2015年5月13日
文科省中教審大学院部会.日本学術振興会.GCOEプログラム委員会
事務局.資料 事後評価結果.研究成果例
京大G08「IUTT 数論のブレイクスルー」
・2012年IUTTを用いることよりabc予想が解決することが発表された。
国内の主な全国紙をはじめ海外のNTでも報道され非専門家にも
大きな話題を提供した。
IUTTはRIMSの望月新一教授の独創により解説や応用には多くの
若手研究者が関与している。
・掲載論文等.IUT論文1部 2014年12月
注目すべき点
・内外の主な新聞紙がIUTTによるabc予想の解決を報道しても数学内容の
評価に無関係。
・GCOEプログラム委員会事務局により京大G08の事後評価結果が改変
された。
・GCOEプログラム委員会の委員に読売新聞編集委員がいる。
・2014年12月は望月新一氏HPのIUT論文1部の掲載日と一致する。
などなど、

387:132人目の素数さん
22/11/15 05:36:24.53 0l/16VXN.net
日本の望月新一と京大数理解析研がやってることって
ロシアのプーチンとその一味がやってることとか
中国の習近平と共産党がやってることとか
北朝鮮の金正恩と朝鮮労働党がやってることと
全然変わらんのだけどね
デマを吹聴してるだけw

388:132人目の素数さん
22/11/15 05:41:14.88 0l/16VXN.net
民主主義国家がいかほど民主的かは疑問の余地があるが
日本は西ヨーロッパはもとよりアメリカほどにも民主的でない
G7に日本が参加してるのは、
G7に仮にロシアや中国が参加するのと
同じくらいおかしい
つまり、日本の民主主義の程度は
ロシア・中国・北朝鮮・韓国・台湾並で
全然民主的でもなんでもない

389:132人目の素数さん
22/11/15 07:15:17.26 HpJxs9EC.net
>>376
望月拓郎ブレイクスルー賞の記念講演会
「現代数学-その魅力とブレイクスルー」
2022年11月26日13時30分-16時場所RIMS
出席者はIUTT 数論におけるブレイクスルー」もIUT論文が
PRIMSで受理されるまでの経緯と査読過程も含めた事実関係を
具体的に明確に述べ総括する責任がある。
出席者
黒沼文科省文部科学省研究振興局大学研究基盤整備課長/
清水日本数学会理事長/湊京都大学総長/小野RIMS所長/
大木RIMS副所長/
森重文RIMS特任教授/ 柏原正樹PRIMS特別編集委員会委員長/
望月拓郎 PRIMS特別編集委員会委員/並河PRIMS特別編集委員会
委員

390:132人目の素数さん
22/11/15 09:42:06.81 0jWfZjq9.net
>>364 この場合は大衆相手の失敗を繰り返さないようにしただけだから 理にかなってますよ



392:132人目の素数さん
22/11/15 09:54:27.70 XGMPDNtT.net
もう流石に本人もダメだと気付いただけでしょ

393:132人目の素数さん
22/11/15 11:56:10.29 DOnx40jw.net
>>381
そだね。
NHKへの回答では「数学者でも理解できない人が多いのに、
大衆がわかるように説明するのは困難」ってゆうような内容だった。
人類の智の発展を静かに気長に待つのでしょう。

394:132人目の素数さん
22/11/15 12:13:53.68 Jz8dQ/D1.net
望月様を信仰せよ

395:132人目の素数さん
22/11/15 12:22:47.23 7QmM/4Lj.net
>>382
お前は日本語が怪しいな
IURに関して言えばショルツェに理解してもらえなかった時点で間違ってたんじゃないの
同じ数論幾何のエキスパートで理解できないなら望み薄では

396:132人目の素数さん
22/11/15 12:42:27.51 vg3AJlZ7.net
Rimsからも見放されているのでは?
フェルマーの別証明、rimsからふつうは出すでしょ?

397:132人目の素数さん
22/11/15 13:27:39.46 5BGMRyr8.net
もうこの際年月をかけたRIMS独特の壮大なドッキリだったってことにしようぜ
望月がバズーカ持ってショルツェの寝起き襲うんよ
ショルツェが何人だか分からんが
prankとでも書いたプレート持参ヘルメット装着でカメラマンと行けば許されるだろ
これしか逃げ道はないって……

398:132人目の素数さん
22/11/15 18:02:51.12 fhsDF2rH.net
>>323
なぁにこれぇ

399:132人目の素数さん
22/11/15 19:09:35.18 Ffyp+Gqo.net
英首相候補のトラス氏、地球滅亡の危険があっても核兵器による報復を命じる
英新首相の座をスナック財務相と争っているトラス外相は24日、Times Radioの
イベントで「地球滅亡を引き起こす可能性があっても核兵器による報復を命じる
覚悟がある」と示唆、会場の民衆は大きな拍手でこれを支持した。
核兵器による報復を命令すれば地球規模の滅亡を意味する。私は核兵器の
ボタンを押すかどうかは尋ねないが、あなたはイエスと答えるだろう。この仕事に
直面した場合きっと自分なら気分が悪くなるだろう」と述べて「あなたならどう
感じるか?」と質問。
これにトラス外相は「首相としての重要な義務であり、私はそれを行う準備が
出来ている」と答えたため、会場の民衆は大きな拍手でこれを支持した。
英国は225発の核弾頭と潜水艦発射弾道ミサイルを搭載するヴァンガード級
原潜を4隻を保有しており、敵の核攻撃で政府が破壊され首相や内閣のメンバー
が死亡した場合に備え「ヴァンガード級原潜の艦長がとるべき行動」を指示する
最終手段の手紙が存在する。

400:132人目の素数さん
22/11/15 19:10:35.27 Ffyp+Gqo.net
金正恩氏、核抑止力使う「準備できている」
北朝鮮の金正恩(キム・ジョンウン)朝鮮労働党総書記は27日、核戦争の抑止力を
動員する準備ができていると主張した。同国の核兵器が使える状態だと示唆したとみられる。
国営の朝鮮中央通信(KCNA)によると、金氏はこの日、朝鮮戦争「戦勝記念日」の行事
で演説。北朝鮮はアメリカとの「いかなる軍事的衝突にも完全に準備ができている」と述べた。
北朝鮮の核兵器をめぐっては、7回目の核実験が準備されているとの懸念が生じている。
アメリカは先月、北朝鮮がいつ核実験をしても不思議ではないと警告した。北朝鮮が最後に
核実験をしたのは2017年。
金氏はさらに、韓国が北朝鮮に先制攻撃を仕掛ける「キル・チェーン」戦略を復活させよう
としているとの報道についても言及したもよう。
韓国が先制攻撃をすれば、尹錫烈(ユン・ソンニョル)大統領の政府と軍隊は「全滅する」
ことになると、金氏は述べた。
「キル・チェーン」と呼ばれる戦略は、10年前に初めて策定された。北朝鮮の核の脅威に
対抗するため、韓国は攻撃が差し迫った場合、北朝鮮のミサイル施設や、場合によっては
指導層に対し、先制攻撃が必要だとしている。

401:132人目の素数さん
22/11/15 19:38:09.52 vcddoeN0.net
>>387
ストリートファイトっすな

402:132人目の素数さん
22/11/16 00:29:46.24 ENSEbydy.net
おもろすぎw

403:132人目の素数さん
22/11/16 02:30:13.09 VksG2aws.net
今年中に緊急記者会見を開き
望月が志村けんのしてたズラ被って登場して一言
「とんでもねえ、あたしゃ神様だよ」
って言えば許される

404:132人目の素数さん
22/11/16 07:29:56.98 uu39xn5A.net
チャンさんのリーマン予想への寄与はどうなるのだろうね。。

405:132人目の素数さん
22/11/16 09:21:04.98 nc6hEeEk.net
フィールズ賞タオTao氏によれば、ジャンZhang氏の論文は引用や式が
未整理だから煽ることなく待ってほしいとのこと。
整理されたあと検証だろう
またジャン氏の場合は弱いとの指摘がある。

406:132人目の素数さん
22/11/16 09:38:46.44 YUaJw5uD.net
>>387
数論幾何だし、業界なんてせまいし、レフリーがMとかだったらと妄想すると(笑)

407:132人目の素数さん
22/11/16 16:51:26.94 b5kar3go.net
2014.12.25.
望月氏の指導をうけたIUTT理解者と称するsaidi.山下剛.星氏が
「検証」し望月氏個人の検証活動は終了した。
・2015.513.
GCOEプログラム委員会の野依理研理事長や京大総長や大学評価学位
授与機構長や読売新聞東京本社編集局編集委員他にご加護をうけて突然
事後評価結果.京大G08の研究成果例として「IUTT数論におけるブレイク
スルー。2012年IUTTを用いてabc予想が解決することが発表された。
日本の主な全国紙だけでなく海外のNTなどでも報道され非専門家にも
大きな話題を提供した。IUTTは望月新一教授の独創により
応用解説は若手研究者が関与している」掲載論文 IUT論文1部と改変した。
読売新聞は主な全国紙のひとつです、、
・この時点で後にRIMSのIUT予算と人事、IUT論文のPRIMS受理が
政治的に約束されたようなものだろうしこの事例が許されるなら、
今後も日本数学界で数学の評価を巡りトラブルが起きる可能性が極めて
大きいと予測される。
IUTTは全く新しい理論の「数学」(A=BながらA≠B 他)ですし


次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

489日前に更新/300 KB
担当:undef