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
探検
【数学】 ABC予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
■ このスレッドは過去ログ倉庫に格納されています
1朝一から閉店までφ ★
2020/04/03(金) 18:33:44.93ID:CAP_USER153ニュースソース検討中@自治議論スレ
2020/04/05(日) 12:33:50.20ID:43YsLtw+ >>49
>>144
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。
しかもワイルズの証明と比べて遙かに偉大な証明。
ワイルズの証明は、「剣岳」の登山に喩えれば、一人の登山家
がルートを緻密に練って、 氷河の上を登ったりしてなんとか
登頂して、三角点を設置したようなもの
望月先生の証明は、「立山黒部アルペンルートの竣工」のよう
なもの。 彼は、ケーブルカー、高原バス、エレベータとトロリー
バス、ロープウエーという四段階の新しい輸送システムを大規模
に構築すれば、何百人も立山に登れることを証明した。
望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、
望月の定理によって証明おわりと記すことが出来る。
その他の問題も200ぐらい一挙に解決してしまう。
>>144
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。
しかもワイルズの証明と比べて遙かに偉大な証明。
ワイルズの証明は、「剣岳」の登山に喩えれば、一人の登山家
がルートを緻密に練って、 氷河の上を登ったりしてなんとか
登頂して、三角点を設置したようなもの
望月先生の証明は、「立山黒部アルペンルートの竣工」のよう
なもの。 彼は、ケーブルカー、高原バス、エレベータとトロリー
バス、ロープウエーという四段階の新しい輸送システムを大規模
に構築すれば、何百人も立山に登れることを証明した。
望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、
望月の定理によって証明おわりと記すことが出来る。
その他の問題も200ぐらい一挙に解決してしまう。
2020/04/05(日) 12:34:56.78ID:Zro76j8Q
>>79
4/4
バカ「望月教授がABC予想を証明したぞ!!」俺「じゃあ、なんで海外のメジャー雑誌の査読に通らないの?」 [805596214]
https://leia.5ch.net/test/read.cgi/poverty/1585968243/25
https://www.nature.com/articles/d41586-020-00998-2
4/4
バカ「望月教授がABC予想を証明したぞ!!」俺「じゃあ、なんで海外のメジャー雑誌の査読に通らないの?」 [805596214]
https://leia.5ch.net/test/read.cgi/poverty/1585968243/25
https://www.nature.com/articles/d41586-020-00998-2
155ニュースソース検討中@自治議論スレ
2020/04/05(日) 12:37:44.33ID:d2pM/vpU156ニュースソース検討中@自治議論スレ
2020/04/05(日) 12:39:00.67ID:mIzhlW4R >>1
自分は理系でこういう話題には興味があるのだが、
自分のまわりは数学を嫌いな人間が多い。
にも関わらずこんな話題では盛り上げるのが不思議だ。
興味を示さないはずでは?
でも内容を見ると、ちゃちゃ入れているのが多いけどな。
解けないのが解けたという話題性で群がってくるのだろう。
流行りもの好きというか。困ったもんだ。
自分は理系でこういう話題には興味があるのだが、
自分のまわりは数学を嫌いな人間が多い。
にも関わらずこんな話題では盛り上げるのが不思議だ。
興味を示さないはずでは?
でも内容を見ると、ちゃちゃ入れているのが多いけどな。
解けないのが解けたという話題性で群がってくるのだろう。
流行りもの好きというか。困ったもんだ。
2020/04/05(日) 12:45:53.46ID:ARuUJwAm
158ニュースソース検討中@自治議論スレ
2020/04/05(日) 12:49:18.81ID:YsjYavAB サルがコピペして、自分たちの方が早く証明してたと言いそうだな。
159ニュースソース検討中@自治議論スレ
2020/04/05(日) 13:00:26.60ID:RCk17vF/ とけたら社会が変わるのか
160ニュースソース検討中@自治議論スレ
2020/04/05(日) 13:18:11.12ID:J+vokGaP もしノーベル賞なら
数学者ではじめてってこと?
数学者ではじめてってこと?
161ニュースソース検討中@自治議論スレ
2020/04/05(日) 13:20:28.70ID:NVmLn0ik >>160
そういうこと
そういうこと
2020/04/05(日) 13:21:15.07ID:FNPsKyu6
難問ってどれも悪魔の証明やな
2020/04/05(日) 15:19:42.98ID:52J4Biq3
悪魔たらしめているのはこれまでの定義によるものでは。
2020/04/05(日) 17:38:21.03ID:sIc0APnj
>>154
そのNatureの後半の段の訳
>数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、これがEMSのガイドラインに違反しないことを確認している。
逆証の記事をドヤ顔で引用しているド阿呆
そのNatureの後半の段の訳
>数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、これがEMSのガイドラインに違反しないことを確認している。
逆証の記事をドヤ顔で引用しているド阿呆
2020/04/05(日) 17:55:07.87ID:wS5vEcI/
まともな査読審査してるなら自分の所属してる
数学教室の出してる論文誌に投稿することは
よくあるんだがよく知らない人が不正だと暴れる
数学教室の出してる論文誌に投稿することは
よくあるんだがよく知らない人が不正だと暴れる
166ニュースソース検討中@自治議論スレ
2020/04/05(日) 18:55:02.89ID:ei8qChMt2020/04/05(日) 19:53:47.64ID:9bVtKGQ6
ABCのビスケットはあるのに
日本語のビスケットはなぜないんでしょ
日本語のビスケットはなぜないんでしょ
2020/04/05(日) 20:22:44.66ID:a29ls05L
>>132-134
数学で用いられる論理のための論理学を学びたいのならば
野矢茂樹のような哲学系の論理学の本でなく
数理論理学の教科書を読むべきだね
何故ならば哲学系の論理学では自然語(例えば日本語)の論理構造などの議論(君が挙げている「条件法」はその最たるもの)が出てきて
原理的には完全に形式化可能であるべき数学で必要とする論理からすれば余計で誤解を招きやすい
その点、論理そのものも一つの数学的構造として数学的な手段で分析する数理論理学のほうが数学徒には明晰で余計な誤解が入り込む余地がない
数理論理学では、⇒を含意の論理演算子およびfalseを偽を表す論理定数として、任意の命題Xについて
false ⇒ X は恒真命題だ
君は恐らく野矢の本を間違って理解している
哲学系の論理学を正しく理解する上でも数理論理学の特に古典(命題および1階述語)論理の部分から先にきちんと勉強することを強く勧める
まずは古典命題論理および古典1階述語論理に対するGentzenの自然演繹法NKの証明論と意味論とぐらいはきちんと勉強したまえ
話はそれからだ
数学で用いられる論理のための論理学を学びたいのならば
野矢茂樹のような哲学系の論理学の本でなく
数理論理学の教科書を読むべきだね
何故ならば哲学系の論理学では自然語(例えば日本語)の論理構造などの議論(君が挙げている「条件法」はその最たるもの)が出てきて
原理的には完全に形式化可能であるべき数学で必要とする論理からすれば余計で誤解を招きやすい
その点、論理そのものも一つの数学的構造として数学的な手段で分析する数理論理学のほうが数学徒には明晰で余計な誤解が入り込む余地がない
数理論理学では、⇒を含意の論理演算子およびfalseを偽を表す論理定数として、任意の命題Xについて
false ⇒ X は恒真命題だ
君は恐らく野矢の本を間違って理解している
哲学系の論理学を正しく理解する上でも数理論理学の特に古典(命題および1階述語)論理の部分から先にきちんと勉強することを強く勧める
まずは古典命題論理および古典1階述語論理に対するGentzenの自然演繹法NKの証明論と意味論とぐらいはきちんと勉強したまえ
話はそれからだ
169ニュースソース検討中@自治議論スレ
2020/04/05(日) 20:32:03.12ID:NVmLn0ik >>168
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X は恒真命題だ
君は形式論理学の条件法と全く同じことを言っているが何が言いたいの?
君こそ勉強不足だね
偽の仮定(笑)でどこまで数学を記述できるのかやってみなよ
どうせ空集合の話なんだろ?
意味ねえ
>false ⇒ X は恒真命題だ
の具象例は
宇宙人はいる ⇒ 1=2
だろ?wwww
ゴミなんだよ数学くそ論は
おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X は恒真命題だ
君は形式論理学の条件法と全く同じことを言っているが何が言いたいの?
君こそ勉強不足だね
偽の仮定(笑)でどこまで数学を記述できるのかやってみなよ
どうせ空集合の話なんだろ?
意味ねえ
>false ⇒ X は恒真命題だ
の具象例は
宇宙人はいる ⇒ 1=2
だろ?wwww
ゴミなんだよ数学くそ論は
おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ
170ニュースソース検討中@自治議論スレ
2020/04/05(日) 20:34:07.52ID:NVmLn0ik 演繹とは真なる前提のみを扱い
それに伴い含意命題は必ず真をなす
これが野矢論理学の心髄
それに伴い含意命題は必ず真をなす
これが野矢論理学の心髄
171ニュースソース検討中@自治議論スレ
2020/04/05(日) 20:40:15.99ID:NVmLn0ik >>168
【哲学板】論理学・集合論
ttps://lavender.5ch.net/test/read.cgi/philo/1490952242/
ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう
【哲学板】論理学・集合論
ttps://lavender.5ch.net/test/read.cgi/philo/1490952242/
ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう
2020/04/05(日) 20:40:40.39ID:O3SIWUfn
>>168
まずは線形代数学じゃないかね
まずは線形代数学じゃないかね
173ニュースソース検討中@自治議論スレ
2020/04/05(日) 21:14:34.31ID:7wCSWzgW >>161
んなアホな
んなアホな
2020/04/05(日) 21:41:19.03ID:O3SIWUfn
175ニュースソース検討中@自治議論スレ
2020/04/05(日) 21:46:43.18ID:NVmLn0ik いや
数学にノーベル賞がある:偽 ⇒ 数学者で初めて:真
ってことだろ
数学にノーベル賞がある:偽 ⇒ 数学者で初めて:真
ってことだろ
176ニュースソース検討中@自治議論スレ
2020/04/05(日) 21:57:13.35ID:NVmLn0ik2020/04/05(日) 21:58:10.74ID:D0+MYgmB
>>176
いや全く終わらんw
いや全く終わらんw
2020/04/05(日) 21:59:19.97ID:O3SIWUfn
2020/04/05(日) 22:00:42.09ID:O3SIWUfn
IUTは強力なツールっぽいからIUTを使って誰かリーマン予想を証明してくれないかな
180ニュースソース検討中@自治議論スレ
2020/04/05(日) 22:09:22.21ID:NVmLn0ik2020/04/05(日) 22:54:32.53ID:O3SIWUfn
>>180
お前もな
お前もな
182ニュースソース検討中@自治議論スレ
2020/04/05(日) 23:26:27.35ID:7pxImnNp 社会学や哲学なら紐解いて持論でも考えてみようと思うが、数学だけはダメだw
脳味噌が拒否してるw
脳味噌が拒否してるw
2020/04/05(日) 23:45:09.27ID:awA3yTko
高度な数学は哲学
184ニュースソース検討中@自治議論スレ
2020/04/06(月) 00:13:56.65ID:0qYSrnwk でもこういう難しいこと考える人に限って、大学センター試験の数学を解かせると間違ったりするんだよな。
2020/04/06(月) 00:30:56.48ID:8CDEqw72
理論が難しすぎて理解できる数学者が数十人しかいないというのだから
証明が正しいと認めた人もこの数十人だけということになり
その十数人が全員同じ勘違いをしていた可能性も否めないのではないのだろうか
また、そんだけ難しいというか意味不明な内容なら理解できてるつもりで実はできてなかったってのが
その数十人の中に複数名存在する可能性も十分にあるのでは
数百人の数学者に理解できるように説明できるようになって初めて証明された証になるような気がする
もしくはその理論を用いなければ実現できない何かを目の前で提示するとか
見てるものからスレばまるで手品のようでこんなことありえないはずなのに現実として起きている
ということはこの理論は正しかったのか!よく分からんけどみたいな
証明が正しいと認めた人もこの数十人だけということになり
その十数人が全員同じ勘違いをしていた可能性も否めないのではないのだろうか
また、そんだけ難しいというか意味不明な内容なら理解できてるつもりで実はできてなかったってのが
その数十人の中に複数名存在する可能性も十分にあるのでは
数百人の数学者に理解できるように説明できるようになって初めて証明された証になるような気がする
もしくはその理論を用いなければ実現できない何かを目の前で提示するとか
見てるものからスレばまるで手品のようでこんなことありえないはずなのに現実として起きている
ということはこの理論は正しかったのか!よく分からんけどみたいな
2020/04/06(月) 00:44:18.46ID:qJokxNPF
>>171
だから数学で使われる論理学を勉強するならば哲学のでなく数理論理学をやるべきだと言ってるだろ
哲学の論理学で曖昧にやりたいなら君一人で勝手にしたまえ
だが数学の証明などの論理について述べたり批判したりしたいならば数理論理学をきちんと勉強したまえ
例えば共立出版からだいぶ前に復刊された松本和夫の『数理論理学』とかが自然演繹の入門には良い
だから数学で使われる論理学を勉強するならば哲学のでなく数理論理学をやるべきだと言ってるだろ
哲学の論理学で曖昧にやりたいなら君一人で勝手にしたまえ
だが数学の証明などの論理について述べたり批判したりしたいならば数理論理学をきちんと勉強したまえ
例えば共立出版からだいぶ前に復刊された松本和夫の『数理論理学』とかが自然演繹の入門には良い
187ニュースソース検討中@自治議論スレ
2020/04/06(月) 06:02:28.06ID:eft5x2mE ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
http://taro-nishino.blogspot.com/2019/03/blog-post063.html
望月新一のABC予想証明の組織的な問題点と報道
http://oreranitsuite.com/2020/04/04/mochizukishinichi-abc/2/
http://taro-nishino.blogspot.com/2019/03/blog-post063.html
望月新一のABC予想証明の組織的な問題点と報道
http://oreranitsuite.com/2020/04/04/mochizukishinichi-abc/2/
2020/04/06(月) 07:07:59.32ID:QziWVLnr
>>152
お、基地害登場
お、基地害登場
2020/04/06(月) 07:13:24.62ID:wMbSve4C
題が難解で逆に解はシンプルだったりするのかと思ったがそんなことはなかった
2020/04/06(月) 16:36:24.46ID:p8l9+IsZ
Kの意味が解らない!!!いきなり出てくんなよ!!!
191ニュースソース検討中@自治議論スレ
2020/04/06(月) 18:28:27.14ID:A0c8VtYK あくまでIUTというのはツールなんだよね?
(IUTというツールを使って超難問のABC予想が証明できると)
既に証明されている簡易な問題を
遠回りになるかもしれんけどあえてIUTを使って証明した事例があるとわかりやすいと思うのだが
地方の国立大工学部学生が分かる程度のできるだけシンプルな事例を作ってくれんかなと思う
(IUTというツールを使って超難問のABC予想が証明できると)
既に証明されている簡易な問題を
遠回りになるかもしれんけどあえてIUTを使って証明した事例があるとわかりやすいと思うのだが
地方の国立大工学部学生が分かる程度のできるだけシンプルな事例を作ってくれんかなと思う
192ニュースソース検討中@自治議論スレ
2020/04/06(月) 18:36:41.30ID:A0c8VtYK せめて数学科の学生が手を付けられるように、既に証明済みの問題をあえてIUTで証明した事例があると良いのだろうけど
2020/04/06(月) 18:39:13.78ID:sww/mr+u
整数問題と言うとルジャンドルの定理とか?
もしくは
ラグランジュの定理とか?
もしくは
ラグランジュの定理とか?
2020/04/06(月) 20:00:36.74ID:fn+cGbn4
道具としては、複素解析みたいなもんか
195ニュースソース検討中@自治議論スレ
2020/04/06(月) 22:28:00.98ID:3WoEOxJv >>94
自分で砂場作って遊んでるみたいな感じだからな。
誰かが入っていってコレは使えない!使える!ってなる場合もあるし、そもそも誰も興味を示さずスルーされる場合もある。
確率は5分だと思う。仮にスルーされても数百年後に再発掘されればいいけど、そもそもタダの妄想の可能性もある。しかし、それが正しいのかどうかを判断するだけで長い時間を要するから、今栄誉が欲しい天才達はスルーするだろう。
自分で砂場作って遊んでるみたいな感じだからな。
誰かが入っていってコレは使えない!使える!ってなる場合もあるし、そもそも誰も興味を示さずスルーされる場合もある。
確率は5分だと思う。仮にスルーされても数百年後に再発掘されればいいけど、そもそもタダの妄想の可能性もある。しかし、それが正しいのかどうかを判断するだけで長い時間を要するから、今栄誉が欲しい天才達はスルーするだろう。
2020/04/06(月) 22:40:50.16ID:sww/mr+u
>>195
ただの妄想に10人(程度の)の優秀な数学者が騙されるかね?
ただの妄想に10人(程度の)の優秀な数学者が騙されるかね?
197ニュースソース検討中@自治議論スレ
2020/04/06(月) 22:53:38.41ID:gkNfDAoI 査読の段階で遅滞する
2020/04/06(月) 23:05:34.58ID:xx7+TDbv
このような組合せ最適化問題?を量子アニーリング方式で解けば一発だと思うが
量子コンピュータはまだ発展途上だし今は無理か
量子コンピュータはまだ発展途上だし今は無理か
2020/04/06(月) 23:44:57.57ID:KufHaXbM
>>194
超準解析だろ
超準解析だろ
2020/04/06(月) 23:49:31.49ID:yNhvOfcE
>>198
それじゃ証明にならなん
それじゃ証明にならなん
201ニュースソース検討中@自治議論スレ
2020/04/06(月) 23:50:44.25ID:9DGBhaT0 100年後にはだれもが理解するようになるんだろうか
2020/04/07(火) 00:29:31.00ID:lDI11XlW
アルゴリズム化出来れば
2020/04/07(火) 07:25:40.19ID:ZaxvqGy1
204よっちゃん
2020/04/07(火) 08:50:14.37ID:gVHItgMy205ニュースソース検討中@自治議論スレ
2020/04/07(火) 09:57:40.47ID:Dh9/nshV 俺の頭脳を持ってしても
全く理解が出来なかった
全く理解が出来なかった
206ニュースソース検討中@自治議論スレ
2020/04/07(火) 10:11:54.10ID:6S/2BMKq >>185
これが白痴ってやつか
これが白痴ってやつか
207ニュースソース検討中@自治議論スレ
2020/04/07(火) 10:46:21.00ID:bf36IvBd フィールズ賞受賞の天才とこの分野の大御所が「俺はこんな証明認めねえ」
つってんだから形勢は極めて不利だな。素人が何百万人応援しようが意味ないし。
「陰謀が・・・抵抗勢力が・・・」とか喚けば却って状況を悪くするだけ。
つってんだから形勢は極めて不利だな。素人が何百万人応援しようが意味ないし。
「陰謀が・・・抵抗勢力が・・・」とか喚けば却って状況を悪くするだけ。
2020/04/07(火) 10:51:15.74ID:9uC0F9zR
32歳で京大の数学科の教授
控えめに言って天才だな
IQ180とかいうレベルなんだろうな
控えめに言って天才だな
IQ180とかいうレベルなんだろうな
2020/04/07(火) 11:30:24.97ID:rlXSOabG
210ニュースソース検討中@自治議論スレ
2020/04/07(火) 11:38:15.84ID:57Sgapi2 カントクラスの哲人になれる
211ニュースソース検討中@自治議論スレ
2020/04/07(火) 11:59:50.90ID:lnamEjIz >>196
友人、弟子とか内輪の関係者だから、望月一派の信者と見做されるだけ。
状況打開の為には信者増やすしかない。
例えば、既存の問題を新理論使って解きまくるとか、この理論無しでは生活成り立たない!みたいな民生品に使われたらぐうの音も出ないだろう。
教授だってABCがどうとかは些末な問題で、この理論を構築したことの意義の方がでかいって言ってるんで、証明できたかどうかだけ拘る価値はない。
友人、弟子とか内輪の関係者だから、望月一派の信者と見做されるだけ。
状況打開の為には信者増やすしかない。
例えば、既存の問題を新理論使って解きまくるとか、この理論無しでは生活成り立たない!みたいな民生品に使われたらぐうの音も出ないだろう。
教授だってABCがどうとかは些末な問題で、この理論を構築したことの意義の方がでかいって言ってるんで、証明できたかどうかだけ拘る価値はない。
212ニュースソース検討中@自治議論スレ
2020/04/07(火) 12:17:11.41ID:feW76hwh 中学生の数学の証明で挫折したんだけど
そこから、学びなおせるニュートンみたいな数学本
アタマいい人教えて!!!
そこから、学びなおせるニュートンみたいな数学本
アタマいい人教えて!!!
2020/04/07(火) 13:26:20.69ID:oMrxvdkk
214ニュースソース検討中@自治議論スレ
2020/04/07(火) 13:51:46.44ID:sB+ONA5c215ニュースソース検討中@自治議論スレ
2020/04/07(火) 14:04:32.54ID:f2cyhKv/ 望月新一教授に大臣になってもらって、文科省の改革をしてもらいたい。
2020/04/07(火) 15:28:38.64ID:oXa5+SOy
>>44
ちょっと違うだろ
5つの公理というのはユークリッド幾何のそれのことで、一つ変えるとというのはそれで非ユークリッド幾何学に、といった話じゃないのか
この宇宙はもっと数学一般の基礎論、集合論、抽象代数学、云々に関わっていること
ちょっと違うだろ
5つの公理というのはユークリッド幾何のそれのことで、一つ変えるとというのはそれで非ユークリッド幾何学に、といった話じゃないのか
この宇宙はもっと数学一般の基礎論、集合論、抽象代数学、云々に関わっていること
2020/04/07(火) 16:14:36.16ID:lDI11XlW
この世界の数学がたった5つの定理で表現できるとは思えないが
2020/04/07(火) 16:17:33.31ID:lDI11XlW
2020/04/07(火) 16:40:16.16ID:bgfIar7Z
>>217
公理と定理は意味が全く違うよ
公理と定理は意味が全く違うよ
2020/04/07(火) 17:35:39.46ID:NV/OvjQk
221ニュースソース検討中@自治議論スレ
2020/04/07(火) 17:38:59.95ID:fjJ84vTV >>209
あのさあ、それなんも言い返せてないぞ
あのさあ、それなんも言い返せてないぞ
2020/04/07(火) 17:39:58.33ID:NV/OvjQk
ユークリッドの原論
原論には以下の5つの公準が挙げられている:
第1公準 : 点と点を直線で結ぶ事ができる
第2公準 : 線分は両側に延長して直線にできる
第3公準 : 1点を中心にして任意の半径の円を描く事ができる
第4公準 : 全ての直角は等しい(角度である)
第5公準 : 1つの直線が2つの直線に交わり、同じ側の内角の和が2つの直角より小さいならば、この2つの直線は限りなく延長されると、2つの直角より小さい角のある側において交わる。
これはユークリッド幾何学の公理であって例えば集合論の公理は含まれていないよね
原論には以下の5つの公準が挙げられている:
第1公準 : 点と点を直線で結ぶ事ができる
第2公準 : 線分は両側に延長して直線にできる
第3公準 : 1点を中心にして任意の半径の円を描く事ができる
第4公準 : 全ての直角は等しい(角度である)
第5公準 : 1つの直線が2つの直線に交わり、同じ側の内角の和が2つの直角より小さいならば、この2つの直線は限りなく延長されると、2つの直角より小さい角のある側において交わる。
これはユークリッド幾何学の公理であって例えば集合論の公理は含まれていないよね
2020/04/07(火) 17:56:57.37ID:rlXSOabG
>>221
馬鹿にしてるだけだから言い返したつもりは無い
馬鹿にしてるだけだから言い返したつもりは無い
224ニュースソース検討中@自治議論スレ
2020/04/07(火) 18:02:24.04ID:mCXlT6Ua225ニュースソース検討中@自治議論スレ
2020/04/07(火) 18:04:41.85ID:mCXlT6Ua226ニュースソース検討中@自治議論スレ
2020/04/07(火) 18:06:35.69ID:mCXlT6Ua この望月スレ見てると
なんで考古学のゴッドハンドが止められ無かったか
リアルタイムで分かるだろ
まさか数学で京大がゴッドハンドやるとはね
日本の劣化が凄まじいな
なんで考古学のゴッドハンドが止められ無かったか
リアルタイムで分かるだろ
まさか数学で京大がゴッドハンドやるとはね
日本の劣化が凄まじいな
2020/04/07(火) 18:08:05.82ID:bf36IvBd
査読通しちゃった連中も分かってないんだろうな
めんどくさいから通しちゃえ、あとは興味のある連中だけでやってって感じか
めんどくさいから通しちゃえ、あとは興味のある連中だけでやってって感じか
2020/04/07(火) 18:16:05.61ID:Sa7wnnhA
フェルマーの最終定理て証明されたんと違うの?
2020/04/07(火) 18:25:09.14ID:rlXSOabG
2020/04/07(火) 18:56:30.84ID:x16x8BoF
と言うか
オボちゃんの不幸なトコは
査読や追試が終わる前に、アイドル化され報道されちゃったトコだから…
オボちゃんの不幸なトコは
査読や追試が終わる前に、アイドル化され報道されちゃったトコだから…
2020/04/07(火) 19:06:45.02ID:NV/OvjQk
2020/04/07(火) 21:23:52.65ID:67mWGPfD
虚が出るか破面が出るか
233ニュースソース検討中@自治議論スレ
2020/04/08(水) 06:01:52.52ID:ruOBV1SU234ニュースソース検討中@自治議論スレ
2020/04/08(水) 06:05:51.63ID:ruOBV1SU >>226
>まさか数学で京大がゴッドハンドやるとはね
>日本の劣化が凄まじいな
アホだろおまえ
以前から既にネット上に全て公開してあった論文を
今回正式にプレスリリースしただけで
なんでゴッドハンドなんだよ
>まさか数学で京大がゴッドハンドやるとはね
>日本の劣化が凄まじいな
アホだろおまえ
以前から既にネット上に全て公開してあった論文を
今回正式にプレスリリースしただけで
なんでゴッドハンドなんだよ
235ニュースソース検討中@自治議論スレ
2020/04/08(水) 06:11:51.33ID:ruOBV1SU >>224
>それだな
>取り巻きがとにかく必死だがダメだね
>証明出来てない
アホだろおまえ
ABCが証明できたか否かに関わらず
数学会がIUT自体の価値に興味を持ってないから
取り巻きが必死なんだぞ
IUTは「数学の構造」に対する応用がない
>それだな
>取り巻きがとにかく必死だがダメだね
>証明出来てない
アホだろおまえ
ABCが証明できたか否かに関わらず
数学会がIUT自体の価値に興味を持ってないから
取り巻きが必死なんだぞ
IUTは「数学の構造」に対する応用がない
236ニュースソース検討中@自治議論スレ
2020/04/08(水) 06:35:45.62ID:y87Ctq7c フェルマーの最終定理は25年前に証明されてるけど嘘だったん?
2020/04/08(水) 07:11:36.46ID:NTc/y5oX
>>216
ユークリッドとか言うと途端に分かりにくくなるからこれはこれでいいんじゃないかな
ユークリッドとか言うと途端に分かりにくくなるからこれはこれでいいんじゃないかな
2020/04/08(水) 07:41:10.01ID:EpmaIQgN
>>218
ぎゃくだろ
ぎゃくだろ
239ニュースソース検討中@自治議論スレ
2020/04/08(水) 10:50:08.56ID:Kq/MKmap 7年半も放置された「数学の証明」…大天才が戦って得た栄冠
https://smart-flash.jp/sociopolitics/98851
さらに、論文への無理解、批判もあったようだ。2020年1月には、望月教授が自身のブログで、論文が実質 “放置”
されており、「海外の数学界の(中略)妨害活動」が存在するとまで訴えていたのだ。
https://smart-flash.jp/sociopolitics/98851
さらに、論文への無理解、批判もあったようだ。2020年1月には、望月教授が自身のブログで、論文が実質 “放置”
されており、「海外の数学界の(中略)妨害活動」が存在するとまで訴えていたのだ。
2020/04/09(木) 16:06:05.82ID:wh5S3Zwp
一般人が分からなくても、数学村内で一定数が同意できないなら証明したことにならないのでは?
証明てのは説得する技術のことなんだから、第三者がそれで納得できてこそだ
本人だけが分かってるてのは、
宗教教祖の神の啓示を受けて開眼したレベルの話で、第三者的には妄想の評価にしかならない
神の目線で見て証明に成功できてても、
それは神が証明したとする啓示が降りてきたのを信じろて話になる
現時点では主張であり宣言でしかなく、
その内容は妄想である可能性すらある
少なくとも数学の世界でABC予想が正しい前提で数学理論を書く者はいないし、
書いても誰もそれを認めないはずだ
証明てのは説得する技術のことなんだから、第三者がそれで納得できてこそだ
本人だけが分かってるてのは、
宗教教祖の神の啓示を受けて開眼したレベルの話で、第三者的には妄想の評価にしかならない
神の目線で見て証明に成功できてても、
それは神が証明したとする啓示が降りてきたのを信じろて話になる
現時点では主張であり宣言でしかなく、
その内容は妄想である可能性すらある
少なくとも数学の世界でABC予想が正しい前提で数学理論を書く者はいないし、
書いても誰もそれを認めないはずだ
241ニュースソース検討中@自治議論スレ
2020/04/09(木) 16:56:30.07ID:frEDR1Gi 証明を説得するための技術とか言ってる時点で理解できる日は
遠いんだろうなとは思いました
遠いんだろうなとは思いました
2020/04/09(木) 17:15:15.41ID:cxKCeKjF
望月先生が「誤解学」とか論じてるしな
2020/04/10(金) 00:04:20.70ID:JwwLLTF0
正しいか正しくないか以前に
これをまず理解できる人が
少な過ぎるなw
これをまず理解できる人が
少な過ぎるなw
2020/04/10(金) 03:14:56.03ID:fIMb1C0d
ぶっちゃけこれを理解してる人がこの証明を納得し支持しますと宣言して署名するセレモニーしたらどうだろう?
仮にそれが3人だとする
一方で、論文内容の言わんとするおころは理解したが論理破綻ないし飛躍があり証明ならずの方に署名した者が5人だとしよう、いや一人でいい
その時、証明が成ったと言えるのだろうか?
仮にそれが3人だとする
一方で、論文内容の言わんとするおころは理解したが論理破綻ないし飛躍があり証明ならずの方に署名した者が5人だとしよう、いや一人でいい
その時、証明が成ったと言えるのだろうか?
2020/04/10(金) 03:29:17.73ID:V6+kGUOH
2020/04/10(金) 03:30:37.89ID:JjakBpr2
2020/04/10(金) 10:06:28.96ID:LjHCJ6HU
公開された論文のギャップを説明するなり
反例だすなりすれば一発なのに
陰謀論に逃げる無能
反例だすなりすれば一発なのに
陰謀論に逃げる無能
248ニュースソース検討中@自治議論スレ
2020/04/10(金) 16:47:49.44ID:G+lERZFW Lが5以上の素数のLってラグランジュ函数なのか?
2020/04/10(金) 16:52:13.04ID:G+lERZFW
Lが5以上の素数のLってライプニッツ函数なのか?
250ニュースソース検討中@自治議論スレ
2020/04/10(金) 17:09:12.22ID:G+lERZFW ラグランジュ点6のL6とかって難しそうだな。
251ニュースソース検討中@自治議論スレ
2020/04/10(金) 17:20:24.98ID:cO7tdtCb 数学の天才が理解する努力をして半年してやっと分かる公式を使って最終定理を証明って
252ニュースソース検討中@自治議論スレ
2020/04/10(金) 17:35:51.53ID:0ac+Wi6T X+Y=LOVE
正しい理論だ
正しい理論だ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 米国ホワイトハウス声明 「中国とロシアを排除する」 グリーンランド領有について説明 [お断り★]
- 【大分】生徒による暴行動画が拡散 約1分間、執拗な暴行…大分市内の中学校か 市教委が事実関係を調査 ★2 [ぐれ★]
- 【日中】ニトリ会長「レアアースはあらゆる部品に」 中国の輸出規制に日本の経済界からも懸念の声 政府には「早く手を打ってほしい」★8 [煮卵★]
- ロシア、年金生活者や生活困窮者をウクライナ前線に投入 犠牲をいとわない戦い方はもはや“肉ひき機” ★2 [お断り★]
- 【日中】中国依存7割「レアアース」が輸出規制されたら…自動車や家電など生産への影響懸念 新車の製造遅れで中古車値上がりも ★4 [煮卵★]
- 【カーリング】ロコ・ソラーレに相手が注意「それはダメでしょ!」 試合中にチクリ「二度とやらないで」 [muffin★]
- 【実況】博衣こよりのえちえち4年ぶりJump King🧪
- あと653レス行ったらオナニー実況する
- 【高市悲報】日本政府、3日連続で中国にレアアース輸出制規制の撤回を要求 [931948549]
- とうふさんのお🏡
- 【速報】ラブホ市長、当選確実ww [347751896]
- 2025年一番売れた車はホンダ「N―BOX」この国はずーっとコレ [668970678]
