X



【数学】 ABC予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
■ このスレッドは過去ログ倉庫に格納されています
0001朝一から閉店までφ ★
垢版 |
2020/04/03(金) 18:33:44.93ID:CAP_USER
2020.4.3 17:45ライフ科学

https://www.sankei.com/images/news/200403/lif2004030087-p1.jpg


 京都大の望月新一教授が証明した「ABC予想」は整数の性質に関する問題で、数学の多くの未解決問題の中でも超難問として知られる。

 ABC予想は1以外の公約数を持たない自然数A、Bと、その和であるCについて、それぞれの素因数分解がどのように関係しているかを示した不等式。望月氏によると、足し算と掛け算の「絡み合い方」の性質に関する予想だという。

      ===== 後略 =====
全文は下記URLで

https://www.sankei.com/smp/life/news/200403/lif2004030087-s1.html
0081ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 05:48:07.82ID:XSyXCLeg
>>28
> 京大の雑誌にだけ載って、世界的には認められてないんでしょ?

全く違う

京大の数理科学研究所の雑誌だが査読は京大とは関係のない海外の超一流の研究者が行って
7年半かかって望月の論文を解読しその証明の正しさを認めたから掲載されることが決まったんだよ

だから望月論文の正しさは世界的に認められたのだ
0082ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 05:55:08.84ID:XSyXCLeg
>>47
> そのオツムで、コロナ問題を解いてくれないかね?
>
> それが望月さんのアタマの良さの
> 何よりの証明になりますよ。

知識が高度になればなるほど専門性は高くならざるを得ない
だから極めて高度な知能の持ち主だからと言って専門以外の問題を解けるわけではない

コロナ問題の本質は数学の問題ではないから望月氏の専門ではない
感染の広がりとかは数学的にモデル化する研究は昔から山ほどあるけれど
優れた数学者がどれほど正確な感染の数学的モデルを作ろうと、
コロナが日本で破局的な結果を迎えるか否かは我々1人1人が現実に実社会でどういう行動をとるかで決まるだけだ

君みたいな他力本願の人間ばかりだと遠からず日本でのコロナ問題は破局的な結末を迎えるだろうな
0083ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 05:57:04.17ID:XSyXCLeg
>>68
> たしかに竹之内脩の集合論でも
>
> A∧B ⇒ A∨B
>
> を導出していた
> 俺はこれでその本を読むことを止めたが

上は明らかに正しいが、何か問題でも?

これが逆の

A∨B ⇒ A∧B

を導出していた、というならナンセンスだから読むのを止めて当然だが
0086ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 06:26:53.46ID:Kp3s0T3L
証明されると何が嬉しいの
0087ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 06:41:24.76ID:rxPrdDG6
>>45
この望月教授本人の告発(と本人が言っている)ブログを読むと謎のブラックホール的に論文が査読されているのか否かも分からない状態が
海外の敵意のある勢力か、はたまた論文への大きな誤解から生じている。そのような状態は数学界・研究者にとって健全ではない

ってことは前半を読んでなんとなく理解できた(丁寧で分かりやすい文章なので)
でも、後半の“論文に対する誤解”を解こうとする専門店な数式や叙述についてはマジでサッパリ分からないよ・・・
0088ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 06:49:37.26ID:SAKRV1GG
わざと低能糞土人の欧米白人キリスト教諸国連合どもに理解できないように書いて
この宇宙と別の宇宙を繋ぐ基礎理論の構築を日本が完成させる計画だから
わざわざ低能糞土人の欧米白人キリスト教諸国連合どもに理解される必要は無い
低能糞土人の欧米白人キリスト教諸国連合どもはそのまま滅びとけや
0089ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 06:49:59.75ID:SAKRV1GG
スタップ細胞も作製は成功したが培養を捏造してた
という事実を捻じ曲げて
スタップ細胞の作製自体が捏造だったと印象付ける報道を
低能糞土人の欧米白人キリスト教諸国連合どもの洗脳装置であるテレビがしまくった結果
スタップ細胞作製技術の特許をアメリカに取られて終わったからな
全ての元凶は低能糞土人の欧米白人キリスト教諸国連合どもの世界支配だから
さっさと低能糞土人の欧米白人キリスト教諸国連合どもをウイルスで滅ぼせ
0090ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 06:50:16.56ID:SAKRV1GG
低能糞土人の欧米白人キリスト教諸国連合どもは
理解が出来ないから
宇宙が複数あると一神教の世界観が壊れるので認めたくないから
有色人種の偉業を認めたくないから

