X



トップページ数学
251コメント108KB
ABC予想を証明した望月新一教授を語ろう
■ このスレッドは過去ログ倉庫に格納されています
0021132人目の素数さん2018/02/16(金) 22:44:00.35ID:8oV2n+KE
アメリカの文化が嫌いってのは本当なのか?
0023132人目の素数さん2018/03/15(木) 04:03:16.87ID:HCGObM3W
Max{|a|,|b|,|c|}= |c| とすると、 |a| + |b| = |c|,

|a| = A ∈ N,
|b| = B ∈ N,
Ω = {(A,B)|A∈N,B∈N,gcd(A,B)= 1}
とおきます。

gcd{A,A+B} = gcd{A,B} = 1.
gcd{B,A+B} = gcd{B,A} = 1.

d(n)はnの相異なる素因数の積とします。

A+B > d(AB(A+B))^(1+ε),

となる(A,B)∈Ω は有限個しかないから、上に有界。

そこで、K(ε)= Sup{ (A+B)/d(AB(A+B)) ^(1+ε)|(A,B)∈Ω}とおけば

(A,B)∈Ω ⇒ A+B ≦ K(ε) d(AB(A+B))^(1+ε)
0025132人目の素数さん2018/03/26(月) 11:57:15.65ID:0rnSSgUz
http://i.imgur.com/DY2vts8.jpg
http://i.imgur.com/2Cf95pK.jpg
http://i.imgur.com/OpKawbt.jpg
http://i.imgur.com/CtR2ciC.jpg
http://i.imgur.com/2oGg45l.jpg
http://i.imgur.com/vREA01x.jpg
http://i.imgur.com/Mp9C7V8.jpg
http://i.imgur.com/DooAW2I.jpg
http://i.imgur.com/nkTafAT.jpg
http://i.imgur.com/F7Qriw0.jpg
http://i.imgur.com/AcP9s7G.jpg
http://i.imgur.com/flsf9EP.jpg
http://i.imgur.com/ai0NJ2F.jpg
http://i.imgur.com/B3KcYjB.jpg
0036132人目の素数さん2018/04/07(土) 19:14:15.25ID:NNMRscPu
耳栓をしたら世界が変わってワロタ
0038132人目の素数さん2018/04/30(月) 21:15:16.20ID:8AN3/+hC
耳栓をしたら世界が変わってワロタ
0049132人目の素数さん2018/05/01(火) 19:16:57.30ID:21rJWgQ2
耳栓をしたら世界が変わってワロタ
0050132人目の素数さん2018/07/02(月) 23:44:13.11ID:1in8V667
第一印象が、益岡徹(61)。
0051132人目の素数さん2018/10/05(金) 21:41:05.62ID:plPqnDCJ
    / ̄`Y  ̄ヽ、
   / / / / l | | lヽヽ
  / / // ノ   ヽ、ヽ
  | | |/o゚( ゜ ) ( 。)゚o
  (S|| |   ⌒ ・ィ  ヽ
  | || |   ト-=-ァ ノ / ̄`Y  ̄ヽ、
  | || |   |-r 、/ /| / / / / l | | lヽヽ
  | || | \_ u`ニ'_/| |/ / // ノ   ヽ、ヽ
     /    く    | | |/o゚( ゜ ) ( 。)゚o
     | ,、   \   (S|| |   ⌒ ・ィ  ヽ
     |    \、..二⊃.|| |   ト-=-ァ ノ
     ! 、,   ,,)⌒ ー-⌒ヽ.  |-r 、/ /|
     ( (、  (  \  \ \ u`ニ'_/| |
     ,ゝ )ゝ ノ >ーノ‐u-J\ \_
     し′し´ し ´      `--=⊇
0053132人目の素数さん2019/08/15(木) 03:51:44.16ID:YC4tDKTB
フェルマーの最終定理を証明したワイルズとどっちがすごい?
0055 【ゾヌ】 2020/01/03(金) 21:17:34.85ID:SLKJgLdP
最低辺スレですね
糞スレですか。
0056 【1等組違い】 2020/01/03(金) 21:18:10.48ID:SLKJgLdP
まともな人は居ないんですか?
0057 【末吉】 2020/01/03(金) 21:18:47.90ID:SLKJgLdP
なんか書き込んだら不幸になりそう。
0058 【狐】 2020/01/03(金) 21:19:14.59ID:SLKJgLdP
もう、絶対来ないわ。こんな糞スレ。
0059 【男の娘】 2020/01/03(金) 21:19:52.90ID:SLKJgLdP
大吉だけ獲って帰ろ。
0060 【1等場違い】 2020/01/03(金) 21:20:08.77ID:SLKJgLdP
0061 【ンゴ吉】 2020/01/03(金) 21:20:21.91ID:SLKJgLdP
🍓
0062 【小吉】 2020/01/03(金) 21:20:39.70ID:SLKJgLdP
🍍
0063 【末吉】 2020/01/03(金) 21:20:56.79ID:SLKJgLdP
🍌
0064 【大吉】 2020/01/03(金) 21:21:20.83ID:SLKJgLdP
🍎
0069 【底辺】 2020/04/04(土) 11:24:56.48ID:xmNOPA8p
a+b=c
3+5=8
ab=3・5=15
8<15
∴a+b<ab
当たり前だろうが。
0070132人目の素数さん2020/04/04(土) 23:31:18.56ID:ChanAdY+
ワロタ 数隻気に1度と毎日が記事にしたぐらい凄いのに

数学版でも盛り上がっていない 誰も理解できないのかしら
0071 【末吉】 2020/04/05(日) 00:14:38.13ID:kyAykWoL
>>69
a+b=c
9+5=14
ab=45>14=a+b
∴示された。
0072132人目の素数さん2020/04/05(日) 02:30:33.23ID:xwSm9Zos
俺らみたいな凡人には理解できない領域で生きてるんじゃないか?
0073イナ ◆/7jUdUKiSM 2020/04/05(日) 03:41:51.74ID:kyAykWoL
>>71
気の利いた中学生ならこの程度の式変形、春休み中に完解しよるわ。
0074132人目の素数さん2020/04/05(日) 12:09:50.56ID:TzRDNpXs
望月教授と滝浦真人の類似点

望月教授のABS予想の証明:自身が編集長を務める学術誌PRIMSに掲載予定(2012年に予稿をPRIMSのwebに掲載)
数理解析研究所の教授(柏原正樹、玉川安騎男)の発言:「証明したことに間違いがないと言ってかまわない。
『ABC予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」

ネイチャー:The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者:望月の証明には欠陥がある
ヨーロッパ数学協会会長:批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程で指導した教授: 考えを明確に伝えようとしていない
https://www.nature.com/articles/d41586-020-00998-2

滝浦真人の博士号に関する学位審査(公正な審査では不合格?)
学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査
主査は『語用論研究法ガイドブック』の共著者でもある(日本語用論学会会長:加藤重広 、日本語用論学会編集委員長:滝浦真人)
副査は、論文の内容が専門外

学位請求論文:日本語敬語および関連現象の社会語用論的研究
論文の内容:既刊の本を無理やりつなげただけ
審査結果:大賛辞による乙種の学位授与

論文の二重投稿の論理的構造
別の論文と内容、結論が同一(酷似,類似)である
先行論文と比較して、内容と結論に新規性がない
既存の(実験)データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい
適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい

学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
https://ja.wikipedia.org/wiki/二重投稿
0075132人目の素数さん2020/04/05(日) 13:36:39.47ID:kxDNFa97
麻薬取締法違反 札幌の薬剤師と法人を略式起訴

病院で管理する医療用麻薬の数量について道に虚偽の届け出をしたとして、
札幌区検は19日までに麻薬取締法違反の罪で、札幌ひばりが丘病院(札幌
市厚別区)に勤務していた30代の薬剤師の男と、同病院を運営する医療法人
潤和会(同区)を略式起訴した。札幌簡裁がそれぞれ20万円以下の罰金刑
を言い渡す見通し。略式命令請求によると、男は2015年11月、道に対し、
院内で使用した麻薬の使用量を偽って届け出るなどしたとされる。潤和会には
法人も罰する同法の両罰規定を適用した。
出典:北海道新聞 平成30年10月19日付
0077 【大吉】 2020/04/06(月) 00:09:42.65ID:zLnS+dn4
‖∩∩ ‖ □ ‖ ○゚。
((-_-)‖  ‖______
(っ⌒⌒゙  。‖╂─╂
■`(_)_)ц~ ‖╂─╂
\■υυ■_∩∩、\\\
\\\\⊂(_ _ )`⌒つ、
\\\\\\\`υ、\\\\\\\\\\\\\\\\\`>>76ハイジはかならず帰ってくるって。前>>73
0078132人目の素数さん2020/04/06(月) 01:10:32.73ID:ovoXh+6Y
望月新一 は、新しい数学の分野を作ったので、
アーベル賞候補になるのは間違いないでしょう。
⇒ フロベニオイド = 新しい数学概念
0079132人目の素数さん2020/04/06(月) 02:39:19.20ID:vlB0ldZ6
新聞の記事を読む限りABC予想の証明よりも、宇宙際タイヒミュラー理論のほうが凄いんでないの?
むしろABC予想の証明はオマケみたいな書きっぷりだったお
教えてエロい人
0080イナ ◆/7jUdUKiSM 2020/04/06(月) 11:41:37.22ID:zLnS+dn4
>>77
3.9641のほうがすごいと思った。だれも思いつかない配置だ。半径2の円内に単位正方形8つを納める問題を数日考えた。絶対斜めに置けると思った。

プロ野球カードだってウルトラマンの怪獣カードだってポテトチップスやガム本体よりおまけのカードが目あてだったじゃないか。当たり前だろうが。
0081132人目の素数さん2020/04/08(水) 00:03:54.06ID:ySNjQdgb
>>79 宇宙際タイヒミュラー理論は、ゲーデルの不完全性定理より凄い?
0083イナ ◆/7jUdUKiSM 2020/04/19(日) 22:05:52.20ID:p2wqx9AK
~∩∩
(-_- )`⌒つ
 ̄ ̄`υ ̄ ̄]
まぁでも証明ってけっこう大変だったんじゃない?
>>80ねぎらってあげようよ。よくやった。感動した。まだ感動はしてないか。
せやて積と和を比べたらどう見ても積のほうがおっきなるやん。
3×8=24
3+8=11当たり前だろうが!!
0084イナ ◆/7jUdUKiSM 2020/04/19(日) 22:31:36.95ID:p2wqx9AK
>>83
ごめんなさい。積の式が違ってましたわ。
8+3=11>k・8・3・11=264k
どういうことなん?
無限に非ずやないかな。
0085イナ ◆/7jUdUKiSM 2020/04/23(木) 15:45:07.01ID:YxsPXNvw
_____∩ っ゙___前>>84
\ (^o^))  /|、\\\
\\υ⌒υ、 /|\\\\
 ̄ ̄ ̄ ̄|υ/|、\\\\
________「 ̄|\○\\\
\\\\\\\\Ο\\
\\\`∩∩、\。ο、\\
\\⊂(_ _ )`⌒つ、\\
\\\\\`υ、\\\\\\\\\>>76チキショー、自分がおらんなったときのペーターの気持ちもなんもかもわかっとっておらんなっとんやないか! 完全犯罪やぞ!
0086132人目の素数さん2020/04/24(金) 06:43:12.98ID:FdH14EWV
>>70

http://mainichi.jp/articles/20200403/k00/00m/040/093000c
 2002/04/03 14:00 (最終更新 23:25)
 未解明だった数学の超難問「ABC予想」を証明
 京大の望月教授
 斬新・難解で査読に8年 
 
http://mainichi.jp/articles/20200403/k00/00m/040/295000c
 2002/04/03 22:38
 望月教授「ABC予想」証明
 斬新理論で数学会に「革命」
 京大 数理研「完全な論文」
0087132人目の素数さん2020/04/24(金) 07:13:46.78ID:FdH14EWV
◆数学の難問「ABC予想」を証明した京都大の望月新一教授(51)は、普通の高校生と違い、16歳で名門プリンストン大に飛び級で入学した。

◆2012年に論文を発表したが、「宇宙際タイヒミュラー理論」に基づく難解な内容のため、専門家でもすぐには理解できず、検証が難航した。
7年半の審査を経て、やっと論文が専門誌に掲載される。
見たこともない記号や数式が並ぶ600ページ以上の論文を見れば「未来から届いた論文」と呼ばれるのも納得だ。

2020/04/18 「よみうり寸評」より抜粋
0089132人目の素数さん2020/05/12(火) 05:15:27.11ID:3EFvEa18
>>88
アホみたいな書き込み多かったな
無理して大喜利ごっこなんてせんでいいのに
0090132人目の素数さん2020/06/14(日) 05:42:55.85ID:YEXvvqHa
炎上上等!炎上上等!炎上上等!炎上上等!炎上上等!炎上上等!

滝浦真人(放送大学教授)

安全保障関連法案に反対する学者の会(左翼団体)に賛同して署名 (2015年7月10日09時から7月13日09時までのご署名分)
>敬語論の増加は帝国日本のアジア侵略と時期を一にしていることがわかる。国語学が帝国ひいては天皇制の正統化に加担した。
(山田孝雄 共同体の国学の夢 (再発見 日本の哲学) 滝浦 真人 左翼思想を展開したものを博士の学位請求論文に利用)
日本語表現の教育者による暴言
>オープンな日本の大学の敬語の授業を聴講しました、って人から「質問がございます」ってメールが来たので、
学生さんなら「質問箱」から送ってください、そうでないならどうぞ科目登録してください(学生さんはお金払ってる)、ただ質問だけっていうのは対応していません悪しからず、
…と書きつつ、まあ1つだけ、って核心部分の説明を書いて送ったんだけど、なーんにも言ってこないのなー
「正しい日本語に関心がある」んだそうだけど、あなたの日本語の使い方、ただしくないと思うわー

滝浦真人(放送大学教員)のあやしい学位取得 (おともだちを利用した忖度)
学位請求論文の題:「日本語敬語および関連現象の社会語用論的研究」
主査:滝浦と親しい間柄の教員(社会語用論は専門外)
副査:英語学、認知言語学が専門の研究者(門外漢)
副査:言語処理が専門の理系研究者(門外漢)
論文の内容:テーマと内容の異なる既刊書4つを無理やりつないだだけ (敬語論で公平な学問的見解でなく政治的信条の表明)
結果:大賛辞とともに学位授与(いわゆる忖度)

男性教授は「数多くの論文を書いてきており、これまでの実績で学位を与えられるものと思った」←博士号不正に授与されたひと
滝浦真人の既存の著作をただつないだだけのものに、専門が合致しない審査員ばかりで、親しい人が主査のずさんな審査で博士号を与えるのも不正
https://hakushigo.exblog.jp/14960461/

滝浦の本のアマゾンの高評価レビューも友人が書いてる (違反行為)

放送大学
soumu-ka@ouj.ac.jp(総務課)
北大
https://www.hokudai.ac.jp/introduction/pub/
0091132人目の素数さん2020/06/14(日) 05:43:08.42ID:YEXvvqHa
望月教授と滝浦真人(放送大学教授、法政大学講師)の類似点

望月教授のABS予想の証明:自身が編集長を務める学術誌PRIMSに掲載予定(2012年に予稿をPRIMSのwebに掲載)
望月の同僚、数理解析研究所の教授(柏原正樹、玉川安騎男)の発言:「証明したことに間違いがないと言ってかまわない。
『ABC予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」「証明に根本的な変更はない」

ネイチャー:The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者:望月の証明には欠陥がある
ヨーロッパ数学協会会長:批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程で指導した教授: 考えを明確に伝えようとしていない
https://www.nature.com/articles/d41586-020-00998-2

滝浦真人の博士号に関する学位審査(公正な審査では不合格?)
学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査
主査は『語用論研究法ガイドブック』の共著者でもある(日本語用論学会会長:加藤重広 、日本語用論学会編集委員長:滝浦真人)
副査は、論文の内容が専門外

学位請求論文:日本語敬語および関連現象の社会語用論的研究
論文の内容:既刊の本を無理やりつなげただけ
審査結果:大賛辞による乙種の学位授与

論文の二重投稿の論理的構造
別の論文と内容、結論が同一(酷似,類似)である
先行論文と比較して、内容と結論に新規性がない
既存の(実験)データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい
適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい

学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
https://ja.wikipedia.org/wiki/二重投稿
0092132人目の素数さん2020/06/14(日) 05:43:33.28ID:YEXvvqHa
日本言語学会 倫理問題相談窓口
http://www.ls-japan.org/modules/documents/index.php?cat_id=185&;ml_lang=ja

滝浦真人のツイッター(非公開) (https://twitter.com/yoga5ch https://twitter.com/takkinen_ms)
別アカ → https://twitter.com/yoga5ch https://twitter.com/takkinen_tk
ブログで公開された連絡先
takiuramasato@gmail.com
放送大学
soumu-ka@ouj.ac.jp(総務課)
北大
https://www.hokudai.ac.jp/introduction/pub/
https://twitter.com/5chan_nel (5ch newer account)
0093132人目の素数さん2020/10/31(土) 08:03:56.84ID:ZZZyJS8+
m・n・x ≠ 0 のとき
 x^m がnの倍数 ⇒ x は rad(n) の倍数
0094132人目の素数さん2020/11/19(木) 04:52:11.43ID:Clp5hM1J
 Φ_n(x) を円分多項式とする。
p:素数 (p,q)=1 のとき
 Φ_{p^e・q} (x) = Φ_{p・q}(x^{p^(e-1)}),

 n = Π p^e    (素因数分解)
 rad(n) = Πp   (radical, 根基)
のとき
 Φ_n(x) = Φ_rad(n) (x^E(n)),
 E(n) = Πp^(e-1) = n/rad(n),

nが奇数のとき
 Φ_{2n}(x) = Φ_n(-x),
0095132人目の素数さん2021/02/09(火) 22:17:13.34ID:VKKRZ0zG
大学院で望月新一先生のもとで学びたい場合、学部から京大へ行くべき?それとも学部は京大でなくても関係ない?
0096132人目の素数さん2021/02/10(水) 00:50:32.57ID:Y68Cm/mV
関係ないんじゃないの
迷うなら東大でいいと思うよ
0097132人目の素数さん2021/02/10(水) 00:53:58.17ID:sf/Vb7Fi
教授の院生向けのページ見る限り、大学どころか国籍が関係なさそうだが

その前に読み込まないといけないモノを列挙してくれてるので、モッチの望む基準をクリアして院試に臨むことが肝心ではないか?
0098132人目の素数さん2021/02/10(水) 01:14:04.42ID:RnbNwQgj
望月新一推奨は例のIUT文元本だな
0099132人目の素数さん2021/04/10(土) 18:42:55.57ID:jAJSNV85
雑誌現代数学の2020年6月号で山下純一がIUTへの批判について取り上げていたけど、
最新号の2021年5月号でも、出版された論文に対する批判を紹介している。
このスレの人は必読
0100qanon2021/04/22(木) 21:59:08.94ID:l/HepwQJ
ABC予想は嘘。
0101qanon2021/04/22(木) 22:02:19.71ID:l/HepwQJ
南條幸也
0103132人目の素数さん2021/04/22(木) 23:08:29.91ID:64oHhwfP
望月スクールではとっくにABC予想の”先”を開拓してるというのに、未だにIUTを理解できないやつw
取り残されてますよ(笑)
0104132人目の素数さん2021/04/23(金) 01:04:46.80ID:e0G7NNiW
そりゃあ、取り残されるよ。
肝心なところは、尊師の説法。
RIMSが闇落ち。
0105132人目の素数さん2021/04/23(金) 05:03:05.65ID:mNZfaltI
偏差値30が癌切除とか患者からしたら恐怖しかないだろ。全身麻酔科研修も1人の研修歯科医師に任せてたり。

歯医者が癌扱うのは止めようよ。

歯科医師数500から1000人合格にして、私立か国立に退場してもらって偏差値が私立底辺でも60になれば国民の信任得られて癌切除OKになるかなあ。

日本くらいだよね。医師免なくて歯科医師免許だけで再建したり癌切除したりしてんの。
ドイツやアメリカはダブルライセンスだしょ。
チャイナとコリアは確か医師より歯医者が人気で偏差値高いけど、ガンはどっちが切ってんだろ。

とりあえず歯医者は数減らして、獣医みたいに希少価値出せよと。獣医なんて10万人もいたら偏差値20くらいになるんじゃね。

まあ獣医には東大さんがいるんですがね。
歯科も医科歯科を東大に移設したらいいんじゃないかなあ。
0106町田2021/04/23(金) 20:55:06.68ID:xNAxHYvr
コロナウィルスの原因は望月新一です。
0107がんばれっ2021/04/28(水) 18:25:58.17ID:G4v1VeYs
いいえ わたしはむざいでせう。
あのひとは私のおしっこが大好きで 大阪のはげのしとからいろいろしどうをうけました。
がばっとやるよりも、すこしずつ腰をゆらせてのませるんですうう

ああ 天国だと あのしとはいっていました
0108132人目の素数さん2021/04/30(金) 13:20:13.42ID:ItQaN4cb
うーこっこ
0109a4 ◆L1L.Ef50zuAv 2021/04/30(金) 13:25:41.21ID:omYqmaqy
望月先生とは話したことがあるので、論文を理解したいけど、600ページ以上という
ことで、専門家でも査読に時間がかかっているので、読めないですね。量子自動定理証明
をやってる僕から言えることは、古典でいうとフェルマーの小定理のような短いのに
じわっとくるようなものは、すぐ生成できますが、証明が長いのにじわっとこない
ものに関しては、計算できないですね。そのようなことも慮られているので、偉大
なのでしょう。僕の量子コンピュータで何等かの計算結果を出したかったんです
けどね、テレパシーによるやり取りで、量子コンピュータの研究費を与えるから、
先生や理論を殺さないでくれ、と来たので、指令に従いやめます。個人的には仲良く
なって、短期的な視点では、チューリング完全な古典神経医学の人工知能に入力して、
数学板の普通の人にわかるくらいの話にまとめる仕事とかしてみたいです。
0112132人目の素数さん2021/05/30(日) 11:05:56.07ID:J8YsAX2B
だれかN=NPを否定する証明をするか、あるいはある公理系の元では
証明不可能な命題である(決定不能)ことを証明しないかなぁ。
0113132人目の素数さん2021/05/30(日) 11:06:29.28ID:J8YsAX2B
訂正:
だれかP=NPの否定を証明するか、あるいはある公理系の元では
証明不可能な命題である(決定不能)ことを証明しないかなぁ。
0115132人目の素数さん2021/06/18(金) 18:26:29.86ID:7qPd36eN
望月age
0116132人目の素数さん2021/06/20(日) 18:42:50.78ID:zStI63zY
>>114
まあ数学版小保方やね
0117132人目の素数さん2021/06/20(日) 20:40:56.05ID:eNi+kZan
全然ちゃうやろ。
頭が悪いにもほどがある >>116
0118132人目の素数さん2021/06/21(月) 03:03:15.10ID:QSc2W4NX
数秘術だもん
0119132人目の素数さん2021/06/21(月) 03:12:10.24ID:EJgIbYZi
サトシナカモトは、ペレルマンや、望月氏のことかともうわさされた、もしくはいまだに、そうではないかとも期待されている。
0121132人目の素数さん2021/09/07(火) 13:39:06.06ID:Bayi1R6f
低めに見積もったとしてもただの数多ある間違った論文のひとつでしかないわけで、
捏造問題たる小保方と同列に語りたがるのは一体どういう動機なんだろうね
0122132人目の素数さん2021/11/25(木) 11:09:14.06ID:hBpNfZ/m
知恵遅れ山形の書き込み(レス末尾)晒し上げ   
[解説]
【擬似科学】: 健常者の言葉に翻訳すると「天羽優子には何も理解できないからレッテル貼りで誤魔化したい」という意味
【証明をしていない】: 証明はあるが数学的イディオムが広範に渡り分量も膨大なので、「天羽優子の目には証明が無いに等しい」という思い込みの決め付け発言
【絶対に】: 「天羽優子の信じるカルト宗教の教義から演繹される願望」の事
【丁寧に書き下せば絶対に他人に理解可能な証明が書ける。】: 数学的証明から述語論理への書き換えは単なる恒等変換に過ぎないが、天羽優子の目には恒等変換で自分が理解可能な表現が得られるに違いない、という願望


137 番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 57af-0EZc)[] 2021/11/24(水) 09:57:27.42 ID:JqDwhLir0
>>128
望月論文は多分疑似科学。望月は8年かかっても問題視されてる定理(系)の
証明をしてない。数学の証明は述語論理と言う数種類の前提と導出パターン
だけで構成されてるから、丁寧に書き下せば絶対に他人に理解可能な証明が
書ける。それをしないってことは証明できてないってこと。
0123132人目の素数さん2021/11/25(木) 11:38:45.79ID:hBpNfZ/m
【健常者と天羽優子の相違】   

健常者「未科学とは、科学的研究が充分に為されておらず科学的に判定できない、未開拓領域全般を指す」
天羽優子「未科学は、科学的に真実と証明されていないニセ科学だ」

健常者「望月証明は、証明に使う数学諸分野とその新規拡張が広範にわたり、分量も膨大なので検証が難しい」
天羽優子「望月証明は、弟子と一部の数学者以外は理解していないから、証明していないのと等価だ」

健常者「数学的証明の述語論理への書き換えは理屈の上では可能だが、証明内容の検証は自動化できておらず人間の手による検証が必要」
天羽優子「望月証明を述語論理で記述すれば自動的に『他人に理解できる証明』になる。証明を述語論理で書かないのは証明をしていないのと等価だ」

高校生の妄想レベルの話しかしていない
0124132人目の素数さん2021/11/25(木) 14:44:41.27ID:mwBlxHoF
>>121
学問的に未解明な事柄や、自身の能力不足で理解できない学問を「擬似科学だ」「ニセ学問だ」と誹謗中傷して鬱憤晴らしする所謂"ニセ科学批判活動"※1を
己の無能さ故の感情爆発ではなく、学問的に意味のある活動だと思って欲しいひとが
新たなるターゲット(望月証明)を、過去の有名事件(STAP騒動)と同種のものだと偽り
己の感情爆発行為の評価を上げようとする不毛な仕草

※1:阪大サイバーメディアラボ教授と山形大学理学部旧物質生命化学研究室准教が代表的活動家
0125132人目の素数さん2022/04/10(日) 09:20:30.76ID:JfaVaId9
今夜、お見逃し無く
4月10日(日)午後9:00
NHKスペシャル「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
30秒予告動画つき
https://www.nhk.jp/p/special/ts/2NY2QQLPM3/episode/te/PMMKK4872L/
初回放送日: 2022年4月10日
2020年春、数学の難問“abc予想”を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか?前代未聞の議論を追い、数学の魅力に迫る。▼語り・小倉久寛
0126132人目の素数さん2022/04/11(月) 14:04:03.69ID:8aPPFLF0
まったくの問題間ですが
今回のNスぺ、以前やってたポアンカレ予想のNスぺと似ていた
0127132人目の素数さん2022/04/11(月) 15:29:58.15ID:gY4bwdIy
考え方は量子力学の0と1が共存する性質と共通するのかな?
100年経ったのに、量子力学自体はいまだに入口段階だけど
数学と物理学は切っても切れない関係だから
今後量子力学の発展とともに切り拓かれていく新しい数学になるだろうね
0128132人目の素数さん2022/04/11(月) 18:43:15.31ID:Djid1jzn
A宇宙の4について4^2→16と対応づけているのに
B宇宙の4について2^2→4と対応づけている、これはAとBが全く同じ数学体系ということに矛盾しているという主張があるが、そんなに気持ち悪く感じないんだよな
A宇宙の4は始点だし、B宇宙の4は終点だ
関係づけられ方が異なっているだけで、AとBが同じということ自体には矛盾してない気がしてしまう
あとまるで宇宙からやってきた論文だなんてセンセーショナルに放送されてるが
この宇宙(universe)って全体集合を表すUそのものでそこまで珍しい用語法じゃないし、theaterとかalienとかいう言葉が使われているから難解だっていうのもなんかうわっつらだなあと
いやいやあんたら一般の数学者も切断とかファイバーとか素人からみれば十分イミフな用語法使ってるよwって言いたくなるわ
0129132人目の素数さん2022/04/11(月) 18:52:11.51ID:Djid1jzn
素人考えだが、望月氏はそのタイヒミュラー理論とやらでABC予想以外にも解ける証明をいろいろ持ってきてやって衆人に示せば、自分の理論の効力と考え方を同時に知らしめてやれるんじゃないか
現状では理論を応用した例題がABC予想一つだけだから学者の考えも深まらない
一方でABC予想が望月氏とは全く別のアプローチで証明できたとなったらその時点でこの理論はお払い箱だろうな
職業数学者でさえもわざわざ理解に時間のかかる理論に固執する必要なんてどこにもないわけで
0130132人目の素数さん2022/04/11(月) 21:10:26.91ID:ZftRK1y4
ABCを経由せずに直接Fermatが示せたのでは?
0131132人目の素数さん2022/04/11(月) 23:59:23.10ID:InUPdKVO
量子力学自体はいまだに入口段階って、変な期待だけが大きいんじゃないの?
非可換幾何とか40年前から言われているけど、見掛け倒しなんだろ。
0132132人目の素数さん2022/04/12(火) 04:00:54.00ID:+5QQJdYo
我々は「現代数学」を(かつての「天動説」のように)"信仰"してしまっているのだろうか?
0133132人目の素数さん2022/04/12(火) 10:43:58.79ID:S2d882DQ
たとえば点対称のグラフになるもの以外の三次関数の定義域と値域はともに実数全体だ
それどころかこの関数の背景にあるX×Yという直積において集合Xも集合Yも同一の演算法則を満たすことが想定されている
それでもそれぞれ定義域と値域という役割を果たしている点で区別「も」される
望月の考える宇宙とはこのXとかYと同じようなものじゃないのか?
だいたい、AとBの両者が同じものだからこそA→B:y=(x)=x^2において
常にy1y2=√{(x1^2)(x2^2)}かつy1+y2≠√(x1^2+x2^2)という関係になるんじゃないのか?
AとBが同じであるという想定を外せば足し算の方が常に成り立ってしまったり逆にかけ算が成り立たないことがあったりする場合も考えられてしまうのではないか。
0134132人目の素数さん2022/04/12(火) 11:43:53.95ID:S2d882DQ
量子力学のゆらぎの概念とは全然関係ない気がするな
望月氏のやってることは単に同じ犬にペットとして名前をつけ別物として扱うようなことに見える
0135132人目の素数さん2022/04/12(火) 11:55:47.12ID:/lKJNgsG
ちがうものに同じ名前を付けるのが数学の主な作業なのだから
その逆もまた数学なのかな?
0136132人目の素数さん2022/04/12(火) 12:07:34.44ID:S2d882DQ
宇宙から宇宙への変換は一旦写像とは同じものだと考えて写像にはないメリットや威力を理解する心持ちでいけば思考力を割くリソースをそこに絞れて今よりはスムーズに理解できるようになるんじゃないのかなあ

蛇足
>>AとBが同じであるという想定を外せば足し算の方が常に成り立ってしまったり
Aは普通の四則演算が成り立つ集合で仮定されてるのに、Bはかけ算の結果がAにおける足し算の結果と同じになるように定義されてるという場合というのが一番単純な例
0137132人目の素数さん2022/04/17(日) 02:22:32.53ID:HdoimJKn
「4」というひとつの数字の意味が変化する
いや、変化するのではなく世界ごとに「4」を違えて捉える
トポロジーの可逆性に立ち返る
数の概念の根本の処に立ち返る

原始の時代に立ち戻り、過ちを正すという
0138132人目の素数さん2022/04/17(日) 02:31:42.73ID:HdoimJKn
何世紀かあとの小学生が習うようなことを
当代の天才たちががんばって解いてます
こんな事ばっかり覚えてるとだんだん頭が大きくなって
いや、逆に小さく省エネになるかも知れないね
0139132人目の素数さん2022/04/17(日) 18:37:39.52ID:va6WONC2
Aを二(n)乗した値をBの同じ数と関連付けるとするとかけ算が成り立ち足し算が成り立たない世界を作り出せるという
一方Aをn倍した値Bの同じ数と関連付けるとすると逆に足し算が成り立ちかけ算が成り立たない世界を作り出せる
証明のためにかけ算と足し算のもつれあいを分離するというのが目的だったのなら、n倍するという関連付けの方法でも証明は可能なのではないか?とふと思った
0140132人目の素数さん2022/04/24(日) 17:45:21.38ID:8uvbSR9F
ところで「チンポがシコシコする」という日本語表現は、学術的に正しいと言えるのか?

チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。

オブジェクト指向で言う「集約」は2種類あって、全体(俺)と部分(チンポ)が繋がっている場合と、
全体(俺)と部分(チンポ)が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。

違うか?

「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、50字以内で述べろ!
0141132人目の素数さん2022/04/24(日) 21:26:10.49ID:rWpDUpyJ
Aを二(n)乗した値をBの同じ数と関連付けるとするとかけ算が成り立ち足し算が成り立たない世界を作り出せるということは
宇宙の対称性が崩れてる証拠?!
0142132人目の素数さん2022/04/28(木) 08:12:22.11ID:ztGXPhc+
単純に望月が極限の取り扱いで間違いをしてるだけだよ。
0143132人目の素数さん2022/04/29(金) 16:26:51.30ID:C4F9xS0D
>>127
同じくそれ頭よぎった
0か1の旧ビット演算を超えた、量子コン向きまたは解くべき問題かなと
するとNP問題なども解けたり?
0144132人目の素数さん2022/04/29(金) 22:36:36.17ID:XXLMFY08
『シコシコ』という擬音はどうでもよい。問題は、

自我    チンポ
↑      ↑   チンポ=自我
チンポ   自我

オブジェクト指向では、この三種類が考えられるということだ。
>チンポ=自我
散歩している時、自分もチンポも所在地は同一である。

https://i.imgur.com/4XhBmP3.jpg
https://i.imgur.com/PPFJZqI.jpg

夏目くんの場合は、チンポが自我を圧倒し、体が自然に滝川さんの股間に近づいていったのだ。

『笑ってごまかすな!!』

と言われても、夏目くんは何と言えば良かったのだろう?

    チンポ≫自我

『チンポが自我を超えてしまった』を簡略化して、チンポがシコシコする!

チンポがシコシコしていると(チンポが自我を超越していると)、息もハァハァになる。
チンポがシコシコしている(チンポが自我を超越している)と、顔もアヘ顔になる。
つまりその顔は『チンポの一部』つまりチンポの皮と同じということ。

博士号の肩書きがあっても、STAP細胞のそれは間違いであり科学者として失格。
チンポと自我の関係について、それが間違いということなら、俺も科学者を自称するのを止めよう。
しかしながらあの夏目くんは、笑ってごまかす以外に何と申し上げたら良かったのか。
0145132人目の素数さん2022/04/30(土) 00:04:51.07ID:Ie4u13r7
望月さんほど賢いとマジで大変そう
学生とかアホにしか見えないだろうね
0146132人目の素数さん2022/04/30(土) 09:14:30.69ID:fWETlt9M
ディリクレの原理の正当化にさえ
人類は約半世紀を要したのだから
望月論文の「欠陥」が消滅するまでに
一定の年月が必要なのは
大方の数学者が認めるところであろう。
0147132人目の素数さん2022/07/20(水) 02:29:10.76ID:w1canYpM
bsNHK
ポアンカレ
リーマン予想
ABC予想の番組あるけど名作だな

天才精神病む強調し過ぎだけど
0148132人目の素数さん2022/07/21(木) 01:04:37.67ID:Br+NEhfP
国際的には全く評価されてないって結局小保方だったのか
0149132人目の素数さん2022/07/21(木) 06:19:58.46ID:ey5rzaEa
小保方には信者はいない
0150132人目の素数さん2022/07/28(木) 19:26:26.95ID:GV1REvM4
数学の世界に小保方みたいなのやその取り巻きみたいな気持ち悪い連中が現れるとは思って無かったわ
カス死ねやマジで  
0151132人目の素数さん2022/07/28(木) 19:27:08.40ID:GV1REvM4
>>148
つか違うと思ってたのか
0152132人目の素数さん2022/07/28(木) 22:54:17.28ID:gRzNW1ZG
日本とそれ以外じゃ報道のされ方が真逆で笑ってしまうよな
0153132人目の素数さん2022/07/30(土) 09:01:05.16ID:91nUc23I
イグノーベル賞の候補になっているかも
0154132人目の素数さん2022/07/30(土) 09:13:38.92ID:aeFM8Twi
ドクター中松以来の”怪挙”だな

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
2005年(平成17年)、
「35年間に渡り自分の食事を毎回撮影し、
 食べた物が脳の働きや体調に与える影響を
 分析し続けたこと」
に対して、ノーベル賞のパロディである
イグノーベル賞(栄養学賞)が贈られた。
中松は42歳のときから食べた食事の記録、
血圧や体重などの情報を集めるようになり、
撮影した食事の写真は1万枚以上に上る。
中松はこの受賞は、自ら提唱した健康理論である
リボディ理論が認められたためであるとしている。

また受賞以来、政見放送や自サイトなどで
この受賞に触れる場合には、
「IG(アイジー)ノーベル賞受賞」
と表記、または発音している。
さらに中松自サイトや商品の販売では「IGノーベル賞」は
「ノーベル賞の上のノーベル賞」であるとして、
受賞者はノーベル賞受賞者が選ぶなどと説明している。
しかし、2016年(平成28年)の自著『私は死んでる暇がない』では
「イグノーベル賞」「Ig(イグ)ノーベル賞」と表記している。
日本ではこの受賞を積極的に宣伝しており、
ウェブサイトでの自己紹介でも一番に書かれているが、
英語版の自己紹介では全く触れられていない。

2014年(平成26年)のイグノーベル賞授賞式では、
日本人初となる基調講演に抜擢され、
当日は車いす姿で「がん撲滅食を発明した」と発表し、
喝采を浴びた。
0155132人目の素数さん2022/07/30(土) 11:46:52.53ID:boDXlUQ+
ドクター中松は94歳でまだ元気らしい
0156132人目の素数さん2022/08/19(金) 20:44:37.96ID:1PsO+W6U
いずれ望月という学者やIUTという理論はアインシュタインやその相対性理論よりも著名で価値あるものとされてるようになったりする可能性もある?
0157132人目の素数さん2022/08/20(土) 18:55:46.79ID:PAPpkAq8
アインシュタインは、いかにもマッドサイエンティスト風のキャラや
事務員から這い上がったという立身出世ぶりが際立っているからな
望月では到底勝負にならんよ

理論は知らん
0158132人目の素数さん2022/09/16(金) 13:58:09.57ID:5aXUOvcH
ところで望月は「意味のある解説が成立するには一般の数学者でもかなり厳しいものがある」みたいなことをNHKの番組スタッフ宛に書いてたわけだけど
「一般の」ってどういう意味合いなんだろ?
MARCH程度やそれより下位の大学の数学科出身の数学者には無理って程度の意味?(宮廷以上なら理解可能?)
それとも知識の有無の問題で、理論の素地にあるタイヒミューラー空間の概念を学んでないような「専門外の数学者(専門外=特殊に対する一般)」には無理みたいな意味かな?
0159132人目の素数さん2022/11/23(水) 16:50:06.12ID:fDR3NyfP
チンパンジーに円弧上の円周角は等しいという証明を理解させるのは無理だと思う。
0160132人目の素数さん2022/11/23(水) 16:58:31.79ID:5B6hbaci
>>155
一松信先生は96歳でまだ元気
0161132人目の素数さん2022/11/23(水) 19:50:29.31ID:IyUJ9DAi
清宮さん103歳没
彌永さん100歳没
数学には長寿効果がある?
0162132人目の素数さん2022/11/23(水) 22:30:17.77ID:dI57As+/
本間先生も100歳まで生きてほしかった。

本間龍雄 (ほんま たつお、1926年1月 - 2021年11月15日)は、日本の数学者。理学博士。専門は位相幾何。横浜市立大学教授、東京工業大学教授、青山学院大学教授等を歴任。

略歴
東京工業大学で皆川多喜造に数学を学び、1948年卒業。1953年湯川フェローシップにより大阪大学で研究。1957年デーンの補題をパパキリアコプロスとは独立に証明した。プリンストン高等研究所所員(1960-1962年)、フロリダ州立大学客員准教授(1965年)、ミシガン州立大学客員准教授(1967年)、横浜市立大学文理学部教授、東京工業大学理学部教授、青山学院大学理工学部教授を歴任
0163132人目の素数さん2022/11/23(水) 22:55:28.61ID:dI57As+/
Leopold Vietoris ( 4 June 1891 – 9 April 2002) was an Austrian mathematician, World War I veteran and supercentenarian. He was born in Radkersburg and died in Innsbruck.

He was known for his contributions to topology—notably the Mayer–Vietoris sequence—and other fields of mathematics, his interest in mathematical history and for being a keen alpinist.
0164132人目の素数さん2022/11/24(木) 11:51:09.02ID:n4hjHrG/
どうですこの素晴らしいオートクチュールは、
これはあまりにもすばらしいので、愚かな者や心が歪んだ者には
見えないという性質を持っているのです。如何ですか?

おお、いや、実に素晴らしい、まるでこの世の物とは思えないほどだ。輝いておる
(困った、朕には何も見えないぞ、しかしそれでは)。
0165132人目の素数さん2022/11/24(木) 12:46:42.93ID:miUoaird
「理解できるものなら、たいていの人には理解できる」というのが数学です。
理解するのに10年は必要ありません。
ただ、多くの人は理解しようとしてません。このスレを見れば判ります。
0166132人目の素数さん2022/11/24(木) 12:49:17.94ID:miUoaird
>>165
すいません、訂正させてください。
X 「理解できるものなら、たいていの人には理解できる」というのが数学です。
○ 「理解できるものなら、たいていの人には理解できる」というのが数学の証明です。
0167132人目の素数さん2022/11/24(木) 18:34:55.53ID:M6K/thXd
プーチン大統領の元側近「英国への核攻撃ありえる」 [2022/09/23

ロシアのプーチン大統領の元側近がイギリスがロシアに強硬な姿勢を
続ければ、ロンドンに「核の脅威」があると発言しました。
地元メディアによりますと、21日、プーチン大統領の元側近で政治学者の
セルゲイ・マルコフ氏が「トラス首相がまだロシアを破壊する計画を持って
いるなら、ロンドンに住む人たちは核兵器の脅威を理解すべきだ」とBBC
のラジオ番組で話したということです。
また、マルコフ氏は「あなたの街がターゲットとなるだろう」とも発言し、
イギリスメディアは「驚くべき警告が発せられた」と報じています。
これに先立ちプーチン大統領は国民向けの演説で核兵器の使用を示唆し、
「これははったりではない」と強調していました。
0168132人目の素数さん2022/11/26(土) 21:38:50.43ID:cOoLGtHt
ある人物が、
「物事を真に理解している」、のかそれとも、
「理解していないが理解したふりをしている」
ののどちらであるのかを、どのようにして
判別すればよいのか? という問題になるらん。
0169132人目の素数さん2022/11/26(土) 21:43:32.02ID:xE0lerTW
>>168
それについては徒然草が詳しく論じている
0170132人目の素数さん2022/12/06(火) 14:59:12.75ID:XjCSgDsC
論文に写像とは形が異なる矢印が使われてるがどういう意味だろうか?
下の方は冒頭の定義の羅列みたいな表にあったので真面目に読み込めば分かりそうだが、上の方の、端でくるっと曲がってる矢印の意味は見当もつかない
https://i.imgur.com/kH9VtZO.png
0171132人目の素数さん2022/12/08(木) 15:11:43.68ID:HAoeFHA9
結論から別の結論を導く道筋を辿るのが証明の理解という作業だとすれば、望月の論文は悪い意味で簡潔過ぎるのではないか。
日常の場面でも言ってることはその時点で伝えたい内容に対して論理的に必要十分だったとしても、それでは相手がぴんと来ないことを考慮して、例示など用いてあえて同じ内容のことを形を変えて話すということをするだろう。
説明の対象が難解な概念であるほど、いい意味で回りくどいぐらいの説明がちょうどいいということになる。
しかし望月の論文は>>170の記号の例のように説明を端折ってる感が見られる
他にも式から式を導くうえで、淡々と同値変形の結果を次々と羅列されても、納得感を得られない読者もいるだろう。
なぜそう推論したのかという、結論と結論の間の思考過程も都度書き留めるべきではなかっただろうか。
そういう配慮が足りてかったことも査読に時間を要した要因ではないのか?
これに限らず数学では往々にしてひとたび分からない箇所があると往々にして書籍から書籍へのたらい回しにしてくるわりには、袋小路にぶち当ってしまうというか、ようやくたどり着いた一番やさしい解説でもまだ抽象度が高すぎて私の理解を越えているということがあって、結局真意にはたどり着けないみたいなことがある。
もっと数学ではself-containedを意識して回りくどく書いてもらいたいね。
0173132人目の素数さん2022/12/22(木) 07:29:44.26ID:WwrkgX9l
しんちゃんすごい!しんちゃんガンガれ!
0174132人目の素数さん2022/12/22(木) 16:04:38.27ID:k6Ck+4vR
大数学者の数学シリーズの岡潔の本みたいに分かりやすい解説のもとで証明を追える本出たりしないの?
0175132人目の素数さん2022/12/22(木) 16:07:57.44ID:k6Ck+4vR
あれ検索しても出ないな。確かに岡潔の証明をまとめた書籍があったと記憶してるのだが
0176132人目の素数さん2022/12/22(木) 22:29:46.27ID:qt1+aLga
基礎論厨でウェルディファインドネスをなんか勘違いして振り回してた>>171
自分の勘違いっぷりをいい加減自覚しろよ。
0177132人目の素数さん2022/12/23(金) 12:24:50.26ID:6RPyo0hc
>>176
2レスしかしてなくてそれ以降のレスもないのに何をそうカリカリしてるねん。
それに言ってることは別におかしくなくね。世の中に天才と言われる人が生み出した理論は割とあるけど相対論も波動関数もIUTほど理解に苦労しないだろ。
天才が考え出す理論ほど難しい傾向があるんだとしても望月がアインシュタインシュレディンガーより天才なのかといえば?なので。
ようするに理論の難しさよりも説明の晦渋さの度合いが大きいんじゃないか。
0178132人目の素数さん2022/12/27(火) 14:28:14.22ID:zMT/StMg
数学へのインパクトの大きさはは望月よりグロタンティークの方が上。
しかし論文の抽象度はグロタンティークより望月の方が上。
おそらくポアンカレ予想の証明よりも抽象度が高い。
でも証明には無意味なのにいたずらに抽象度を高くするということはないと考えれば、必ずしも抽象度が低い論文の作成者が抽象度の高い論文の作成者に比べ抽象的な理論や構造に対する思考力が劣っているということにはならないのかもな。そこまで思考力を使う機会が無かっただけかもしれない。望月には研究分野との相性でたまたま思考力を自然に見せびらかす機会に恵まれただけなのかも。
0179132人目の素数さん2023/01/09(月) 14:03:17.55ID:afxohR47
ロシアにどこの場所を核攻撃されると、数学分野としてはダメージが大きいかな?
0180132人目の素数さん2023/01/24(火) 16:46:24.80ID:shSpt774
・IUTを理解するための知識として以下を理解していることが必須だという。
またIUTを理解するには高校までの数学は当然含めずに3万ページ分ほど数学の論文なり専門書を読む必要があるそうだ。
・線形代数
・位相と集合
・微積
・複素解析
・代数の基礎(群、環、体の基礎)
・ホモロジー代数
・多様体
・可換代数
・ガロア理論
・スキームによる代数幾何
・K理論
・アーベル多様体
・ヤコビ多様体
・ネロンモデル
・p-divisible group
・特にアーベル多様体の)モジュライ
・algebraic space
・algebraic stack
・ファルティングスの定理
K理論が総計1万ページほどの論文の束でそれ以外を含めて考えても1万5000ページにも満たなそうなわけだ。
あとの1万5000ページ分は何を読めばIUTを理解できるようになるのか是非その学習の指針がまとめられるべきだと思う。
たとえば誰のなんて論文を読む必要があるのか、あるいはその論文に書かれている理論等が学習面から見てもよくまとまってるといえる本があるならそうした良書を書き込んで欲しい。
もちろん数学は一足飛びにより高度な理論をいきなり理解できるものではないので、読むべき順番の明示もしてほしい。
0181132人目の素数さん2023/01/28(土) 20:03:59.70ID:C+WtEYiy
過去に拘らずに、どんどんつぎつぎと新しい定理をだして行くべき。
証明は他人にやり直させてでも、本人にしか見いだせない定理を見いださせる
ことに時間を使うべきでしょ。誰も寿命は限られているのだから。
 大画家は構想をたてて、デザインスケッチをして構図を決めて、
だれにでもできるような色塗りは弟子にでも任せておけば良いのでは?
0182132人目の素数さん2023/01/29(日) 09:04:18.02ID:J46u62i2
>>180
追加
数秘術 占い
0183132人目の素数さん2023/01/31(火) 16:30:54.49ID:bctEhTBO
>>182
マジレスするのも野暮かもしれんが数秘術は当の望月も齧ってすらいないだろ。
つまりIUTの理解に数秘術への造詣は無関係
0184132人目の素数さん2023/02/12(日) 18:28:12.23ID:JwG7OSMV
もはや数学界の小保方やな
0185132人目の素数さん2023/02/14(火) 18:10:13.60ID:Z2TRyB47
証明を追えない奴に彼をインチキ呼ばわりする資格はないんじゃねーの
小保方のとは状況が違って数学で査読が通った=論理的に正しい=数学として正しいに直結してるわけだし
0186132人目の素数さん2023/02/14(火) 18:11:33.93ID:HmaXeh31
論文には明確な瑕疵がある
瑕疵がある論文が読めないのは著者の責任
0187132人目の素数さん2023/02/14(火) 18:42:17.38ID:Z2TRyB47
>>瑕疵がある
どうせどっかの受け売りだろ
自分で論理的に瑕疵を見出さず否定派に立つ(逆も然り)のは科学的とは言えない。
俺は否定派肯定派どちらでもなく判断を留保すべきだと言っているだけだ。
↓参考
2022/12/25 18:29

>世の中のほぼ全ての数学者からの反論です

これに似た話は聞いていますが、「ほぼすべての
数学者」という部分は、間違いか、この発言を
した人の誇張です。

数論幾何以外の数学者も、望月さんの論文を
見て最初の方で「よくわからない」となります。

その部分、望月さん自身が反論したと聞いています。

結局どうなったかは、知りませんし、また自分で
そこを判断する能力はありません(もはや何年も
数学に時間を費やすのが無理)
//detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13272817193
0188132人目の素数さん2023/02/14(火) 18:44:32.29ID:6PbEnNvz
別スレで解説済み
数学わかる奴はそれで全部瑕疵がある事理解済み
わからんのはアホ文系のみ
0189132人目の素数さん2023/02/14(火) 18:45:24.11ID:Z2TRyB47
他にも二つの質問に同じ回答者が詳しく回答しているが、わりと具体的であるなと総合的に考えて、全くの門外漢のでたらめとは思えない
参考に値するとは思う
//detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13272815748
//detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13272913923
0190132人目の素数さん2023/02/14(火) 18:48:19.64ID:Z2TRyB47
>>188
その別スレでは瑕疵があるという指摘にへに反論にも瑕疵があることまで指摘されてるの?
てか瑕疵があるという判明は読んだからこその気づきなんだからそれこそ瑕疵がある論文は読めないなんて論理は成り立たんだろ
あと別スレどこだよ。この広大なネット空間で別スレあるとだけ言ってリンクも貼らないのは反論の作法としてあまりにどうなのか…
0191132人目の素数さん2023/02/14(火) 18:54:03.54ID:Z2TRyB47
//detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13239823358
このりっきぃとかいう回答者が
「このあたりの両者の主張を比較すればどちらが正しいのかわかってくるのではなかろうか.」
と言ってるわけだが、こいつは一体望月と反論者のどっちに理があると言いたいのだろうか?
回答者に言わせれば俺が「それがわからない、とやかく意見をいうことはまったく意味がない段階の素人」なのだが、それでもそれぐらいは知りたい
0193132人目の素数さん2023/02/14(火) 19:22:30.48ID:6PbEnNvz
>>190
文系にはこの話題についてくるのは無理
論文の瑕疵の解説は数学科卒なら誰でもわかるような内容でここの数学科で勉強した人間は全員納得したやろ
望月先生が瑕疵を修正しない限り論文はアウト
0194132人目の素数さん2023/02/14(火) 19:31:31.92ID:Z2TRyB47
瑕疵があるとか理解は無理とか言うだけなら小学生でもできるから納得感がねーんだよな。それを文系では(に限らないが)独り善がりという
それを門外界にも分かるように解説してこそ今まで学んできたことでついた数学の実力の真価が問われるってもんじゃないの
別に霊長類(人間以外)に円周角の定理を理解させろと言ってるんじゃねーんだから
せめて別レスという屏風の虎を出してくれない限りいつまでも水掛け論にしかならんよ客観的に考えて
0196132人目の素数さん2023/02/15(水) 15:14:00.83ID:Zv2vqkMR
誰でも理解してるとかいうような言葉は出まかせやはったりとしても使えるわけで、誰でも言えるんだよね
根拠が提示されていないのではそういう出まかせで言ってるだけなのか、根拠はあるけど口不調法なだけなのかの判断が傍からはつかないのはさすがにわかるだろう
強がりで言ってると思われたくないのなら、不誠実と思われたくないのなら、やはり根拠は提示するべきだろう
てか、今日に限っていきなり多様なidが湧き過ぎだよな。飛行機びゅんびゅん?
0197132人目の素数さん2023/02/16(木) 09:59:13.90ID:0JqJRK9/
反対者がいても閣議で決定すれば、それで決まる。それが優れた日本の民主主義だ。
0198132人目の素数さん2023/02/16(木) 10:15:57.78ID:lzmEwDR5
>>197
そんな民主集中制レベルには日本社会一般は陥ってないから安心してほしい。
0199132人目の素数さん2023/02/16(木) 17:08:14.15ID:iV2nQ0TO
望月新一は反論の仕方がレスバのそれだったのが悪い
・単純化が過ぎる
・理解してないから悪い

こういう議論の無作法を突く反論はレスバ的には有効だけど、学問の議論としてはまぜっかえしてるだけなんですわな
俺はこのような反論の仕方を「流れのマンネリ化を生む反論」と命名する
anond.hatelabo.jp/20230215163952
0200132人目の素数さん2023/02/16(木) 18:02:24.42ID:iV2nQ0TO
あと、ABC予想への適用の段階に瑕疵があったかはともかく、IUT自体には問題ないのかな?
問題ないとしてABC予想の証明にしか使えないのはなんというかつぶしが効かない理論って印象だね。
(ABC予想を真とした場合の汎用性が高いのだからそれでいいって見方もあるかもしれんが)
何か他に理論が使える局面はなんとなくでも見出されてないものなのかね?外部の自明でない事柄を一切説明できない自己完結的な理論ってきっぱり言ってる人もいるけど。
そこはむしろ望月本人に任せるのではなく本人を含めたいろんな数学者が使い道を見出していくべきことなんじゃないか(正しければの話だ)。
0201132人目の素数さん2023/02/18(土) 11:15:56.44ID:BInaspU0
望月、ノイマン、マリリンボスサバント、ファインマン
この中で一番頭いいのは誰だと考えられるか?
てかファインマンが同じ問題を証明できてたらもっとわかりやすい論文書いてそうだよな。
0202132人目の素数さん2023/02/19(日) 16:19:41.82ID:H6uyO0js
フォン・ノイマンでは?
0203132人目の素数さん2023/02/19(日) 16:33:40.10ID:bqvJ/enK
系3.1.2が間違いだって指摘されてるけど
誰か解説してくれー
0204132人目の素数さん2023/02/19(日) 18:26:44.13ID:V5IgVDmJ
>>系3.1.2が間違いだって指摘されてるけど

厳密には「間違いだ」と言っているのではなく「わからない」と
言っている。
0205132人目の素数さん2023/02/20(月) 16:16:18.55ID:4qnAo3q8
理論を理解することの難しさで学者としての評価を判断する人がいたらそれは違うと思う。
ぶっちゃけ誰にも理解できない理屈を作ること自体はそれ自体を目的とするかぎりではそこまで難しくないんじゃないかな。
誰にも分からない文字や暗号を作るのがそこまで難しくなさそうなのと同様に(まあこの場合は暗号とかの解読法さえ教えちゃえ解読できてしまうし、解読法を理解すること自体も容易なので、例として拙いかもしれないが)

望月の場合、問題を解決するのに必要だったのが、誰にも理解できないような理論だったというだけで、それはあまり重要な事実ではない。
問題を解決できたとされるのが望月一人だったということが重要なのだと思う。
そういう考え方でいけば、mRNAワクチンの根幹技術の理論を作った人も、その人がその技術を作った段階ではその人しか作り得なかっただろうという意味でやはり凄いのではないか?
(微分法をライプニッツとニュートンがほぼ同時期に独立して考え出した例もあるので、こういう書き方をした)。
望月とmRNAワクチンのもとを作った人のどちらが凄いかということについて現段階で社会に与えてるインパクトとしては後者のほうが上だろうが、そういう有用性みたいな視点から凄さなるものを判断するのは前者が数学である以上フェアじゃなくまた複雑な問題を孕むので、判断を留保すべきだろうとは思う。(役に立たないと思われた数学の証明が後世になって応用法を見出される例はざらにあるわけで、数学では現世利益みたいなものは考えず研究するのは基本だと思う)
ただ、mRNAワクチンの技術が望月の論文に比べて理解しやすいという観点から、mRNAワクチンの技術を作った(に限らずips細胞とかなんでもいいから世界で初めて新発見なり理論を作った)人が望月に比べてすごくないみたいな考え方をするのは絶対に的外れだと思う。

理論を発見することの難しさと、理論を理解することの難しさはわけて考えないと。多くの人々がその難しさを肩代わりしてほしいと学者に期待しているのも普通前者なのであるから。
「望月の理論は他の何よりも難しいから望月は天才なんだ」みたいな考え方をしてる人が多い気がする。
0207132人目の素数さん2023/02/20(月) 17:10:05.42ID:4qnAo3q8
>>206
なんか最近はかつまたにこだわってるよね。∧と∨。的を得てるのか知らんけど。
0208132人目の素数さん2023/02/20(月) 17:17:59.99ID:HLzP+iHV
正月のブログで「基礎論全然知らん奴がネットでどうこう」言ってだけどそもそも基礎論の勉強した事ないのは望月先生の方
おそらく現代数学で等号が他の述語記号とは違う特別な意味を持った述語記号で、それは等号原理を満足する事すら知らない、少なくともNスペの採点と銘打った記事書いてた時点では理解してない
もちろんそんな難しい話ではないし教科書開いて頑張れば望月先生レベルの知能の持ち主なら3日とかからず理解できるやろ
それもやらない
おそらくそんな事しなくても指摘がもっともでしかも現時点で自分にはどう修正したらいいかまるで当てがないんやろ
だから現実から逃避して目を背けてる
だからもうiutは終わり
当の本人がコレでは直るはずがない
0209132人目の素数さん2023/02/22(水) 19:01:01.06ID:IvrdmkQp
数学は記号と論理を使った興味深いゲームに過ぎない。プレーヤーはあなただ。
0210132人目の素数さん2023/03/02(木) 20:47:15.75ID:VrkpXNWd
菓子折をもって挨拶に行くと人間関係を築けるという基本的なことを非人文系人間は
知らなかったりするらしい。
0211132人目の素数さん2023/03/02(木) 22:05:34.11ID:fYYMxny4
>>204
系3.12はいかにも胡散臭いとショルツェは考えている
望月新一は逆に胡散臭い方法でも使わなければ
ABC予想は証明できないと開き直っている
0212132人目の素数さん2023/03/02(木) 22:48:43.70ID:um/GF8z8
そのうさん臭さを取り払う方法は
どちらに見つけてもらえばよろしいか?
0213132人目の素数さん2023/03/03(金) 15:19:08.00ID:TG/DBEw4
全く別の誰かが全く別のぐうの音も出ない方法でABC予想を証明すればいいだけだね。言うは易く行うは難しだけど。
まあそうなってもIUTそのものを即座に不必要な無駄な理論と捨て去るわけにもいかないわけだけど。ABC予想以外にも使えないかとかね。
0214132人目の素数さん2023/03/03(金) 15:40:03.43ID:WWPfMxDZ
PRIMSによればIUTTはA=BながらA≠Bだからなんでもあり。
0215132人目の素数さん2023/03/03(金) 17:41:23.50ID:TG/DBEw4
>>214
それはNHKの印象操作であってぼくちんはそんなこと言ってないもんってブログにモッチーが書いてるやんけ
0216132人目の素数さん2023/03/03(金) 18:19:35.44ID:wS5t+Mc6
であります。一方、「同じものを同じものと見做すか、それとも違うものと見做すか」という話は、恐らく通常の数学用語で表現すると、

​      「同型なもの(=つまり、同一の'設計図'に​
      基づく内部構造を有するもの)を、​同一視​
​      するか、それとも区別するか」​

というような記述の、一般人向けの翻訳のつもりでしょうが、同型なものを同一視することも、区別することも、(20世紀​初頭に遡る)公理的集合論によって当たり前に記述できる​考え方であり、つまり古くから純粋数学全般で広く知れ渡っている当たり前な考え方であり、決して私が最近になって導入した考え方ではありません。

完全に間違っとるやん
現代数学ではA≠Bは「AとBを区別してる」わけではない
“同型なもの”をA≡Bと書いて「A≡BだけどA=Bでない」とかは許される
そのために=とは違う≡とか、Aの代表する類A̅とかを使ってやるのはいいけど、それを「巣のままのAと=」でやる事は赦されない
=は基礎論で特別な意味を持つ熟語記号だというのが理解できてないんやろ
0217132人目の素数さん2023/03/04(土) 13:54:56.77ID:qLJkywT3
Coqに証明の瑕疵の有りや否やを尋ねてみたらよからう。
0218132人目の素数さん2023/03/04(土) 14:15:24.10ID:rnFb3CAP
あなたは基礎論を理解できてませんってメール送ってみそ
俺には恐れ多くてできんけど
0219132人目の素数さん2023/03/04(土) 16:46:20.13ID:qLJkywT3
群盲象を撫でる。
0220132人目の素数さん2023/03/05(日) 03:41:25.72ID:FzufNbE3
>“同型なもの”をA≡Bと書いて「A≡BだけどA=Bでない」とかは許される

>完全に間違っとるやん、
は「誤読」だよね。

deg(Θ) ≒ deg(q) で、deg Θ≦deg q+cに帰結して、ABC予想を解決するときに、
もしA=Bを主張していたらば、deg(Θ) = deg(q)となり、deg Θ≦deg q+cで、誤差cはなくこれを論じない。
A≡Bの同型だから、「deg(Θ) ≒ deg(q)」となり、「deg Θ≦deg q+cのCの誤差が小さい」が論じられる。

ABC予想の主張である「c ≻d^(1+ε)」は、
「cとdの大小関係はc < dとなるのが普通だが、c ≻ d になることも例外的にある。
この例外は無限個あるが、「d を累乗して少し大きくすることで有限個にできるだろう」との主張。

IUT理論によるABC予想は、「現実舞台での累乗数が、かけ算伸縮舞台での累乗数よりも小さい」で、解決しようとしている。
現実舞台Aと、IUTのかけ算伸縮舞台Bとの間で、「d を累乗して少し大きくすること」が、次数(デグ)で桁数を大きくすることで、
次数(デグ)の比較であると翻訳すると、deg Θ≦deg q+cの式の比較にて、誤差cが次元(デグ)で同じか少し大きいを示すことになる。

現実舞台Aとかけ算を伸縮させた舞台Bでは、元来が、A=Bでないことは一目瞭然だよ。
deg(A) ≒ deg(B)で、deg A≦deg B+cで、「次元の誤差c」を式に入れた時点でイコールでない。

ABC予想の「累乗して少し大きくすると」の前提は、イコールで証明できるものでない。

現実舞台Aとかけ算を伸縮させた舞台Bが、A≡Bで「同型」か?はあるが。
0221132人目の素数さん2023/03/05(日) 08:46:20.48ID:NwdmMQl6
充満多重同型を使うことで何故同型では起こらないことが起こるのか分からない
同型を一つ選んで同じ議論をすることに対して、「andなら一つの同型が条件を制限するが、これはorだ、だから充満多重同型でないと駄目なのだ」と主張するのは、
まず充満多重同型を使ったら状況が変わる理由や適切な具体例があってからの話
だが、それが見当たらない
同型を集めても違いがないならandもorも同じで同型一つでいい
0222132人目の素数さん2023/03/07(火) 23:27:26.97ID:nIwx9/3H
アメリカのロケット工学者の先駆であったゴダードは、
ロケットで宇宙を航行する技術に関する論文や本を描いたが、
当時のアメリカ人にはあざけらており、
ニューヨーク・タイムズ誌には「真空中ではロケットの噴射ガスが
押すべき空気が存在しないから推進力が生じない。ゴダードは
高校の物理を勉強しなおした方が良い。」などと社説で嘲られる始末。
しかし、ゴダードの研究や特許の書類はドイツにとってV2などのロケット
ミサイル開発をする上での重要な資料となって使われもした。
0223132人目の素数さん2023/03/08(水) 08:17:43.58ID:ulenLIKt
>>215
IUT論文を受理したのはPRIMSだ
0224132人目の素数さん2023/03/08(水) 15:54:58.14ID:FsGmdxHV
>>223
そんなこと知ってるけど
何が言いたいの?もったいぶった言い方されても真意が分からん
0225132人目の素数さん2023/03/08(水) 16:38:16.51ID:JGE8nUan
NHKスペシャル.2022年4月10日

PRIMS特別委員会委員長.京都大学数理解析研究所 教授 .
玉川安騎男 博士「いわば現代の数学では、禁じ手になってるよう
なことも取り入れて、何かできないかということを考えたという
ことなんですね。1+1は2でありながら、1+1は5であるとか。
二つの直線が交わるということが起こりながら交わらないとか。
本来だったら矛盾が起こるようなことを、活用できないかと考えた」
0226132人目の素数さん2023/03/08(水) 16:40:31.21ID:qSPdt46L
>>225 まったく理解できないので誰か解説してくれませんか?
0227132人目の素数さん2023/03/08(水) 18:01:28.56ID:FsGmdxHV
てか東大には数学の査読誌ないんか?学歴主義というわけじゃないが一つもしかも自分の学閥の雑誌にしか掲載できてないというのはちょっと…
0228132人目の素数さん2023/03/08(水) 18:34:05.40ID:6HtSIjIV
>>227
>225を解説してください
0229132人目の素数さん2023/03/08(水) 18:40:43.55ID:sKCEf9Rp
外野向けの例え話なのに
まにうけてんのマジで草
ここ数学スレやぞ


外野向けにたとえ話で説明しようとしたらいろいろはしょるし穴もできる
その厳密性よりなんとなくのイメージを優先してるわけ
素人がその話で重箱の隅つっついてるぐらいならかわいいもんだけど
数学スレでそれやってんのは知的障碍者なのか?w
0230132人目の素数さん2023/03/08(水) 18:49:25.54ID:7RIBKVt1
遠アーベル幾何学のゲルト.ファルティングス氏 は
「論文は理解できなかった。 自分の研究に時間を割くことに した」とコメントしている
0231132人目の素数さん2023/03/08(水) 18:53:13.85ID:FsGmdxHV
そもそもファルティングスの理論の申し子あるいは末裔みたいなもんだけどその親が理解できないなんてのがもうおかしい。
青は藍より出でて藍より青しというやつなのかそれとも望月の大言壮語なのか
0232132人目の素数さん2023/03/08(水) 20:51:31.70ID:CHgNYPOY
>>229
いや分かってると思うぜ
尚も『は?』と言いたいんだ皆は?

1+1が2かつ5、A=AかつA≠Aと玉川
そう言えばIUTはポヒュラーな理論を一旦ダブルスタンダードに分割した後に合成したヘレティックな理論と玉川
元から二枚舌なのよ
0233132人目の素数さん2023/03/09(木) 13:46:07.33ID:A/i/Zx7a
>ここ数学スレやぞ

PRIMS特別編集委員会(玉川柏原委員長)の見解は、
全く新しい数学IUTTによるIUT論文は完全でabc予想が証明された。

星論説によれば遠アーベル幾何学がIUTTへ応用された。
数学の遠アーベル幾何学≠IUTTだな
0234132人目の素数さん2023/03/13(月) 08:55:02.30ID:cTr5LNbf
Nスぺに出ていたWaldschmidt先生が複素解析の
論文をarXivに出している

https://doi.org/10.48550/arXiv.2303.04514
0236132人目の素数さん2023/03/14(火) 11:08:11.45ID:14MQ4lTo
カトリックがカトリックの教義に対立する信仰を持つ人々を指して言う時の呼称
拡大解釈され異教徒や政治上別党派や異端児にまで宛てて呼称される事も有る

IUTはヘレティックよりも酷い、シャムの双生児だ
0237132人目の素数さん2023/03/15(水) 04:37:37.50ID:hSVs49y9
この予想をば
我が定理とぞ思う
望月の
欠けたる証明
なしと思わば
0238132人目の素数さん2023/03/15(水) 16:54:35.11ID:wvv1a1rt
そもそも形式的に証明可能なの?>abc予想
これだけ手こずってるなら命題自体の証明よりも命題が証明可能かの証明にシフトした方がよくない?なんにでもいえるけど。
経験則で証明に時間がかかると予見された命題は証明可能性の証明をしておくほうが時間の無駄が少なくて済みそう
0239132人目の素数さん2023/03/19(日) 07:09:41.88ID:t/mNWt+f
>命題は証明可能性の証明
から疑うの?

ABC予想の「c ≻d^(1+ε)」は、
「cとdの大小関係はc < dとなるのが普通だが、c ≻ d になることも例外的にある。
この例外は無限個あるが、「d を累乗して少し大きくすることで有限個にできるだろう」との主張。

「d の累乗でεが大きい」くして、(1+ε)=∞になると、d^(1+ε)側が無限大になるから、
だからc <d^(1+ε)で、c >d^(1+ε)の大小関係になる例は≒ゼロだよね。

d の累乗のεが0で、(1+ε)=1のとき、
ABCの組合わせがc ≻ dになる例があることが示されている。

また終了したABCトリプルの組合わせの計算プロジェクトで、c ≻ dの例外の組合わせがあり、一方でc < dの方が普通になることが示された。
次に、ABC予想の「c ≻ dの例外例が無限にある」は、組み合わせ計算は有限個なのだから、無限の終わりを示すまでは不可能だよね。

でもABC予想は、累乗のεを∞まで大きくすれば、c >d^(1+ε)の例外がゼロになるならば、
累乗の次数(デグ)を大きくすれば、どこかのεの累乗次数で「例外は有限個」になるならば、
 >命題は証明可能性
はあるのだろ。

「たし算の増え方」より、「かけ算の累乗の増え方」は累乗的に大きい。
10+10、10+10+10、10+10+10+10、、
10、100、1000、10000、100000、、

たし算の数値の増分を仮に「誤差と見做す」せば、εの累乗の次数(デグ)を上げれば、
c >d^(1+ε)の例外の個数は、次数(デグ)に応じて累乗的に減少する。

これをdeg Θ≦deg q+cとして、誤差cの次数(デグ)が同じか少し大きい、を示す。
0240132人目の素数さん2023/03/21(火) 08:07:45.67ID:EggHEb7X
「たし算の増え方」より、「かけ算の累乗の増え方」は累乗的に大きいから、
累乗の次数(デグ)を少し大きくすれば、たし算の数値の増分を次数(デグ)は「誤差cと見做す」ことにした。

宇宙際で、現実の舞台のdeg Θを、かけ算しかない世界として累乗のdeg qと誤差cとして、誤差cが小さいことを示すアイデアで、
Θ関数から、遠アーベルによるΘ関数Hodge 劇場の入れ物の被覆から、deg qに相当する qパラメーター値がq^j2/2lの元となる。

ここでΘ関数Hodge 劇場の入れ物の被覆は、普通でなく、ある特殊な被覆であっても、
deg Θ≦deg q+c
が示せれば、ABC予想の主張を証明できる。
そこれ被覆を作るときに、遠アーベルの群計算では対称性が多いほど、情報が伝わるから、
対称性の情報が多くなる、充満多重同型の条件で j でラベル付けされた点において、qパラメーター値がq^j2/2lの元を得る。

>>221
 >同型は一つでいい
の限定は無いのかな。
Θ関数Hodge 劇場の入れ物の被覆は、deg Θ≦deg q+cを示せれば、様々が可能だから「一つ」などない。
充満多重同型の条件や、 j でラベル付けの特殊値に意味があれば、その被覆で証明すれば十分だから。

すると、充満多重同型の条件や、 j でラベル付けの特殊値に意味があるか、はあるが。
0241132人目の素数さん2023/03/21(火) 08:50:38.15ID:l6dC3QCD
足し算と掛け算とか対称性の話は本質ではないよ
Scholzeがやったように、同型一つ選んで進めればラベルjは1にしかならないんだから、結局は充満多重同型で何故解決するのかと言うことになる
ここでTaoのコメントの概念実証が効いてくるように思える
充満多重同型(やカプセル)の定義自体は、群のような、同型が考えられるものなら何でもよいので、こういう平易な例で概念実証して、非自明な結果が得られるべきだが、実際には、初期Θデータ、素点縞、D-NF橋、D-Θ橋、D-ΘNFホッジ劇場、代入点、代入切断面などを導入するまで、全く出てこない
正直これは、複雑な定義で充満多重同型の無用さを煙に巻いているように感じられる
0242132人目の素数さん2023/03/21(火) 08:52:52.30ID:l6dC3QCD
代入切断面→代入切断
この間違いが分かる人がいるかも分からんが一応訂正
0243132人目の素数さん2023/03/21(火) 09:05:02.42ID:l6dC3QCD
もし充満多重同型の平易な例で非自明な結果が既にあるならすまんが教えてほしい
0244132人目の素数さん2023/03/21(火) 10:38:11.18ID:139loMlr
Chat-GPTに問い合わせてみたら、適確な証明を教えて呉れるかもしれないぞ。
0245132人目の素数さん2023/03/25(土) 22:58:13.34ID:NuusJlyc
>>234
✉のとこに
「ご定年後にYouTubeのチャンネル開設してくださぃ」
とかってリクェストしたらダメですかめぇ!
って、‥ぃぃゎけねぇか‥ハハァ‥
0246132人目の素数さん2023/03/25(土) 23:01:31.35ID:NuusJlyc
>>244
「ボキの幸せゎ、…ど↑こ↓…?…こ↑こ↓…?…」
ってのも聞ぃてみたらぃぃじゃん。アセレバィィジャン
0247132人目の素数さん2023/06/10(土) 22:17:03.23ID:yvkJFk9j
>>159
チンパンジーは円とその円に内接する正多角形が合同であると言っているのか?
0248132人目の素数さん2023/07/07(金) 21:19:19.83ID:XMrPYkS0
「ABC予想」の証明理論、欠陥見つけたら1.4億円 実業家が発表
https://news.yahoo.co.jp/articles/2b9b55de8071786d2ba6df734dd2f822e33fb091

数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の
望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生
(のぶお)さんが7日、「間違いの証明」に100万ドル(約1億4千万円)
の賞金をかけると発表した。
0249132人目の素数さん2023/07/08(土) 01:09:42.85ID:sM7P/XP1
それだけの金があれば10人の数学者を育てられるものを。
0250132人目の素数さん2023/07/08(土) 01:18:03.72ID:Rb7XFhqF
1人1400万円で数学者が育てられる?
1〜2年分の給料+経費にしかならんだろ。
0251132人目の素数さん2023/07/23(日) 20:44:54.83ID:0Eqe+Tfw
博士の学生一人につき年額400万円支給ならば、3年間で1200万円、十人3年間なら1億2千万円である。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況