20/04/03 22:59:15 imZd6qJT.net
「ABC予想」証明したIUT理論の解説書 『宇宙と宇宙をつなぐ数学』緊急重版決定
URLﾘﾝｸ(headlines.yahoo.co.jp)
51:ニュースソース検討中＠自治議論スレ
20/04/03 22:59:35 gy+u2KjT.net
>>47
ABC予想は、無限の整数にどのように処理をほどこすと有限に変わり得るかの問題。
無限の部分集合は無限だ。つまりABC予想は、直感的には無限になりそうにも思う。
新型コロナは、ウイルスそのものから、その発生の原因、感染の拡大、また症状においても
ほとんど何でもあり(無限定)であるかの様相を呈し、世界中を大混乱に陥れている。
確かに、我々の認識するインフルエンザの様相としては無限定にもみえる。
が、つぶさに個々の感染経緯、発症状況、その症状の形態を集めていけば、何らかの感染に関わる共通する項目がでてくるはず。
ここがきちんと認識されなければ、新型コロナの治療は難しくなる。
1月からこの今において時間的にも、世界各国における状況(場所的)にもそれぞれ違いが多すぎるからだ。
しかし、何かは見つかるはず。
52:ニュースソース検討中＠自治議論スレ
20/04/03 23:08:04 pQjhg+r1.net
>>1
解説本はこちら
宇宙と宇宙をつなぐ数学 IUT理論の衝撃
加藤文元 著
発売日：2019年04月25日
URLﾘﾝｸ(www.kadokawa.co.jp)
著者 加藤文元
現・東工大 理学院数学系 教授
（履歴 独マックス・プランク研究所員、仏レンヌ大 客員教授、仏パリ第６大学 客員教授）
レビューより：
本書は数式を追っていくような数学書ではなく縦書きで、IUT理論の紹介にとどまらず数学とは何かを述べるような内容になっている。…
文章が秀逸で一般向けによくこれほど平易に解説できるものだと感銘を覚えるほどである。…
53:ニュースソース検討中＠自治議論スレ
20/04/03 23:10:34 +eDMrgpx.net
公約数自然数素因数分解すら忘れた文系だが、何が凄いのか理系の知的なエロい人教えて↓
54:ニュースソース検討中＠自治議論スレ
20/04/03 23:18:17 AAPvDwkE.net
どんな難解な本でも必ず一定数の需要があるらしい。
これは歩留まりの問題だからどうしようもないらしい。
55:ニュースソース検討中＠自治議論スレ
20/04/03 23:33:08.67 pQjhg+r1.net
>>1
中高生でも分かるIUT理論を図解付きで公演
解説は加藤文元教授
ユーチューブで「 fNS7N04DLAQ 」で検索
または「 abc Conjecture and New Mathematics 」で検索
56:ニュースソース検討中＠自治議論スレ
20/04/03 23:35:58.33 EzGr/fj8.net
あ～～イイ気持ち～
57:ニュースソース検討中＠自治議論スレ
20/04/03 23:46:17.57 pQjhg+r1.net
>>50 >>52
刊行によせて
望月新一
… しかし、ある意味においては数学という学問の誕生以来、
「緩み」＝「不定性」は到底あり得ない、考えられないものとして認識されてきた「足し算と掛け算の間にある固い関係」＝「環の構造」においても、
「緩み」＝「不定性」は数学的に意味のある形で存在し得るものであるという趣旨の理論は、
「環」や「数」の構造・性質を研究する「数論幾何学」という分野の多くの（特に欧米の）研究者にとっては、
受容可能な範囲をあっさり飛び越えた、余りにも衝撃的な事象として受け止められたようです。…
58:ニュースソース検討中＠自治議論スレ
20/04/04 00:00:50.48 EtihWxBa.net
>>49 >>53
要は異世界転生アニメ状態
新しい数学そのものを作っちゃったら、
今まで解けなかった問題がそれで解けるようになった
ある異世界では全員が何十年も剣術の修行してるけど、
突然ライフル銃作れる人が出てきて、
それは強力だけど射撃の訓練が全く別なので、ゼロから始めるとかなり難しい
この世界ではライフル銃をうまく使いこなせる人が数人しかいないから、まだ誰もそれが本当に使えると信じてない
59:ニュースソース検討中＠自治議論スレ
20/04/04 00:08:35.97 pDo3bXGz.net
第一志望学校多浪で不合格、とうきょう医科大在日枠情実の、リカチョン
全く関与せず
60:ニュースソース検討中＠自治議論スレ
20/04/04 00:28:33.49 gmP0u7ZB.net
生存記録を記録してた先生だよな？
生きておられて本当に良かった。
とんでもない功績だろうから、狙われてもおかしくないことなんだって
８年も気にしてた
61:ニュースソース検討中＠自治議論スレ
20/04/04 00:32:18.64 dK4cWti1.net
宇宙際ナントカとか、まったくわからないよなー。
というか、想像すらできない。
62:ニュースソース検討中＠自治議論スレ
20/04/04 00:42:02.38 H8iklyih.net
参考まで
【数学】未解明だった超難問「ABC予想」ついに証明 京大の望月教授 「宇宙際タイヒミューラー理論」斬新・難解で査読に8年
ｽﾚﾘﾝｸ(newsplus板)
63:ニュースソース検討中＠自治議論スレ
20/04/04 00:42:33.82 /JDMqIwA.net
こういう人って中途半端な頭脳派より
久保帯人とか吉田都とかの方が通じる対話できそう
64:ニュースソース検討中＠自治議論スレ
20/04/04 00:59:27.72 4qkDfuTe.net
>>60
なにそれ？
65:ニュースソース検討中＠自治議論スレ
20/04/04 01:09:08.23 Qzh50Ao+.net
>>20
ウヨさんさぁ
京大だろうと東大だろうと人が違えば思考も違うんだよ？
頭の悪さ露呈しちゃったね
66:ニュースソース検討中＠自治議論スレ
20/04/04 01:12:37.33 FyEAN5/K.net
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
ってブログがあった。
２つの問題があるみたい
・「3番目の論文の中で系3.12」にロジックの飛躍があるのでは？
・自分が編集に関わる雑誌で査読・発表した
67:ニュースソース検討中＠自治議論スレ
20/04/04 01:23:39.95 //rNr7KJ.net
新しい数学を作ったってなんか途方もない話だな
本人自体が別宇宙からの来訪者なんじゃないのか
68:ニュースソース検討中＠自治議論スレ
20/04/04 01:26:40.26 H8kZaYwS.net
たしかに竹之内脩の集合論でも
A∧B ⇒ A∨B
を導出していた
俺はこれでその本を読むことを止めたが
それが通じる時代や人がいることは確かだ
俺は一生分からんと思う
69:ニュースソース検討中＠自治議論スレ
20/04/04 01:30:54.61 H8kZaYwS.net
これを論理の話にすると
全称命題から存在命題を導出していることになる
形式論理学的には正しい場合もある(と書いてあるものもある)
しかし一般に正しいのかというのはよくわからない
なぜなら全称命題にはその存在性が無いからだ
70:ニュースソース検討中＠自治議論スレ
20/04/04 01:39:30.80 UzkkfBXG.net
これが解けると何に繋がってどんなことが出来るようになるんだ？？
71:ニュースソース検討中＠自治議論スレ
20/04/04 01:43:35.43 H8kZaYwS.net
論理学的にどうアプローチできるのかはわからないが
すべてのカラスは黒い
という全称命題についてそう書くことはできるが
本当にすべてのカラスを確かめられるわけではない
ここで重要なのは
カラスが黒いのかどうかではなく
カラスが居るのかどうか
を確かめられないという所
そういう意味で全称命題の不存在性という言葉を用いている
72:ニュースソース検討中＠自治議論スレ
20/04/04 01:51:50 /JDMqIwA.net
全称命題（ぜんしょうめいだい、英：universal proposition）とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。
例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。@wikipedia
存在命題（existential proposition）とは、ある条件を満たす要素が存在するという形式の命題のことです。
「ある自然数Nで、4Nが偶数とならないものが存在する」例えばこれが存在命題です。
「～が存在する」は、「ある～で条件を満たす」「～がある」「条件を満たす～が取れる」とも言えます。
英語では、there exists ~~ such that…とも言いますね。
◯論理学の記号で表現する
全称命題、存在命題は、簡単のために記号で表されることがあります。
全称命題の記号はallのAをひっくり返した「∀」で、
存在命題はexistのEをひっくり返した「∃」となります。
URLﾘﾝｸ(math-fun.net)
73:ニュースソース検討中＠自治議論スレ
20/04/04 02:12:19 qRK/jbAz.net
査読が内輪でやられているのではないかということと、
発表する雑誌も内輪のもの。
もう一人の天才シュルツ教授（なんと３２歳）の批判が
解決されるのがポイントかな。
証明されているということを信じたいが。
74:ニュースソース検討中＠自治議論スレ
20/04/04 02:33:44 99aeOMbg.net
応用例ないの
75:ニュースソース検討中＠自治議論スレ
20/04/04 03:48:43 Klqh84sv.net
Natureで八百長だとめっちゃ批判されたぞ
76:ニュースソース検討中＠自治議論スレ
20/04/04 04:27:10.18 Ho/7ERbM.net
チラ見しただけで予想し的中するとか天才だな。下手したら事案通報だぜ
77:ニュースソース検討中＠自治議論スレ
20/04/04 04:39:34.71 utYdRoKH.net
論文はタイプライターで作成しないとね。
ワープロではダメだ。
78:ニュースソース検討中＠自治議論スレ
20/04/04 05:29:00.08 cUMU4wa+.net
>>1 >>62
4/3
【数学】未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年
https:
//egg.2ch.sc/test/read.cgi/bizplus/1585905846/
【つまり？】現代数学で最重要の難問「ABC予想」を証明、論文掲載へ 京大・望月教授、8年越しで専門誌に★2
https:
//asahi.2ch.sc/test/read.cgi/newsplus/1585911164/
京大の望月教授「ＡＢＣ予想」証明 数学の超難問、公表から８年―学術誌が論文受理
https:
//rosie.2ch.sc/test/read.cgi/editorialplus/1585892523/
数学の難問「ＡＢＣ予想」証明 望月京大教授の論文、学術誌に掲載
https:
//www.sankei.com/smp/life/news/200403/lif2004030058-s1.html
ＡＢＣ予想証明「数百年に１度」の偉業 望月新一氏、独創的理論
https:
//special.sankei.com/a/society/article/20200403/0002.html
【偉業】世界で理解できる数学者は10人程…「ABC予想」証明 京大・望月教授に「ノーベル賞の1つや2つでは足りない」と関係者
ｽﾚﾘﾝｸ(newsplus板)
難問「ＡＢＣ予想」京大教授が証明 専門家「歴史に残る成果」
ｽﾚﾘﾝｸ(liveplus板)
79:ニュースソース検討中＠自治議論スレ
20/04/04 05:29:35.03 cUMU4wa+.net
4/3
数学の超難問ABC予想、京大教授が「証明」
URLﾘﾝｸ(www.nikkei.com)
京大は「論文の正しさが証明された」と説明している。ただ数学の難問は、論文掲載後数年かけて世界の数学者の検証を受けて初めて
証明されたとされる。論文発表から約7年半、本格的な証明に向けたスタートラインに立ったことになる。
ただ、世界の数学者の間では「完全に証明」とはなっていない。2018年に「数学のノーベル賞」といわれるフィールズ賞を受賞した
ピーター・ショルツ独ボン大学教授は「論文は証明になっておらず、今回、論文が受理されたと聞いて驚いている」と語る。
別の数学者も「論理に飛躍があることは複数の数学者が指摘してきたが、変わっていない」と話す。
【数学】ショルツェ独ボン大教授「ＡＢＣ予想は今も予想のままだ」 「今回、論文が受理されたと聞いて驚いている」とも
ｽﾚﾘﾝｸ(newsplus板:470番)
80:ニュースソース検討中＠自治議論スレ
20/04/04 05:30:21.18 cUMU4wa+.net
京大の望月教授、16歳で大学、32歳で教授
https:
//www.nikkei.com/article/DGXMZO57650060T00C20A4CR8000/
ABC予想を「証明」した京都大学の望月新一教授、どんな人？
https:
//www.huffingtonpost.jp/2017/12/15/prof-mochiduki_a_23309145/
【A/B/C】 ＡＢＣ予想証明の望月氏はどんな人？ ３２歳で教授、好物は焼肉
URLﾘﾝｸ(phoebe.bbspink.com)
ABC予想証明の教授、ブログも独創的 「欅坂に興奮」
URLﾘﾝｸ(www.asahi.com)
81:ニュースソース検討中＠自治議論スレ
20/04/04 05:48:07.82 XSyXCLeg.net
>>28
> 京大の雑誌にだけ載って、世界的には認められてないんでしょ？
全く違う
京大の数理科学研究所の雑誌だが査読は京大とは関係のない海外の超一流の研究者が行って
７年半かかって望月の論文を解読しその証明の正しさを認めたから掲載されることが決まったんだよ
だから望月論文の正しさは世界的に認められたのだ
82:ニュースソース検討中＠自治議論スレ
20/04/04 05:55:08 XSyXCLeg.net
>>47
> そのオツムで、コロナ問題を解いてくれないかね？
>
> それが望月さんのアタマの良さの
> 何よりの証明になりますよ。
知識が高度になればなるほど専門性は高くならざるを得ない
だから極めて高度な知能の持ち主だからと言って専門以外の問題を解けるわけではない
コロナ問題の本質は数学の問題ではないから望月氏の専門ではない
感染の広がりとかは数学的にモデル化する研究は昔から山ほどあるけれど
優れた数学者がどれほど正確な感染の数学的モデルを作ろうと、
コロナが日本で破局的な結果を迎えるか否かは我々１人１人が現実に実社会でどういう行動をとるかで決まるだけだ
君みたいな他力本願の人間ばかりだと遠からず日本でのコロナ問題は破局的な結末を迎えるだろうな
83:ニュースソース検討中＠自治議論スレ
20/04/04 05:57:04 XSyXCLeg.net
>>68
> たしかに竹之内脩の集合論でも
>
> A∧B ⇒ A∨B
>
> を導出していた
> 俺はこれでその本を読むことを止めたが
上は明らかに正しいが、何か問題でも？
これが逆の
A∨B ⇒ A∧B
を導出していた、というならナンセンスだから読むのを止めて当然だが
84:ニュースソース検討中＠自治議論スレ
20/04/04 06:10:12 EMcHoklF.net
おれはいつもA→A+B→ABCの流れです
85:ニュースソース検討中＠自治議論スレ
20/04/04 06:16:50 R677YWsp.net
アガサ・クリスティの小説によるとBの人が犯人です！
86:ニュースソース検討中＠自治議論スレ
20/04/04 06:26:53 Kp3s0T3L.net
証明されると何が嬉しいの
87:ニュースソース検討中＠自治議論スレ
20/04/04 06:41:24 rxPrdDG6.net
>>45
この望月教授本人の告発（と本人が言っている）ブログを読むと謎のブラックホール的に論文が査読されているのか否かも分からない状態が
海外の敵意のある勢力か、はたまた論文への大きな誤解から生じている。そのような状態は数学界・研究者にとって健全ではない
ってことは前半を読んでなんとなく理解できた（丁寧で分かりやすい文章なので）
でも、後半の“論文に対する誤解”を解こうとする専門店な数式や叙述についてはマジでサッパリ分からないよ･･･
88:ニュースソース検討中＠自治議論スレ
20/04/04 06:49:37 SAKRV1GG.net
わざと低能糞土人の欧米白人キリスト教諸国連合どもに理解できないように書いて
この宇宙と別の宇宙を繋ぐ基礎理論の構築を日本が完成させる計画だから
わざわざ低能糞土人の欧米白人キリスト教諸国連合どもに理解される必要は無い
低能糞土人の欧米白人キリスト教諸国連合どもはそのまま滅びとけや
89:ニュースソース検討中＠自治議論スレ
20/04/04 06:49:59 SAKRV1GG.net
スタップ細胞も作製は成功したが培養を捏造してた
という事実を捻じ曲げて
スタップ細胞の作製自体が捏造だったと印象付ける報道を
低能糞土人の欧米白人キリスト教諸国連合どもの洗脳装置であるテレビがしまくった結果
スタップ細胞作製技術の特許をアメリカに取られて終わったからな
全ての元凶は低能糞土人の欧米白人キリスト教諸国連合どもの世界支配だから
さっさと低能糞土人の欧米白人キリスト教諸国連合どもをウイルスで滅ぼせ
90:ニュースソース検討中＠自治議論スレ
20/04/04 06:50:16 SAKRV1GG.net
低能糞土人の欧米白人キリスト教諸国連合どもは
理解が出来ないから
宇宙が複数あると一神教の世界観が壊れるので認めたくないから
有色人種の偉業を認めたくないから
もう低能糞土人の欧米白人キリスト教諸国連合どもは放っておけ
91:ニュースソース検討中＠自治議論スレ
20/04/04 07:09:54.06 Jiv/ONJP.net
それほど超難解な理論の名称がＡＢＣ予想って、実に簡単で覚えやすい。
92:ニュースソース検討中＠自治議論スレ
20/04/04 07:21:23.42 FXNwP/QP.net
>>78
3/18
「ABC予想」が数学の学会誌に掲載されない理由
URLﾘﾝｸ(books.j-cast.com)
学会誌掲載が実現しないのは、IUT理論がとても難解だからだ。論文掲載の事前審査が進まないのだそうだ。
望月教授は「トップクラスの学者でも理解するのに長時間を要する」と見ていて、学界の理解を広げるのにさして熱心ではないとされる。
下手をすると確認されないまま忘れ去られる恐れもある状況だと言えるかもしれない。
2004年のド・ブランジュによる「リーマン予想解決」のようにほとんど放置されている先例もある。
4/3
ABC予想とは？京大・望月新一教授が終止符を打った、35年間未解決だった超難問
URLﾘﾝｸ(www.huffingtonpost.jp)
査読8年、京大教授の「ABC予想」証明理論 ついに論文誌掲載へ
https:
//www.itmedia.co.jp/news/articles/2004/03/news155.html
4/4
米国育ち、独創的な数学者 「ＡＢＣ予想」証明、京大の望月教授
https:
//www.asahi.com/articles/DA3S14429159.html
93:ニュースソース検討中＠自治議論スレ
20/04/04 07:35:27.89 cGxHvHoh.net
宇宙際タイヒミューラー理論か…
そろそろわたしの次元際タイヒミューラー理論をお披露目する頃合いかもな
94:ニュースソース検討中＠自治議論スレ
20/04/04 07:50:10.18 a2kexEYC.net
２０１８年のフィールズ賞受賞者が証明になってないのに受理されて驚きって、
そうとう問題あるんじゃね？ 小保方事件の教訓が活かされてないじゃん
京都大学にとっては正しくないと困るってことなんだろうけど、
政治力じゃなくて説明で納得させないと
95:ニュースソース検討中＠自治議論スレ
20/04/04 07:51:58.30 5/0CwSZI.net
アジア人のフィールズ賞ってたったの6人しかいないんだよな
96:ニュースソース検討中＠自治議論スレ
20/04/04 08:19:19 Am86uvjd.net
スピードの向こう側みたいなもん
97:ニュースソース検討中＠自治議論スレ
20/04/04 08:21:31 h+CdB1nv.net
>>58
なるへそ
要は岡山のクソ親父5人分くらいの変態ってことだな
98:ニュースソース検討中＠自治議論スレ
20/04/04 08:24:19 sCdzbPXt.net
>>94
証明になってない云々のソースある？
ショルツが文句つけてきたとこは望月さんが回答済みだが
99:ニュースソース検討中＠自治議論スレ
20/04/04 08:29:10 aPN4BOP6.net
>>58
良いからさっさとご飯食べなさい
冷めちゃうでしょ！
100:ニュースソース検討中＠自治議論スレ
20/04/04 08:55:06.81 RRmv9jxo.net
サイン・コサイン・た・・・タイガージェット、シン！！！（バカでゴメン）
そんな俺にでも理解できる、ABC予想が証明された後の世界がどう変わるか教えてくれ。
タイムマシーンが一歩近づいただったらええな。なんとなく、超難解なクイズが解けた
ような気がするが。
101:ニュースソース検討中＠自治議論スレ
20/04/04 08:59:42 kGoahrb/.net
>>83
明らかだというのなら全称命題から存在命題を証明してください
102:ニュースソース検討中＠自治議論スレ
20/04/04 09:01:11 kGoahrb/.net
すべてのカラスは黒い ⇒ 少なくとも1羽黒いカラスが居る
どこにいんだよｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
103:ニュースソース検討中＠自治議論スレ
20/04/04 09:16:48 fmQ2jEoE.net
ＡがキスでＢがペッティングでＣがセックスってあったな
104:ニュースソース検討中＠自治議論スレ
20/04/04 09:20:10 AfNvNxsM.net
結局間違ってだんだっけ？フィールズ賞のドイツ人にここちがってね？って言われて反論できてないんだろ？
105:ニュースソース検討中＠自治議論スレ
20/04/04 09:22:06 h1m2OsXX.net
韓国、在日韓国人、北朝鮮や左翼マスコミ、左翼野党は、日本人がコロナウイルスで苦しむのを見て喜び、東京オリンピックの中止を願っているのだ。在日の資金源であり、新型コロナの感染源となるギャンブルのパチ★コ屋の営業こそ禁止せよ。。。。。。。。
左翼マスコミ、左翼野党は日本の利益より韓国、北朝鮮や在日の日本支配のために、安倍総理に対する醜いヘイトをまき散らし、母国の韓国人と同じように日本人をも反日親韓に洗脳しようとしている。。。。
自分たちの醜いヤジや日本への誹謗中傷は報道・表現の自由であり、自分たちが批判されればヘイトスピーチだ、ネトウヨだとかみつき、人権を利用した二枚舌で日本人を分断しようとしているのだ。。。。。
韓国、在日韓国人、北朝鮮や左翼マスコミ、左翼野党は、新型コロナウイルスで日本人が苦しむのを楽しみ、オリンピックの中止をあおっているのである。醜い誹謗中傷で日本人を混乱させ対立させるのが在日野党と極左メディアの狙いなのだ。。。。。
極左野党や朝日、毎日（TBS）、東京（中日）などの極左マスコミは、犯罪でもない森加計、桜を見る会などで、必死に自民と安倍首相のイメージダウンを狙ってヘイトを繰り広げて、韓国、在日韓国人、北朝鮮の利益ために、日本人を親韓反日に洗脳しているだ。
日本の憲法が改正され日本人が目覚めれば、日本から技術や金を盗めなくなり、在日特権やパチ★コ利権も失う恐れがあるため、韓国、在日韓国人、北朝鮮は、左翼マスコミや左翼政党を使い、狂ったように安倍叩きを必死で行い続け日本人の印象操作を行っているのである。。。
少数の在日韓国・朝鮮人の反日書き込みが、日本の政治経済を大きく混乱させ対立させていることに気が付かず、一緒に安倍批判や政治批判を行う狂った日本人を目覚めさせなければならない。。。。
これまで景気を回復させ、国際関係を改善してきた稀代の名首相である安倍総理の指導の元で、この未曾有の難局を、国民一丸となって乗り越えなければならないのだ。。。。。
今の日本には軍隊がいないから甘すぎるのだ、世界のどこの国にも自国のために警察がいるように、軍隊もいる。
自分の国を守れない憲法9条なんてばかにされ、70年たっても世界のどの国も真似しないし、日本を尊敬もしない。喜んでいるのは中韓と北朝鮮とロシアだけだ。
脅してゆすりたかりをくりかえされ、技術も金も盗み放題。これが日本の現実なのだ
だから日本国民に欧米や中国の外出禁止令のような厳しい規制を行うこともできないのである。
国際社会ではしっかりとした軍隊を持たない国は、まともな国として評価されないのだ。。。。。。
国ぐるみ社会ぐるみで日本ねつ造したヘイトをまき散らす国が韓国であり、日本人を金づるとしか考えていないゆすりたかりの民族なのだ。何度も何度も騙されるな。。。。
106:ニュースソース検討中＠自治議論スレ
20/04/04 09:29:26 qMup6aOm.net
それ証明されると俺の今晩のおかず一皿増えるんかい
107:ニュースソース検討中＠自治議論スレ
20/04/04 09:37:49 CuNYjzF5.net
>>105
お前はゴミか？
公害問題を企業の利益を損なう恐れがあると追及に及び腰な
自民党政府や経済界に対して、取り組むように圧力を掛けた
のが市民団体や野党だろ
お前みたいなゴミは社会に有害無益だ
108:ニュースソース検討中＠自治議論スレ
20/04/04 09:44:21 sCdzbPXt.net
>>104
反論したし解決済みだからPRIMSに掲載された
109:ニュースソース検討中＠自治議論スレ
20/04/04 10:27:42 HzbswJkd.net
全くわからん。
単純にAとBを足したCよりも、
AとBとCを掛けた数字でさらに正数を
累乗した数の方が
デカくなるのは当たり前なのでは？
110:ニュースソース検討中＠自治議論スレ
20/04/04 10:50:57 80grGnWa.net
864名無しさん＠１周年2020/04/02(木) 05:28:57.16ID:EfNKm1mu0>>870
レンジで使用済みマスクを滅菌する方法
（ワイヤー入りマスクは発火の恐れがあるので使わない）
?霧吹きでマスクを湿らせる
?５００Ｗで５、６分加熱する
これでウイルスはほとんど死滅し何度でも使える
870名無しさん＠１周年2020/04/02(木) 05:56:24.61ID:q31vGRjw0
>>864
アイロンの方が安全だろ
111:ニュースソース検討中＠自治議論スレ
20/04/04 10:59:06 gY8dEx/p.net
俺も論文読ませてもらった。
よくまとまっていて、無駄のない記述に感銘を受けた。
わからんところあったら、質問して。
112:ニュースソース検討中＠自治議論スレ
20/04/04 11:04:59 RRmv9jxo.net
なんか何百Pに及ぶ大論文らしいが・・・・
普通、何Pぐらいなんだ？この手の論文
原稿用紙１～２枚程度の感想作文でさえ泣き泣き書いた俺には理解できない世界だけど。
113:ニュースソース検討中＠自治議論スレ
20/04/04 11:31:25.85 J2t0zvrE.net
エロ画像掲示板
114:ニュースソース検討中＠自治議論スレ
20/04/04 11:37:16.67 J2t0zvrE.net
体力低下乙
115:ニュースソース検討中＠自治議論スレ
20/04/04 11:39:32.38 J2t0zvrE.net
左通行で即死
右通行で半減
116:ニュースソース検討中＠自治議論スレ
20/04/04 11:46:04.72 EQNH9W1V.net
>>104
だから8年を費やして査読完了、正しさを認められたんだって
お前みたいにいつまでも否定引き摺って次の情報を得ない奴が地動説を信じてたんだろうな
117:ニュースソース検討中＠自治議論スレ
20/04/04 11:53:42 a2kexEYC.net
京大によると、論文は同所が編集し、
欧州数学会が発行する専門誌「ＰＲＩＭＳ」（ピーリムズ）に
２月５日付で受理された。今後、特別号に掲載される予定。
望月教授はＰＲＩＭＳの編集委員長だが、今回は除外され、
特別編集委員会を設置して論文を審査した。
118:ニュースソース検討中＠自治議論スレ
20/04/04 12:03:48 ZvTrjCbG.net
>>109
1 + 8 = 9
1 × 8 × 9 = 2の3乗 × 3の2乗
○乗部分を落とすので 2 × 3 = 6
掛け算側の方が小さくなる比率的に少ない例
しかし無限個ある
＞上の2 × 3 の部分を1+e 乗し、eが0より少しでも大きいと有限個になるだろう、というのがabc予想である。
119:ニュースソース検討中＠自治議論スレ
20/04/04 12:03:57 aahjjJ+U.net
>>31
問題点はそのままなんじゃないの？
120:ニュースソース検討中＠自治議論スレ
20/04/04 12:08:25 gt+bJjy7.net
で、PRIMSは プリムス か ピーリムズ かどっちなの？
Publications of RIMS だから後者？
121:ニュースソース検討中＠自治議論スレ
20/04/04 12:13:57 nkTINadl.net
>>89
STAPはむりだろ
そもそもが論文の捏造から始まってるし
正しい論文書いてれば済んでた話
122:ニュースソース検討中＠自治議論スレ
20/04/04 12:23:13 4qkDfuTe.net
>>89
作製自体嘘やで
そもそも論文のレシピ通りに培地作ったらオボちゃんの言うような
酸性の培地にならなかったレベルの酷さや
論文を読んで科学的な議論する練習するとええで
123:ニュースソース検討中＠自治議論スレ
20/04/04 12:35:47.49 akgvfmtZ.net
宇宙際タイヒミュラー理論が数学者ですら理解不能で、何年も査読進んでなかったのが、ようやく論文掲載に至ったって話？
124:ニュースソース検討中＠自治議論スレ
20/04/04 13:28:08.96 pWgyyz68.net
ABCマートでセールやらんかな
125:ニュースソース検討中＠自治議論スレ
20/04/04 13:45:06.31 ajB8UE92.net
>>119
疑義を退けたか、修正したってことだろ
126:ニュースソース検討中＠自治議論スレ
20/04/04 14:40:20.73 7TqCf7rB.net
望月教授が誰も理解できない全方位壁打ちしてる状況の中で、
内容を理解した数少ない数学者である加藤文元教授が分かりやすく解説した動画らしい
URLﾘﾝｸ(www.youtube.com)
127:ニュースソース検討中＠自治議論スレ
20/04/04 16:02:21 O3Mmllsk.net
ほんとに証明にギャップがあるなら
論文出てからでも指摘すればいい
数学なので個人の心情とか再現性とかない
128:ニュースソース検討中＠自治議論スレ
20/04/04 17:49:58.19 oMxUbEhP.net
アレキサンダー・ボナパルト・カスト氏
129:ニュースソース検討中＠自治議論スレ
20/04/04 20:14:16 BD6/q/Z8.net
いいこと思いついた
講演会で原稿を泉谷しげるに渡して代わりに講演してもらうの
講演中に乱闘が起きて死亡者多数→反対者が消える
130:ニュースソース検討中＠自治議論スレ
20/04/05 01:15:40 a29ls05L.net
>>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)∨・・・だと錯覚しているから
だが、全称命題や存在命題は（無限個も許した）論理積や論理和ではない
実際、全称・存在限量子の代わりに無限個の論理積や論理和を論理演算子として入れると
通常の古典１階述語論理が満たしている重要な性質であるコンパクト性という性質が失われる
なお、君の錯覚に従って、全称あるいは存在限量子を（無限個も許した）論理積あるいは論理和と考えたとしても
個体変数が取り得る値の集合S＝｛x1, x2, ...}が空集合の場合には、件の論理積は真trueまた論理和は偽falseとなるので
やはり（※）の後の含意は成立しない（から証明できなくて当たり前）という結論になる
しかしながら、命題論理の論理式としてのA∧B ⇒ A∨Bは古典論理（２値論理）だけでなく直観主義（あるいは構成主義）論理でも真な論理式だ
131:ニュースソース検討中＠自治議論スレ
20/04/05 05:47:11.16 2tIsqVdT.net
行き着くところは人種差別問題だろうな
132:ニュースソース検討中＠自治議論スレ
20/04/05 05:58:51.54 NVmLn0ik.net
>>130
私も偽の仮定があると信じてた時がありました(笑)
演繹には偽の仮定という概念はない
それは条件法の話であり演繹ではない
ゆえに空集合を前提とする演繹はないし
偽の含意命題も存在しない
前提，含意，条件法，仮定
その用語を正確に知るには野矢茂樹の論理学を読むべきです
詳しくは
野矢茂樹『まったくゼロからの論理学』岩波書店
を参照してください
それから僕が読んだことのある集合・位相では
全称命題を論理積
存在命題を論理和
として定義していました
もちろん目的が違うので貴方と定義が異なるのは当然ですが
無限個を許した場合だと位相をみたさないという意味ですね
まあそうでしょう
これは明らかですね
でも僕がいつ無限個の話をしたんでしょうね
意味がわかりませんが貴方にとっては明らかなのでしょう(笑)
133:ニュースソース検討中＠自治議論スレ
20/04/05 06:04:35.26 NVmLn0ik.net
>>130
さて
(A∧B：偽 ⇒ A∨B：真∨偽)：真
という演繹はできませんのでこれは明らかではありませんから
証明してください(酷だと思うのでここではしなくていいですよ)
それから蛇足ですが竹之内脩の集合論では
A∨B ⇒ A∧B がありました
これも同様の理屈でしょう
偽の仮定(笑)
134:ニュースソース検討中＠自治議論スレ
20/04/05 06:06:30.57 NVmLn0ik.net
真理表
真 真 真
真 偽 偽
偽 真 真
偽 偽 真
これは条件法における真理値です
この問題と演繹を混同しないでくださいね
僕も混同していた時期がありましたが
野矢茂樹先生に救われました
135:ニュースソース検討中＠自治議論スレ
20/04/05 06:26:41.47 tFuNlGsy.net
「宇宙際タイヒミュラー理論」は、「宇宙臭い堆肥三浦理論」と覚えれば良いことに気付いた
136:ニュースソース検討中＠自治議論スレ
20/04/05 06:34:13.95 nGhWPlHZ.net
>>13
知るかボケ
力の足りなさを人のせいにするな
日本人なら誇りを持て
137:ニュースソース検討中＠自治議論スレ
20/04/05 07:11:40.67 jmdXckJP.net
誰か池上さんみたいに1から詳しく解説ｷﾎﾞﾝﾇ
138:ニュースソース検討中＠自治議論スレ
20/04/05 08:19:08.97 KZpMoGUS.net
>>103
Dが妊娠、Eが出産
Zはふたりで骨壷へｗ
139:ニュースソース検討中＠自治議論スレ
20/04/05 09:26:58.31 /Fjhye2i.net
●日本が輩出した天才
紫式部 「源氏物語」
道元 「正法眼蔵」
葛飾北斎 「冨嶽三十六景」
田中久重 「万年自鳴鐘」
三島由紀夫 「金閣寺」
南部陽一郎 「ひも理論」
望月新一 「宇宙際タイヒミュラー理論」
140:ニュースソース検討中＠自治議論スレ
20/04/05 09:44:52 /QLeE9eP.net
>>139
岡潔
141:よっちゃん
20/04/05 10:42:03.52 vL8x09hx.net
Ankur Tiwari's Great Discovery of the Division by Zero
$1/0 = \tan (\pi/2) = 0$ on $ 2011$
Authors: Saburou SaitohYoshinori Saitoh
URLﾘﾝｸ(vixra.org)
URLﾘﾝｸ(vixra.org)
142:よっちゃん
20/04/05 10:44:54.78 vL8x09hx.net
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周年を迎えて
143:ニュースソース検討中＠自治議論スレ
20/04/05 10:45:34.15 awA3yTko.net
>>137
126ではあかんか
144:ニュースソース検討中＠自治議論スレ
20/04/05 11:12:24.24 Ipch8Ztl.net
読んでたら頭痛がしてきた…
理系は楽しいのか
145:ニュースソース検討中＠自治議論スレ
20/04/05 11:14:02.91 ZXTEG0AS.net
チョンはXYZ理論でヌーベル賞を目指す
146:ニュースソース検討中＠自治議論スレ
20/04/05 11:16:45.36 zUcX8DQI.net
フェルマーの最終定理を証明したワイルズの論文のページ数は数百ページに及ぶが
もしABC予想が正しいとすると、フェルマーの最終定理の証明が
たった論文１ページで説明できちゃう
他にも様々な予想がなし崩し的に証明できたり、照明が簡略化できるなど
大きなポテンシャルを持つ
147:ニュースソース検討中＠自治議論スレ
20/04/05 11:19:03.04 sSCyM1uc.net
とりあえず、貼っておきますね
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(www.youtube.com)
148:ニュースソース検討中＠自治議論スレ
20/04/05 11:36:15.59 BfAHcY8w.net
>>139 >140追加
岡潔 「不定域イデアルの理論」
149:ニュースソース検討中＠自治議論スレ
20/04/05 11:49:13.13 zmuSBBxm.net
>>27
ともえーのソロバン
150:ニュースソース検討中＠自治議論スレ
20/04/05 11:49:16.84 zmuSBBxm.net
>>27
ともえーのソロバン
151:ニュースソース検討中＠自治議論スレ
20/04/05 12:16:37.01 43YsLtw+.net
>>27
旺文社カセットLLスーパー
152:ニュースソース検討中＠自治議論スレ
20/04/05 12:17:32.04 ldWQOPAt.net
望月教授と滝浦真人の類似点
望月教授のＡＢＳ予想の証明：自身が編集長を務める学術誌ＰＲＩＭＳに掲載予定（２０１２年に予稿をＰＲＩＭＳのwebに掲載）
数理解析研究所の教授（柏原正樹、玉川安騎男）の発言：「証明したことに間違いがないと言ってかまわない。
『ＡＢＣ予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」
ネイチャー：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
フィールズ賞をとった数学者：望月の証明には欠陥がある
ヨーロッパ数学協会会長：批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程で指導した教授： 考えを明確に伝えようとしていない
URLﾘﾝｸ(www.nature.com)
滝浦真人の博士号に関する学位審査（公正な審査では不合格？）
学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査
主査は『語用論研究法ガイドブック』の共著者でもある（日本語用論学会会長：加藤重広 、日本語用論学会編集委員長：滝浦真人）
副査は、論文の内容が専門外
学位請求論文：日本語敬語および関連現象の社会語用論的研究
論文の内容：既刊の本を無理やりつなげただけ
審査結果：大賛辞による乙種の学位授与
論文の二重投稿の論理的構造
別の論文と内容、結論が同一(酷似，類似)である
先行論文と比較して、内容と結論に新規性がない
既存の（実験）データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい
適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい
学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
URLﾘﾝｸ(ja.wikipedia.org)二重投稿
153:ニュースソース検討中＠自治議論スレ
20/04/05 12:33:50.20 43YsLtw+.net
>>49
>>144
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。
しかもワイルズの証明と比べて遙かに偉大な証明。
ワイルズの証明は、「剣岳」の登山に喩えれば、一人の登山家
がルートを緻密に練って、 氷河の上を登ったりしてなんとか
登頂して、三角点を設置したようなもの
望月先生の証明は、「立山黒部アルペンルートの竣工」のよう
なもの。 彼は、ケーブルカー、高原バス、エレベータとトロリー
バス、ロープウエーという四段階の新しい輸送システムを大規模
に構築すれば、何百人も立山に登れることを証明した。
望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、
望月の定理によって証明おわりと記すことが出来る。
その他の問題も200ぐらい一挙に解決してしまう。
154:ニュースソース検討中＠自治議論スレ
20/04/05 12:34:56.78 Zro76j8Q.net
>>79
4/4
バカ「望月教授がABC予想を証明したぞ！！」俺「じゃあ、なんで海外のメジャー雑誌の査読に通らないの？」 [805596214]
ｽﾚﾘﾝｸ(poverty板:25番)
URLﾘﾝｸ(www.nature.com)
155:ニュースソース検討中＠自治議論スレ
20/04/05 12:37:44.33 d2pM/vpU.net
>>1
1世紀も前に解決してるじゃん
たしかポワロとかいう・・・・
156:ニュースソース検討中＠自治議論スレ
20/04/05 12:39:00.67 mIzhlW4R.net
>>1
自分は理系でこういう話題には興味があるのだが、
自分のまわりは数学を嫌いな人間が多い。
にも関わらずこんな話題では盛り上げるのが不思議だ。
興味を示さないはずでは？
でも内容を見ると、ちゃちゃ入れているのが多いけどな。
解けないのが解けたという話題性で群がってくるのだろう。
流行りもの好きというか。困ったもんだ。
157:ニュースソース検討中＠自治議論スレ
20/04/05 12:45:53.46 ARuUJwAm.net
>>139
黒澤明 「七人の侍」
手塚治 「火の鳥」
宮崎駿 「風の谷のナウシカ」
158:ニュースソース検討中＠自治議論スレ
20/04/05 12:49:18.81 YsjYavAB.net
サルがコピペして、自分たちの方が早く証明してたと言いそうだな。
159:ニュースソース検討中＠自治議論スレ
20/04/05 13:00:26.60 RCk17vF/.net
とけたら社会が変わるのか
160:ニュースソース検討中＠自治議論スレ
20/04/05 13:18:11 J+vokGaP.net
もしノーベル賞なら
数学者ではじめてってこと？
161:ニュースソース検討中＠自治議論スレ
20/04/05 13:20:28 NVmLn0ik.net
>>160
そういうこと
162:ニュースソース検討中＠自治議論スレ
20/04/05 13:21:15 FNPsKyu6.net
難問ってどれも悪魔の証明やな
163:ニュースソース検討中＠自治議論スレ
20/04/05 15:19:42.98 52J4Biq3.net
悪魔たらしめているのはこれまでの定義によるものでは。
164:ニュースソース検討中＠自治議論スレ
20/04/05 17:38:21 sIc0APnj.net
>>154
そのNatureの後半の段の訳
＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、これがEMSのガイドラインに違反しないことを確認している。
逆証の記事をドヤ顔で引用しているド阿呆
165:ニュースソース検討中＠自治議論スレ
20/04/05 17:55:07 wS5vEcI/.net
まともな査読審査してるなら自分の所属してる
数学教室の出してる論文誌に投稿することは
よくあるんだがよく知らない人が不正だと暴れる
166:ニュースソース検討中＠自治議論スレ
20/04/05 18:55:02 ei8qChMt.net
>>144
この手の純粋数学は数学オタク以外楽しくないよ
これに関しては理解できなくてオタクも楽しくない可能性すらあるが
難問が解けたという事実にはテンション上がってるんじゃないかな
167:ニュースソース検討中＠自治議論スレ
20/04/05 19:53:47 9bVtKGQ6.net
ABCのビスケットはあるのに
日本語のビスケットはなぜないんでしょ
168:ニュースソース検討中＠自治議論スレ
20/04/05 20:22:44 a29ls05L.net
>>132-134
数学で用いられる論理のための論理学を学びたいのならば
野矢茂樹のような哲学系の論理学の本でなく
数理論理学の教科書を読むべきだね
何故ならば哲学系の論理学では自然語（例えば日本語）の論理構造などの議論（君が挙げている「条件法」はその最たるもの）が出てきて
原理的には完全に形式化可能であるべき数学で必要とする論理からすれば余計で誤解を招きやすい
その点、論理そのものも一つの数学的構造として数学的な手段で分析する数理論理学のほうが数学徒には明晰で余計な誤解が入り込む余地がない
数理論理学では、⇒を含意の論理演算子およびfalseを偽を表す論理定数として、任意の命題Xについて
false ⇒ X は恒真命題だ
君は恐らく野矢の本を間違って理解している
哲学系の論理学を正しく理解する上でも数理論理学の特に古典（命題および１階述語）論理の部分から先にきちんと勉強することを強く勧める
まずは古典命題論理および古典１階述語論理に対するGentzenの自然演繹法NKの証明論と意味論とぐらいはきちんと勉強したまえ
話はそれからだ
169:ニュースソース検討中＠自治議論スレ
20/04/05 20:32:03 NVmLn0ik.net
>>168
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X は恒真命題だ
君は形式論理学の条件法と全く同じことを言っているが何が言いたいの？
君こそ勉強不足だね
偽の仮定(笑)でどこまで数学を記述できるのかやってみなよ
どうせ空集合の話なんだろ？
意味ねえ
>false ⇒ X は恒真命題だ
の具象例は
宇宙人はいる ⇒ 1=2
だろ？ｗｗｗｗ
ゴミなんだよ数学くそ論は
おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ
170:ニュースソース検討中＠自治議論スレ
20/04/05 20:34:07 NVmLn0ik.net
演繹とは真なる前提のみを扱い
それに伴い含意命題は必ず真をなす
これが野矢論理学の心髄
171:ニュースソース検討中＠自治議論スレ
20/04/05 20:40:15 NVmLn0ik.net
>>168
【哲学板】論理学・集合論
ｽﾚﾘﾝｸ(philo板)
ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう
172:ニュースソース検討中＠自治議論スレ
20/04/05 20:40:40 O3SIWUfn.net
>>168
まずは線形代数学じゃないかね
173:ニュースソース検討中＠自治議論スレ
20/04/05 21:14:34.31 7wCSWzgW.net
>>161
んなアホな
174:ニュースソース検討中＠自治議論スレ
20/04/05 21:41:19.03 O3SIWUfn.net
>>173
ノーベル数学賞は存在しないので
数学分野の研究でノーベル賞は授与されない
175:ニュースソース検討中＠自治議論スレ
20/04/05 21:46:43.18 NVmLn0ik.net
いや
数学にノーベル賞がある：偽 ⇒ 数学者で初めて：真
ってことだろ
176:ニュースソース検討中＠自治議論スレ
20/04/05 21:57:13.35 NVmLn0ik.net
>>175
これは演繹ではない
演繹なら
数学にノーベル賞はない
で終わり
177:ニュースソース検討中＠自治議論スレ
20/04/05 21:58:10.74 D0+MYgmB.net
>>176
いや全く終わらんｗ
178:ニュースソース検討中＠自治議論スレ
20/04/05 21:59:19.97 O3SIWUfn.net
>>175
数学者で初めて どの ノーベル賞分野で受賞の可能性が有るんだ？
物理学賞か？
179:ニュースソース検討中＠自治議論スレ
20/04/05 22:00:42.09 O3SIWUfn.net
IUTは強力なツールっぽいからIUTを使って誰かリーマン予想を証明してくれないかな
180:ニュースソース検討中＠自治議論スレ
20/04/05 22:09:22.21 NVmLn0ik.net
>>178
後件が正しければ前件が肯定される
っていう論理か
まあそういう含意も存在しない
数学者はノーベル賞を受賞できないから
数学者で初めてであるという後件は真ではないから
お前もbotか
181:ニュースソース検討中＠自治議論スレ
20/04/05 22:54:32.53 O3SIWUfn.net
>>180
お前もな
182:ニュースソース検討中＠自治議論スレ
20/04/05 23:26:27.35 7pxImnNp.net
社会学や哲学なら紐解いて持論でも考えてみようと思うが、数学だけはダメだw
脳味噌が拒否してるw
183:ニュースソース検討中＠自治議論スレ
20/04/05 23:45:09.27 awA3yTko.net
高度な数学は哲学
184:ニュースソース検討中＠自治議論スレ
20/04/06 00:13:56.65 0qYSrnwk.net
でもこういう難しいこと考える人に限って、大学センター試験の数学を解かせると間違ったりするんだよな。
185:ニュースソース検討中＠自治議論スレ
20/04/06 00:30:56.48 8CDEqw72.net
理論が難しすぎて理解できる数学者が数十人しかいないというのだから
証明が正しいと認めた人もこの数十人だけということになり
その十数人が全員同じ勘違いをしていた可能性も否めないのではないのだろうか
また、そんだけ難しいというか意味不明な内容なら理解できてるつもりで実はできてなかったってのが
その数十人の中に複数名存在する可能性も十分にあるのでは
数百人の数学者に理解できるように説明できるようになって初めて証明された証になるような気がする
もしくはその理論を用いなければ実現できない何かを目の前で提示するとか
見てるものからスレばまるで手品のようでこんなことありえないはずなのに現実として起きている
ということはこの理論は正しかったのか！よく分からんけどみたいな
186:ニュースソース検討中＠自治議論スレ
20/04/06 00:44:18.46 qJokxNPF.net
>>171
だから数学で使われる論理学を勉強するならば哲学のでなく数理論理学をやるべきだと言ってるだろ
哲学の論理学で曖昧にやりたいなら君一人で勝手にしたまえ
だが数学の証明などの論理について述べたり批判したりしたいならば数理論理学をきちんと勉強したまえ
例えば共立出版からだいぶ前に復刊された松本和夫の『数理論理学』とかが自然演繹の入門には良い
187:ニュースソース検討中＠自治議論スレ
20/04/06 06:02:28.06 eft5x2mE.net
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
URLﾘﾝｸ(taro-nishino.blogspot.com)
望月新一のABC予想証明の組織的な問題点と報道
URLﾘﾝｸ(oreranitsuite.com)
188:ニュースソース検討中＠自治議論スレ
20/04/06 07:07:59 QziWVLnr.net
>>152
お、基地害登場
189:ニュースソース検討中＠自治議論スレ
20/04/06 07:13:24 wMbSve4C.net
題が難解で逆に解はシンプルだったりするのかと思ったがそんなことはなかった
190:ニュースソース検討中＠自治議論スレ
20/04/06 16:36:24 p8l9+IsZ.net
Kの意味が解らない！！！いきなり出てくんなよ！！！
191:ニュースソース検討中＠自治議論スレ
20/04/06 18:28:27.14 A0c8VtYK.net
あくまでIUTというのはツールなんだよね？
（IUTというツールを使って超難問のABC予想が証明できると）
既に証明されている簡易な問題を
遠回りになるかもしれんけどあえてIUTを使って証明した事例があるとわかりやすいと思うのだが
地方の国立大工学部学生が分かる程度のできるだけシンプルな事例を作ってくれんかなと思う
192:ニュースソース検討中＠自治議論スレ
20/04/06 18:36:41.30 A0c8VtYK.net
せめて数学科の学生が手を付けられるように、既に証明済みの問題をあえてIUTで証明した事例があると良いのだろうけど
193:ニュースソース検討中＠自治議論スレ
20/04/06 18:39:13.78 sww/mr+u.net
整数問題と言うとルジャンドルの定理とか？
もしくは
ラグランジュの定理とか？
194:ニュースソース検討中＠自治議論スレ
20/04/06 20:00:36.74 fn+cGbn4.net
道具としては、複素解析みたいなもんか
195:ニュースソース検討中＠自治議論スレ
20/04/06 22:28:00.98 3WoEOxJv.net
>>94
自分で砂場作って遊んでるみたいな感じだからな。
誰かが入っていってコレは使えない！使える！ってなる場合もあるし、そもそも誰も興味を示さずスルーされる場合もある。
確率は5分だと思う。仮にスルーされても数百年後に再発掘されればいいけど、そもそもタダの妄想の可能性もある。しかし、それが正しいのかどうかを判断するだけで長い時間を要するから、今栄誉が欲しい天才達はスルーするだろう。
196:ニュースソース検討中＠自治議論スレ
20/04/06 22:40:50.16 sww/mr+u.net
>>195
ただの妄想に10人（程度の）の優秀な数学者が騙されるかね？
197:ニュースソース検討中＠自治議論スレ
20/04/06 22:53:38.41 gkNfDAoI.net
査読の段階で遅滞する
198:ニュースソース検討中＠自治議論スレ
20/04/06 23:05:34.58 xx7+TDbv.net
このような組合せ最適化問題？を量子アニーリング方式で解けば一発だと思うが
量子コンピュータはまだ発展途上だし今は無理か
199:ニュースソース検討中＠自治議論スレ
20/04/06 23:44:57.57 KufHaXbM.net
>>194
超準解析だろ
200:ニュースソース検討中＠自治議論スレ
20/04/06 23:49:31.49 yNhvOfcE.net
>>198
それじゃ証明にならなん
201:ニュースソース検討中＠自治議論スレ
20/04/06 23:50:44.25 9DGBhaT0.net
100年後にはだれもが理解するようになるんだろうか
202:ニュースソース検討中＠自治議論スレ
20/04/07 00:29:31 lDI11XlW.net
アルゴリズム化出来れば
203:ニュースソース検討中＠自治議論スレ
20/04/07 07:25:40.19 ZaxvqGy1.net
>>44
この理論についてお話的に
ちゃんと解説してくれてるレスに初めて出会えたかも。
204:よっちゃん
20/04/07 08:50:14.37 gVHItgMy.net
再生核研究所声明555（2020.3.31）ゼロ除算の数学を越えた影響
URLﾘﾝｸ(ameblo.jp)
205:ニュースソース検討中＠自治議論スレ
20/04/07 09:57:40.47 Dh9/nshV.net
俺の頭脳を持ってしても
全く理解が出来なかった
206:ニュースソース検討中＠自治議論スレ
20/04/07 10:11:54 6S/2BMKq.net
>>185
これが白痴ってやつか
207:ニュースソース検討中＠自治議論スレ
20/04/07 10:46:21.00 bf36IvBd.net
フィールズ賞受賞の天才とこの分野の大御所が「俺はこんな証明認めねえ」
つってんだから形勢は極めて不利だな。素人が何百万人応援しようが意味ないし。
「陰謀が・・・抵抗勢力が・・・」とか喚けば却って状況を悪くするだけ。
208:ニュースソース検討中＠自治議論スレ
20/04/07 10:51:15.74 9uC0F9zR.net
32歳で京大の数学科の教授
控えめに言って天才だな
IQ180とかいうレベルなんだろうな
209:ニュースソース検討中＠自治議論スレ
20/04/07 11:30:24 rlXSOabG.net
>>207
君みたいな数学知らない人が陰謀論振り回したところで
関係ないようなものか
210:ニュースソース検討中＠自治議論スレ
20/04/07 11:38:15 57Sgapi2.net
カントクラスの哲人になれる
211:ニュースソース検討中＠自治議論スレ
20/04/07 11:59:50 lnamEjIz.net
>>196
友人、弟子とか内輪の関係者だから、望月一派の信者と見做されるだけ。
状況打開の為には信者増やすしかない。
例えば、既存の問題を新理論使って解きまくるとか、この理論無しでは生活成り立たない！みたいな民生品に使われたらぐうの音も出ないだろう。
教授だってABCがどうとかは些末な問題で、この理論を構築したことの意義の方がでかいって言ってるんで、証明できたかどうかだけ拘る価値はない。
212:ニュースソース検討中＠自治議論スレ
20/04/07 12:17:11 feW76hwh.net
中学生の数学の証明で挫折したんだけど
そこから、学びなおせるニュートンみたいな数学本
アタマいい人教えて！！！
213:ニュースソース検討中＠自治議論スレ
20/04/07 13:26:20.69 oMrxvdkk.net
>>212
『数学が生まれる物語(全６冊)』『数学が育っていく物語(全６冊)』岩波書店
ちょっと高いが古くならないのが数学のいいところ
214:ニュースソース検討中＠自治議論スレ
20/04/07 13:51:46.44 sB+ONA5c.net
>>44
今まで読んだ解説の中で最も腑に落ちた。すばらしい。
>>45
これの前半、むちゃくちゃ面白いから、みんな是非読むべき。
後半はわからん。
215:ニュースソース検討中＠自治議論スレ
20/04/07 14:04:32.54 f2cyhKv/.net
望月新一教授に大臣になってもらって、文科省の改革をしてもらいたい。
216:ニュースソース検討中＠自治議論スレ
20/04/07 15:28:38.64 oXa5+SOy.net
>>44
ちょっと違うだろ
5つの公理というのはユークリッド幾何のそれのことで、一つ変えるとというのはそれで非ユークリッド幾何学に、といった話じゃないのか
この宇宙はもっと数学一般の基礎論、集合論、抽象代数学、云々に関わっていること
217:ニュースソース検討中＠自治議論スレ
20/04/07 16:14:36.16 lDI11XlW.net
この世界の数学がたった５つの定理で表現できるとは思えないが
218:ニュースソース検討中＠自治議論スレ
20/04/07 16:17:33.31 lDI11XlW.net
>>211
見做される見做されないはどうでもよくって
良心のある優秀な数学者なら妄想理論に賛同する事は無いだろう
と言う話し
219:ニュースソース検討中＠自治議論スレ
20/04/07 16:40:16.16 bgfIar7Z.net
>>217
公理と定理は意味が全く違うよ
220:ニュースソース検討中＠自治議論スレ
20/04/07 17:35:39.46 NV/OvjQk.net
>>219
ああごめん
たった５つの公理が全ての数学分野の基礎となっているとは思えない
に訂正
221:ニュースソース検討中＠自治議論スレ
20/04/07 17:38:59.95 fjJ84vTV.net
>>209
あのさあ、それなんも言い返せてないぞ
222:ニュースソース検討中＠自治議論スレ
20/04/07 17:39:58.33 NV/OvjQk.net
ユークリッドの原論
原論には以下の5つの公準が挙げられている：
第1公準 ： 点と点を直線で結ぶ事ができる
第2公準 ： 線分は両側に延長して直線にできる
第3公準 ： 1点を中心にして任意の半径の円を描く事ができる
第4公準 ： 全ての直角は等しい（角度である）
第5公準 ： 1つの直線が2つの直線に交わり、同じ側の内角の和が2つの直角より小さいならば、この2つの直線は限りなく延長されると、2つの直角より小さい角のある側において交わる。
これはユークリッド幾何学の公理であって例えば集合論の公理は含まれていないよね
223:ニュースソース検討中＠自治議論スレ
20/04/07 17:56:57.37 rlXSOabG.net
>>221
馬鹿にしてるだけだから言い返したつもりは無い
224:ニュースソース検討中＠自治議論スレ
20/04/07 18:02:24 mCXlT6Ua.net
>>32
それだな
取り巻きがとにかく必死だがダメだね
証明出来てない
225:ニュースソース検討中＠自治議論スレ
20/04/07 18:04:41 mCXlT6Ua.net
>>207
極めて不利どころかアウトね
数学は証明出来てるか出来てないか
それだけ
226:ニュースソース検討中＠自治議論スレ
20/04/07 18:06:35 mCXlT6Ua.net
この望月スレ見てると
なんで考古学のゴッドハンドが止められ無かったか
リアルタイムで分かるだろ
まさか数学で京大がゴッドハンドやるとはね
日本の劣化が凄まじいな
227:ニュースソース検討中＠自治議論スレ
20/04/07 18:08:05 bf36IvBd.net
査読通しちゃった連中も分かってないんだろうな
めんどくさいから通しちゃえ、あとは興味のある連中だけでやってって感じか
228:ニュースソース検討中＠自治議論スレ
20/04/07 18:16:05 Sa7wnnhA.net
フェルマーの最終定理て証明されたんと違うの？
229:ニュースソース検討中＠自治議論スレ
20/04/07 18:25:09 rlXSOabG.net
>>224
数学は取り巻きやら偉い人が頑張れば
白も黒になる世界じゃないんですけど
230:ニュースソース検討中＠自治議論スレ
20/04/07 18:56:30 x16x8BoF.net
と言うか
オボちゃんの不幸なトコは
査読や追試が終わる前に、アイドル化され報道されちゃったトコだから…
231:ニュースソース検討中＠自治議論スレ
20/04/07 19:06:45 NV/OvjQk.net
>>230
それ判ってない人々多いよね
査読システムは時に人を殺すほど強力だ
232:ニュースソース検討中＠自治議論スレ
20/04/07 21:23:52 67mWGPfD.net
虚が出るか破面が出るか
233:ニュースソース検討中＠自治議論スレ
20/04/08 06:01:52.52 ruOBV1SU.net
>>225
>数学は証明出来てるか出来てないか
>それだけ
アホだろおまえ
じゃあ「証明」という作業をした全ての論文に
ノーベル賞あげろ
234:ニュースソース検討中＠自治議論スレ
20/04/08 06:05:51.63 ruOBV1SU.net
>>226
>まさか数学で京大がゴッドハンドやるとはね
>日本の劣化が凄まじいな
アホだろおまえ
以前から既にネット上に全て公開してあった論文を
今回正式にプレスリリースしただけで
なんでゴッドハンドなんだよ
235:ニュースソース検討中＠自治議論スレ
20/04/08 06:11:51.33 ruOBV1SU.net
>>224
>それだな
>取り巻きがとにかく必死だがダメだね
>証明出来てない
アホだろおまえ
ABCが証明できたか否かに関わらず
数学会がIUT自体の価値に興味を持ってないから
取り巻きが必死なんだぞ
IUTは「数学の構造」に対する応用がない
236:ニュースソース検討中＠自治議論スレ
20/04/08 06:35:45 y87Ctq7c.net
フェルマーの最終定理は25年前に証明されてるけど嘘だったん？
237:ニュースソース検討中＠自治議論スレ
20/04/08 07:11:36 NTc/y5oX.net
>>216
ユークリッドとか言うと途端に分かりにくくなるからこれはこれでいいんじゃないかな
238:ニュースソース検討中＠自治議論スレ
20/04/08 07:41:10.01 EpmaIQgN.net
>>218
ぎゃくだろ