もう低能糞土人の欧米白人キリスト教諸国連合どもは放っておけ
0091ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 07:09:54.06ID:Jiv/ONJP
それほど超難解な理論の名称がABC予想って、実に簡単で覚えやすい。
0092ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 07:21:23.42ID:FXNwP/QP
>>78
3/18
「ABC予想」が数学の学会誌に掲載されない理由
https://books.j-cast.com/2020/03/18011145.html
 学会誌掲載が実現しないのは、IUT理論がとても難解だからだ。論文掲載の事前審査が進まないのだそうだ。
 望月教授は「トップクラスの学者でも理解するのに長時間を要する」と見ていて、学界の理解を広げるのにさして熱心ではないとされる。
下手をすると確認されないまま忘れ去られる恐れもある状況だと言えるかもしれない。
2004年のド・ブランジュによる「リーマン予想解決」のようにほとんど放置されている先例もある。

4/3
ABC予想とは?京大・望月新一教授が終止符を打った、35年間未解決だった超難問
https://www.huffingtonpost.jp/entry/mochizukishinichi-math-abuyosou_jp_5e86d26bc5b63e06281bb548

査読8年、京大教授の「ABC予想」証明理論 ついに論文誌掲載へ
https:
//www.itmedia.co.jp/news/articles/2004/03/news155.html

4/4
米国育ち、独創的な数学者 「ABC予想」証明、京大の望月教授
https:
//www.asahi.com/articles/DA3S14429159.html
0094ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 07:50:10.18ID:a2kexEYC
2018年のフィールズ賞受賞者が証明になってないのに受理されて驚きって、
そうとう問題あるんじゃね? 小保方事件の教訓が活かされてないじゃん
京都大学にとっては正しくないと困るってことなんだろうけど、
政治力じゃなくて説明で納得させないと
0096ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 08:19:19.46ID:Am86uvjd
スピードの向こう側みたいなもん
0097ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 08:21:31.53ID:h+CdB1nv
>>58
なるへそ
要は岡山のクソ親父5人分くらいの変態ってことだな
0098ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 08:24:19.62ID:sCdzbPXt
>>94
証明になってない云々のソースある?
ショルツが文句つけてきたとこは望月さんが回答済みだが
0099ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 08:29:10.38ID:aPN4BOP6
>>58
良いからさっさとご飯食べなさい
冷めちゃうでしょ!
0100ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 08:55:06.81ID:RRmv9jxo
サイン・コサイン・た・・・タイガージェット、シン!!!(バカでゴメン)
そんな俺にでも理解できる、ABC予想が証明された後の世界がどう変わるか教えてくれ。
タイムマシーンが一歩近づいただったらええな。なんとなく、超難解なクイズが解けた
ような気がするが。
0101ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 08:59:42.87ID:kGoahrb/
>>83
明らかだというのなら全称命題から存在命題を証明してください
0102ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 09:01:11.40ID:kGoahrb/
すべてのカラスは黒い ⇒ 少なくとも1羽黒いカラスが居る

どこにいんだよwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
0104ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 09:20:10.30ID:AfNvNxsM
結局間違ってだんだっけ?フィールズ賞のドイツ人にここちがってね?って言われて反論できてないんだろ?
0105ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 09:22:06.40ID:h1m2OsXX
韓国、在日韓国人、北朝鮮や左翼マスコミ、左翼野党は、日本人がコロナウイルスで苦しむのを見て喜び、東京オリンピックの中止を願っているのだ。在日の資金源であり、新型コロナの感染源となるギャンブルのパチ★コ屋の営業こそ禁止せよ。。。。。。。。
左翼マスコミ、左翼野党は日本の利益より韓国、北朝鮮や在日の日本支配のために、安倍総理に対する醜いヘイトをまき散らし、母国の韓国人と同じように日本人をも反日親韓に洗脳しようとしている。。。。
自分たちの醜いヤジや日本への誹謗中傷は報道・表現の自由であり、自分たちが批判されればヘイトスピーチだ、ネトウヨだとかみつき、人権を利用した二枚舌で日本人を分断しようとしているのだ。。。。。

韓国、在日韓国人、北朝鮮や左翼マスコミ、左翼野党は、新型コロナウイルスで日本人が苦しむのを楽しみ、オリンピックの中止をあおっているのである。醜い誹謗中傷で日本人を混乱させ対立させるのが在日野党と極左メディアの狙いなのだ。。。。。
極左野党や朝日、毎日(TBS)、東京(中日)などの極左マスコミは、犯罪でもない森加計、桜を見る会などで、必死に自民と安倍首相のイメージダウンを狙ってヘイトを繰り広げて、韓国、在日韓国人、北朝鮮の利益ために、日本人を親韓反日に洗脳しているだ。
日本の憲法が改正され日本人が目覚めれば、日本から技術や金を盗めなくなり、在日特権やパチ★コ利権も失う恐れがあるため、韓国、在日韓国人、北朝鮮は、左翼マスコミや左翼政党を使い、狂ったように安倍叩きを必死で行い続け日本人の印象操作を行っているのである。。。
少数の在日韓国・朝鮮人の反日書き込みが、日本の政治経済を大きく混乱させ対立させていることに気が付かず、一緒に安倍批判や政治批判を行う狂った日本人を目覚めさせなければならない。。。。
これまで景気を回復させ、国際関係を改善してきた稀代の名首相である安倍総理の指導の元で、この未曾有の難局を、国民一丸となって乗り越えなければならないのだ。。。。。
今の日本には軍隊がいないから甘すぎるのだ、世界のどこの国にも自国のために警察がいるように、軍隊もいる。
自分の国を守れない憲法9条なんてばかにされ、70年たっても世界のどの国も真似しないし、日本を尊敬もしない。喜んでいるのは中韓と北朝鮮とロシアだけだ。
脅してゆすりたかりをくりかえされ、技術も金も盗み放題。これが日本の現実なのだ
だから日本国民に欧米や中国の外出禁止令のような厳しい規制を行うこともできないのである。
国際社会ではしっかりとした軍隊を持たない国は、まともな国として評価されないのだ。。。。。。
国ぐるみ社会ぐるみで日本ねつ造したヘイトをまき散らす国が韓国であり、日本人を金づるとしか考えていないゆすりたかりの民族なのだ。何度も何度も騙されるな。。。。
0106ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 09:29:26.53ID:qMup6aOm
それ証明されると俺の今晩のおかず一皿増えるんかい
0107ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 09:37:49.27ID:CuNYjzF5
>>105
お前はゴミか?
公害問題を企業の利益を損なう恐れがあると追及に及び腰な
自民党政府や経済界に対して、取り組むように圧力を掛けた
のが市民団体や野党だろ
お前みたいなゴミは社会に有害無益だ
0108ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 09:44:21.59ID:sCdzbPXt
>>104
反論したし解決済みだからPRIMSに掲載された
0109ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 10:27:42.40ID:HzbswJkd
全くわからん。
単純にAとBを足したCよりも、
AとBとCを掛けた数字でさらに正数を
累乗した数の方が
デカくなるのは当たり前なのでは?
0110ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 10:50:57.81ID:80grGnWa
864名無しさん@1周年2020/04/02(木) 05:28:57.16ID:EfNKm1mu0>>870
レンジで使用済みマスクを滅菌する方法
(ワイヤー入りマスクは発火の恐れがあるので使わない)
@霧吹きでマスクを湿らせる
A500Wで5、6分加熱する
これでウイルスはほとんど死滅し何度でも使える

870名無しさん@1周年2020/04/02(木) 05:56:24.61ID:q31vGRjw0
>>864
アイロンの方が安全だろ
0112ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 11:04:59.41ID:RRmv9jxo
なんか何百Pに及ぶ大論文らしいが・・・・
普通、何Pぐらいなんだ?この手の論文

原稿用紙1〜2枚程度の感想作文でさえ泣き泣き書いた俺には理解できない世界だけど。
0113ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 11:31:25.85ID:J2t0zvrE
エロ画像掲示板
0114ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 11:37:16.67ID:J2t0zvrE
体力低下乙
0115ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 11:39:32.38ID:J2t0zvrE
左通行で即死
右通行で半減
0116ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 11:46:04.72ID:EQNH9W1V
>>104
だから8年を費やして査読完了、正しさを認められたんだって
お前みたいにいつまでも否定引き摺って次の情報を得ない奴が地動説を信じてたんだろうな
0117ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 11:53:42.45ID:a2kexEYC
京大によると、論文は同所が編集し、
欧州数学会が発行する専門誌「PRIMS」(ピーリムズ)に
2月5日付で受理された。今後、特別号に掲載される予定。
望月教授はPRIMSの編集委員長だが、今回は除外され、
特別編集委員会を設置して論文を審査した。
0118ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 12:03:48.84ID:ZvTrjCbG
>>109
1 + 8 = 9

1 × 8 × 9 = 2の3乗 × 3の2乗
 ○乗部分を落とすので 2 × 3 = 6

掛け算側の方が小さくなる比率的に少ない例 
しかし無限個ある

>上の2 × 3 の部分を1+e 乗し、eが0より少しでも大きいと有限個になるだろう、というのがabc予想である。
0120ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 12:08:25.11ID:gt+bJjy7
で、PRIMSは プリムス か ピーリムズ かどっちなの?
Publications of RIMS だから後者?
0122ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 12:23:13.11ID:4qkDfuTe
>>89
作製自体嘘やで
そもそも論文のレシピ通りに培地作ったらオボちゃんの言うような
酸性の培地にならなかったレベルの酷さや
論文を読んで科学的な議論する練習するとええで
0126ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 14:40:20.73ID:7TqCf7rB
望月教授が誰も理解できない全方位壁打ちしてる状況の中で、
内容を理解した数少ない数学者である加藤文元教授が分かりやすく解説した動画らしい
https://www.youtube.com/watch?v=kq4jbNl4lJk
0129ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 20:14:16.17ID:BD6/q/Z8
いいこと思いついた
講演会で原稿を泉谷しげるに渡して代わりに講演してもらうの
講演中に乱闘が起きて死亡者多数→反対者が消える
0130ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 01:15:40.24ID:a29ls05L
>>101
> >>83
> 明らかだというのなら全称命題から存在命題を証明してください

A∧B ⇒ A∨B を明らかだとは言ったが ∀x.P(x) ⇒ ∃x.P(x) を明らかだと言ったことはないよ ・・・・・ (※)

そもそも全称命題が真であることは述語P(x)を満たすxの値の存在を保証していないからね

実際、xのような個体変数が取り得る値の成す集合(domain of discourseと呼んだりする) S として
空集合を選べば明らかに後のほうの含意命題は偽と解釈される


> (A∧B ⇒ A∨B を)明らかだというのなら全称命題から存在命題を証明してください

などという的外れなことを言うのは、君が全称命題∀x.P(x)あるいは存在命題∃x.P(x)を、
個体変数xの取り得る値x1, x2, ... の全てについての(無限個も許す)論理積P(x1)∧P(x1)∧・・・あるいは論理和P(x1)∨P(x1)∨・・・だと錯覚しているから
だが、全称命題や存在命題は(無限個も許した)論理積や論理和ではない
実際、全称・存在限量子の代わりに無限個の論理積や論理和を論理演算子として入れると
通常の古典1階述語論理が満たしている重要な性質であるコンパクト性という性質が失われる

なお、君の錯覚に従って、全称あるいは存在限量子を(無限個も許した)論理積あるいは論理和と考えたとしても
個体変数が取り得る値の集合S={x1, x2, ...}が空集合の場合には、件の論理積は真trueまた論理和は偽falseとなるので
やはり(※)の後の含意は成立しない(から証明できなくて当たり前)という結論になる

しかしながら、命題論理の論理式としてのA∧B ⇒ A∨Bは古典論理(2値論理)だけでなく直観主義(あるいは構成主義)論理でも真な論理式だ
0131ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 05:47:11.16ID:2tIsqVdT
行き着くところは人種差別問題だろうな
0132ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 05:58:51.54ID:NVmLn0ik
>>130
私も偽の仮定があると信じてた時がありました(笑)

演繹には偽の仮定という概念はない
それは条件法の話であり演繹ではない
ゆえに空集合を前提とする演繹はないし
偽の含意命題も存在しない

前提,含意,条件法,仮定

その用語を正確に知るには野矢茂樹の論理学を読むべきです

詳しくは
野矢茂樹『まったくゼロからの論理学』岩波書店
を参照してください

それから僕が読んだことのある集合・位相では
全称命題を論理積
存在命題を論理和
として定義していました

もちろん目的が違うので貴方と定義が異なるのは当然ですが
無限個を許した場合だと位相をみたさないという意味ですね
まあそうでしょう
これは明らかですね
でも僕がいつ無限個の話をしたんでしょうね
意味がわかりませんが貴方にとっては明らかなのでしょう(笑)
0133ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 06:04:35.26ID:NVmLn0ik
>>130
さて

(A∧B:偽 ⇒ A∨B:真∨偽):真

という演繹はできませんのでこれは明らかではありませんから
証明してください(酷だと思うのでここではしなくていいですよ)

それから蛇足ですが竹之内脩の集合論では

A∨B ⇒ A∧B がありました

これも同様の理屈でしょう
偽の仮定(笑)
0134ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 06:06:30.57ID:NVmLn0ik
真理表

真 真 真
真 偽 偽
偽 真 真
偽 偽 真

これは条件法における真理値です
この問題と演繹を混同しないでくださいね
僕も混同していた時期がありましたが
野矢茂樹先生に救われました
0135ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 06:26:41.47ID:tFuNlGsy
「宇宙際タイヒミュラー理論」は、「宇宙臭い堆肥三浦理論」と覚えれば良いことに気付いた
0139ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 09:26:58.31ID:/Fjhye2i
●日本が輩出した天才

紫式部 「源氏物語」
道元 「正法眼蔵」
葛飾北斎 「冨嶽三十六景」
田中久重 「万年自鳴鐘」
三島由紀夫 「金閣寺」
南部陽一郎 「ひも理論」
望月新一 「宇宙際タイヒミュラー理論」
0140ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 09:44:52.63ID:/QLeE9eP
>>139
岡潔
0142よっちゃん
垢版 |
2020/04/05(日) 10:44:54.78ID:vL8x09hx
The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus
and declares that the division by zero was discovered as 0/0=1/0=z/0=0
in a natural sense on 2014.2.2. The result shows a new basic idea on the universe
and space since Aristotelēs (BC384 - BC322)
and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta
(598 - 668 ?).

Announcement 478: Who did derive first the division by zero 1/0 and
the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of
a computer?

再生核研究所声明539 (2020.2.2) ゼロ除算誕生 6周年を迎えて
0143ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 10:45:34.15ID:awA3yTko
>>137
126ではあかんか
0144ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 11:12:24.24ID:Ipch8Ztl
読んでたら頭痛がしてきた…
理系は楽しいのか
0145ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 11:14:02.91ID:ZXTEG0AS
チョンはXYZ理論でヌーベル賞を目指す
0146ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 11:16:45.36ID:zUcX8DQI
フェルマーの最終定理を証明したワイルズの論文のページ数は数百ページに及ぶが
もしABC予想が正しいとすると、フェルマーの最終定理の証明が
たった論文1ページで説明できちゃう

他にも様々な予想がなし崩し的に証明できたり、照明が簡略化できるなど
大きなポテンシャルを持つ
0149ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 11:49:13.13ID:zmuSBBxm
>>27
ともえーのソロバン
0150ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 11:49:16.84ID:zmuSBBxm
>>27
ともえーのソロバン
0151ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:16:37.01ID:43YsLtw+
>>27
旺文社カセットLLスーパー
0152ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:17:32.04ID:ldWQOPAt
望月教授と滝浦真人の類似点

望月教授の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/二重投稿
0153ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:33:50.20ID:43YsLtw+
>>49
>>144
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。 
しかもワイルズの証明と比べて遙かに偉大な証明。
ワイルズの証明は、「剣岳」の登山に喩えれば、一人の登山家
がルートを緻密に練って、 氷河の上を登ったりしてなんとか
登頂して、三角点を設置したようなもの

望月先生の証明は、「立山黒部アルペンルートの竣工」のよう
なもの。 彼は、ケーブルカー、高原バス、エレベータとトロリー
バス、ロープウエーという四段階の新しい輸送システムを大規模
に構築すれば、何百人も立山に登れることを証明した。

望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、
望月の定理によって証明おわりと記すことが出来る。
その他の問題も200ぐらい一挙に解決してしまう。
0155ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:37:44.33ID:d2pM/vpU
>>1
1世紀も前に解決してるじゃん
たしかポワロとかいう・・・・
0156ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:39:00.67ID:mIzhlW4R
>>1
自分は理系でこういう話題には興味があるのだが、
自分のまわりは数学を嫌いな人間が多い。
にも関わらずこんな話題では盛り上げるのが不思議だ。
興味を示さないはずでは?
でも内容を見ると、ちゃちゃ入れているのが多いけどな。
解けないのが解けたという話題性で群がってくるのだろう。
流行りもの好きというか。困ったもんだ。
0158ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:49:18.81ID:YsjYavAB
サルがコピペして、自分たちの方が早く証明してたと言いそうだな。
0159ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 13:00:26.60ID:RCk17vF/
とけたら社会が変わるのか
0160ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 13:18:11.12ID:J+vokGaP
もしノーベル賞なら
数学者ではじめてってこと?
0161ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 13:20:28.70ID:NVmLn0ik
>>160
そういうこと
0164ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 17:38:21.03ID:sIc0APnj
>>154
そのNatureの後半の段の訳

>数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、これがEMSのガイドラインに違反しないことを確認している。

逆証の記事をドヤ顔で引用しているド阿呆
0165ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 17:55:07.87ID:wS5vEcI/
まともな査読審査してるなら自分の所属してる
数学教室の出してる論文誌に投稿することは
よくあるんだがよく知らない人が不正だと暴れる
0166ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 18:55:02.89ID:ei8qChMt
>>144
この手の純粋数学は数学オタク以外楽しくないよ
これに関しては理解できなくてオタクも楽しくない可能性すらあるが
難問が解けたという事実にはテンション上がってるんじゃないかな
0168ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 20:22:44.66ID:a29ls05L
>>132-134
数学で用いられる論理のための論理学を学びたいのならば
野矢茂樹のような哲学系の論理学の本でなく
数理論理学の教科書を読むべきだね
何故ならば哲学系の論理学では自然語(例えば日本語)の論理構造などの議論(君が挙げている「条件法」はその最たるもの)が出てきて
原理的には完全に形式化可能であるべき数学で必要とする論理からすれば余計で誤解を招きやすい

その点、論理そのものも一つの数学的構造として数学的な手段で分析する数理論理学のほうが数学徒には明晰で余計な誤解が入り込む余地がない

数理論理学では、⇒を含意の論理演算子およびfalseを偽を表す論理定数として、任意の命題Xについて
false ⇒ X は恒真命題だ

君は恐らく野矢の本を間違って理解している
哲学系の論理学を正しく理解する上でも数理論理学の特に古典(命題および1階述語)論理の部分から先にきちんと勉強することを強く勧める

まずは古典命題論理および古典1階述語論理に対するGentzenの自然演繹法NKの証明論と意味論とぐらいはきちんと勉強したまえ
話はそれからだ
0169ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 20:32:03.12ID:NVmLn0ik
>>168
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X は恒真命題だ

君は形式論理学の条件法と全く同じことを言っているが何が言いたいの?
君こそ勉強不足だね

偽の仮定(笑)でどこまで数学を記述できるのかやってみなよ
どうせ空集合の話なんだろ?
意味ねえ

>false ⇒ X は恒真命題だ

の具象例は

宇宙人はいる ⇒ 1=2

だろ?wwww

ゴミなんだよ数学くそ論は

おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ
0170ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 20:34:07.52ID:NVmLn0ik
演繹とは真なる前提のみを扱い
それに伴い含意命題は必ず真をなす

これが野矢論理学の心髄
0171ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 20:40:15.99ID:NVmLn0ik
>>168
【哲学板】論理学・集合論
ttps://lavender.5ch.net/test/read.cgi/philo/1490952242/

ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう
0173ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 21:14:34.31ID:7wCSWzgW
>>161
んなアホな
0175ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 21:46:43.18ID:NVmLn0ik
いや

数学にノーベル賞がある:偽 ⇒ 数学者で初めて:真

ってことだろ
0176ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 21:57:13.35ID:NVmLn0ik
>>175
これは演繹ではない
演繹なら
数学にノーベル賞はない
で終わり
0180ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 22:09:22.21ID:NVmLn0ik
>>178
後件が正しければ前件が肯定される
っていう論理か

まあそういう含意も存在しない
数学者はノーベル賞を受賞できないから
数学者で初めてであるという後件は真ではないから

お前もbotか
■ このスレッドは過去ログ倉庫に格納されています

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