2ちゃんねる ■掲示板に戻る■ 全部 1- 最新50    

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

【数学】 ABC予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03

1 :朝一から閉店までφ ★:2020/04/03(金) 18:33:44.93 ID:CAP_USER.net
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

2 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 18:34:43.79 ID:DMNSyQ6+.net
TV番組に酷い扱いをされたコスプレイヤーが心情を吐露かつ約束破りも告発…出演者の田村淳が引用ツイートで誤解だと謝罪、本人は和解へ
http://cnmoy.davehensley.net/bzy2qs5n/dt1mo8c6z62bqr.html


マッチングアプリの新しい使い方、普通に実用性が高くて優秀だった「これは最高のマッチ」「こんなに正しい使い方他にない」

http://cnbmko.diyplans.org/yoer4x78r/5ork1pipa87nym.html

3 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 18:38:59.52 ID:NmFnWr02.net
望定期

4 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 18:57:27.37 ID:jIuJXxCh.net
だいたい俺の予想と同じだな
A+B=C

5 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 18:59:22.58 ID:nahC2o0r.net
Aの次はB、Bの次はC
こんなの俺でもわかる

6 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 18:59:32.69 ID:UM5VW3k2.net
BCG予想も検証中

7 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:03:24.95 ID:xcp1GKCC.net
Bの前にCってそれレイpだろ

8 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:17:34.24 ID:eqgoKI/Y.net
ポアンカレ予想は?

9 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:26:57 ID:NpMYdp1E.net
>>8
もう解けてる

10 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:28:47 ID:qix5xs71.net
生きてるうちにリーマン予想も誰か証明してくれ

11 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:29:09 ID:jAHZLsiB.net
いまNHKニュースでやってた。ノーベル賞何個分にも値するそうだ。すげーな日本人。

>>8
ロシア人が解いてる。

12 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:37:24 ID:RSETpyeH.net
えーびーしー?

13 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:41:09 ID:MxBhP81V.net
ABCマートはチョン経営だから買うな! だろ

14 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:49:05 ID:F3gaatT5.net
>>10
36年抜き足ししてるが無理そうです

15 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:49:36 ID:HuXHcXvH.net
漸くか
長かったなぁ

16 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:50:09 ID:79o+0nfP.net
リーマン予想もいけそうな感じらしいじゃん

17 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:55:47.46 ID:Z6LK5jSx.net
【山本太郎】 酔っぱらいに論説、弱者を盾に票集め
http://lavender.5ch.net/test/read.cgi/giin/1585887338/l50
http://o.5ch.net/1mzwk.png

18 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:56:39.44 ID:HuXHcXvH.net
査読に7年半かぁw

19 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 19:57:00.24 ID:41Z7U30A.net
>>11
俺も嬉しいけど才能のほとんどはアメリカで磨いてるからなぁ

20 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:00:27.22 ID:IunqwgHy.net
京大か。玉川徹とえらい違いだな。

21 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:07:29.39 ID:41Z7U30A.net
>>20
ただの京大修士卒と23歳でプリンストン大学の博士号取って32歳で京大教授になった人を比べる方がおかしい

22 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:07:35.03 ID:jAHZLsiB.net
>>20
こっちは害悪だもんなw

23 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:09:48.25 ID:jAHZLsiB.net
>>19
いいよいいよ日本人なら。世界に認められる日本人が一人でも増えてほしい。

24 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:15:02.54 ID:cY4Qbk9C.net
>>8
3分間待つのだぞ

25 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:16:56.02 ID:41Z7U30A.net
>>23
まあなその気持ちは分かる
この人に関しては環境が育てたとかいうタイプじゃないやろし

26 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:19:49.35 ID:c48sP0/5.net
Aはキスだったか?

27 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:25:52 ID:eLqg4q5O.net
それだけじゃ困ります

28 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:28:43 ID:JGNkGEXw.net
京大の雑誌にだけ載って、世界的には認められてないんでしょ?
まだ証明されたとは言えないんじゃないの

29 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:30:17.81 ID:gE4vAQYN.net
どうでもよさそうな数式に見えるけど
これが他の問題の証明に役にたつのか

30 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:31:38.28 ID:41Z7U30A.net
>>28
それが載ったからニュースになってんだよ

31 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:31:49.62 ID:79o+0nfP.net
>>28
8年間、正しいとも間違ってるとも誰も断言できなかった
ショルツがある箇所を突っ込んだがすぐモッチーがアンサー済み

32 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:32:53.34 ID:NhU73w++.net
また小保方みたいなオチじゃないの?

33 :みつめ和紀:2020/04/03(金) 20:53:05.53 ID:ez06Cn+/.net
僕もみつめ理論という超音波盗聴機について、ウェブで公開しているのだが、
なかなか分かりにくいらしい。特に分かりにくいのが、超音波の音が人体にも存在する
ということと、それがなんであるかをはっきり書いていることが分かりにくいらしい。
つまり、信じられないということでwしかし、法律的には証明しているのだが、
これも報道しないようにしているので…。報道すればメディアはみなアウト。謝罪!!

34 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 20:53:25.37 ID:MF6fnR4b.net
ネトウヨ「ウリたち日本人がABC予想を解決したニダ!<ヽ`∀´>チョン涙目ニダ!<ヽ`∀´>」

↑ぬか喜びだったの?(´・ω・`)

35 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:03:30.14 ID:z8wsAckB.net
これ、CKD予想じゃん

こんなん小学生でも分かるぞ

36 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:06:00.54 ID:LdjVDUU2.net
>>27
Dを知らずにCするとかアリエナイ

37 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:06:50.30 ID:NhU73w++.net
ペレルマンになるか小保方になるか・・

38 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:12:38.75 ID:yhJ0CeOA.net
宇宙際の本は読んだ
分からんが

39 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:20:05.11 ID:41Z7U30A.net
>>35
なにそれ慢性腎臓病?

40 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:23:44.66 ID:eqgoKI/Y.net
アルファベットラブ?

41 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:27:09.46 ID:M+3tuucu.net
宇宙ミュラーなんとかいう名称がまた意味不明だが、馬鹿なりに発表当時興味持って色々目にしてみたけど四則演算のルールを変えるって話から先に進めなかったわ。感覚的にはちょっと掴んだんだけどな…

42 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:31:31.56 ID:2X5YcrrL.net
>>1
アベチャン予想?

43 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:34:55.64 ID:PpsFBMLU.net
俺も学生時代こういう教授に....教わりたくねぇ...

44 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:43:07.03 ID:eLqg4q5O.net
>>41
俺たちが知ってる普通の数学は5つの公理から成り立ってるんだけど
この公理のうちどれかを一部でも書き換えると"別の数学"になっちゃう事がわかってる
「俺たちがいる宇宙の外にも宇宙はあるけど物理法則はちがうかもしれない」みたいな感じ
けれど書き換え方によっては"数学"同士で相関がある場合もあるわけ
望月さんはそうやって「相関はあるけど別の数学」に一旦命題を輸出して証明したあとに逆輸入した感じ(多分ね)
「宇宙際(うちゅうさい)」って理論名もそっからきてるはず(「国際」の上位版だから「宇宙際」)

45 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:43:38.40 ID:pQjhg+r1.net
>>1
本人のブログでは、1月頃まではずっと苦しかったらしい


宇宙際タイヒミューラー理論(IUTeich)の論文を巡る現状報告: 「数学界に出現している悲惨なブラックホールの物語」
2020.01.05 望月新一
https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/

46 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 21:57:04 ID:M+3tuucu.net
>>44
わかりやすい説明だな。

47 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 22:01:32 ID:1Z/c5L7o.net
望月さんにお願い。
そのオツムで、コロナ問題を解いてくれないかね?

それが望月さんのアタマの良さの
何よりの証明になりますよ。

48 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 22:25:59 ID:61629wu1.net
>>24
それはボンカレー

49 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 22:31:51 ID:iusucoUM.net
この人すごいが俺にも理解できるよう
教えてくれる人がいたらもっとすごい。

50 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 22:59:15 ID:imZd6qJT.net
「ABC予想」証明したIUT理論の解説書 『宇宙と宇宙をつなぐ数学』緊急重版決定
https://headlines.yahoo.co.jp/article?a=20200403-00010046-realsound-ent

51 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 22:59:35 ID:gy+u2KjT.net
>>47
ABC予想は、無限の整数にどのように処理をほどこすと有限に変わり得るかの問題。
無限の部分集合は無限だ。つまりABC予想は、直感的には無限になりそうにも思う。

新型コロナは、ウイルスそのものから、その発生の原因、感染の拡大、また症状においても
ほとんど何でもあり(無限定)であるかの様相を呈し、世界中を大混乱に陥れている。
確かに、我々の認識するインフルエンザの様相としては無限定にもみえる。
が、つぶさに個々の感染経緯、発症状況、その症状の形態を集めていけば、何らかの感染に関わる共通する項目がでてくるはず。

ここがきちんと認識されなければ、新型コロナの治療は難しくなる。
1月からこの今において時間的にも、世界各国における状況(場所的)にもそれぞれ違いが多すぎるからだ。
しかし、何かは見つかるはず。

52 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 23:08:04 ID:pQjhg+r1.net
>>1
解説本はこちら

宇宙と宇宙をつなぐ数学 IUT理論の衝撃
加藤文元 著
発売日:2019年04月25日
https://www.kadokawa.co.jp/product/321802000140/


著者 加藤文元
現・東工大 理学院数学系 教授
(履歴 独マックス・プランク研究所員、仏レンヌ大 客員教授、仏パリ第6大学 客員教授)


レビューより:
本書は数式を追っていくような数学書ではなく縦書きで、IUT理論の紹介にとどまらず数学とは何かを述べるような内容になっている。…
文章が秀逸で一般向けによくこれほど平易に解説できるものだと感銘を覚えるほどである。…

53 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 23:10:34 ID:+eDMrgpx.net
公約数自然数素因数分解すら忘れた文系だが、何が凄いのか理系の知的なエロい人教えて↓

54 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 23:18:17 ID:AAPvDwkE.net
どんな難解な本でも必ず一定数の需要があるらしい。
これは歩留まりの問題だからどうしようもないらしい。

55 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 23:33:08.67 ID:pQjhg+r1.net
>>1
中高生でも分かるIUT理論を図解付きで公演
解説は加藤文元教授

ユーチューブで「 fNS7N04DLAQ 」で検索

または「 abc Conjecture and New Mathematics 」で検索

56 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 23:35:58.33 ID:EzGr/fj8.net
あ〜〜イイ気持ち〜

57 :ニュースソース検討中@自治議論スレ:2020/04/03(金) 23:46:17.57 ID:pQjhg+r1.net
>>50 >>52
刊行によせて
望月新一

… しかし、ある意味においては数学という学問の誕生以来、
「緩み」=「不定性」は到底あり得ない、考えられないものとして認識されてきた「足し算と掛け算の間にある固い関係」=「環の構造」においても、
「緩み」=「不定性」は数学的に意味のある形で存在し得るものであるという趣旨の理論は、
「環」や「数」の構造・性質を研究する「数論幾何学」という分野の多くの(特に欧米の)研究者にとっては、
受容可能な範囲をあっさり飛び越えた、余りにも衝撃的な事象として受け止められたようです。…

58 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:00:50.48 ID:EtihWxBa.net
>>49 >>53
要は異世界転生アニメ状態

新しい数学そのものを作っちゃったら、
今まで解けなかった問題がそれで解けるようになった

ある異世界では全員が何十年も剣術の修行してるけど、
突然ライフル銃作れる人が出てきて、
それは強力だけど射撃の訓練が全く別なので、ゼロから始めるとかなり難しい

この世界ではライフル銃をうまく使いこなせる人が数人しかいないから、まだ誰もそれが本当に使えると信じてない

59 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:08:35.97 ID:pDo3bXGz.net
第一志望学校多浪で不合格、とうきょう医科大在日枠情実の、リカチョン

全く関与せず

60 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:28:33.49 ID:gmP0u7ZB.net
生存記録を記録してた先生だよな?
生きておられて本当に良かった。
とんでもない功績だろうから、狙われてもおかしくないことなんだって
8年も気にしてた

61 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:32:18.64 ID:dK4cWti1.net
宇宙際ナントカとか、まったくわからないよなー。
というか、想像すらできない。

62 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:42:02.38 ID:H8iklyih.net
参考まで
【数学】未解明だった超難問「ABC予想」ついに証明 京大の望月教授 「宇宙際タイヒミューラー理論」斬新・難解で査読に8年 
https://asahi.5ch.net/test/read.cgi/newsplus/1585890635/

63 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:42:33.82 ID:/JDMqIwA.net
こういう人って中途半端な頭脳派より
久保帯人とか吉田都とかの方が通じる対話できそう

64 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 00:59:27.72 ID:4qkDfuTe.net
>>60
なにそれ?

65 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:09:08.23 ID:Qzh50Ao+.net
>>20
ウヨさんさぁ
京大だろうと東大だろうと人が違えば思考も違うんだよ?
頭の悪さ露呈しちゃったね

66 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:12:37.33 ID:FyEAN5/K.net
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
ってブログがあった。
2つの問題があるみたい
・「3番目の論文の中で系3.12」にロジックの飛躍があるのでは?
・自分が編集に関わる雑誌で査読・発表した

67 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:23:39.95 ID://rNr7KJ.net
新しい数学を作ったってなんか途方もない話だな
本人自体が別宇宙からの来訪者なんじゃないのか

68 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:26:40.26 ID:H8kZaYwS.net
たしかに竹之内脩の集合論でも

A∧B ⇒ A∨B

を導出していた
俺はこれでその本を読むことを止めたが
それが通じる時代や人がいることは確かだ
俺は一生分からんと思う

69 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:30:54.61 ID:H8kZaYwS.net
これを論理の話にすると
全称命題から存在命題を導出していることになる
形式論理学的には正しい場合もある(と書いてあるものもある)
しかし一般に正しいのかというのはよくわからない
なぜなら全称命題にはその存在性が無いからだ

70 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:39:30.80 ID:UzkkfBXG.net
これが解けると何に繋がってどんなことが出来るようになるんだ??

71 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:43:35.43 ID:H8kZaYwS.net
論理学的にどうアプローチできるのかはわからないが

すべてのカラスは黒い

という全称命題についてそう書くことはできるが
本当にすべてのカラスを確かめられるわけではない
ここで重要なのは
カラスが黒いのかどうかではなく
カラスが居るのかどうか
を確かめられないという所
そういう意味で全称命題の不存在性という言葉を用いている

72 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 01:51:50 ID:/JDMqIwA.net
全称命題(ぜんしょうめいだい、英:universal proposition)とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。
例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。@wikipedia

存在命題(existential proposition)とは、ある条件を満たす要素が存在するという形式の命題のことです。

「ある自然数Nで、4Nが偶数とならないものが存在する」例えばこれが存在命題です。
「〜が存在する」は、「ある〜で条件を満たす」「〜がある」「条件を満たす〜が取れる」とも言えます。
英語では、there exists ~~ such that…とも言いますね。

◯論理学の記号で表現する

全称命題、存在命題は、簡単のために記号で表されることがあります。

全称命題の記号はallのAをひっくり返した「∀」で、
存在命題はexistのEをひっくり返した「∃」となります。


https://math-fun.net/

73 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 02:12:19 ID:qRK/jbAz.net
査読が内輪でやられているのではないかということと、
発表する雑誌も内輪のもの。
もう一人の天才シュルツ教授(なんと32歳)の批判が
解決されるのがポイントかな。
証明されているということを信じたいが。

74 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 02:33:44 ID:99aeOMbg.net
応用例ないの

75 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 03:48:43 ID:Klqh84sv.net
Natureで八百長だとめっちゃ批判されたぞ

76 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 04:27:10.18 ID:Ho/7ERbM.net
チラ見しただけで予想し的中するとか天才だな。下手したら事案通報だぜ

77 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 04:39:34.71 ID:utYdRoKH.net
 


論文はタイプライターで作成しないとね。

ワープロではダメだ。


 

78 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 05:29:00.08 ID:cUMU4wa+.net
>>1 >>62
4/3
【数学】未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年
https:
//egg.5ch.net/test/read.cgi/bizplus/1585905846/
【つまり?】現代数学で最重要の難問「ABC予想」を証明、論文掲載へ 京大・望月教授、8年越しで専門誌に★2
https:
//asahi.5ch.net/test/read.cgi/newsplus/1585911164/
京大の望月教授「ABC予想」証明 数学の超難問、公表から8年―学術誌が論文受理
https:
//rosie.5ch.net/test/read.cgi/editorialplus/1585892523/
数学の難問「ABC予想」証明 望月京大教授の論文、学術誌に掲載
https:
//www.sankei.com/smp/life/news/200403/lif2004030058-s1.html
ABC予想証明「数百年に1度」の偉業 望月新一氏、独創的理論
https:
//special.sankei.com/a/society/article/20200403/0002.html

【偉業】世界で理解できる数学者は10人程…「ABC予想」証明 京大・望月教授に「ノーベル賞の1つや2つでは足りない」と関係者
https://asahi.5ch.net/test/read.cgi/newsplus/1585918402/
難問「ABC予想」京大教授が証明 専門家「歴史に残る成果」
https://rosie.5ch.net/test/read.cgi/liveplus/1585906761/

79 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 05:29:35.03 ID:cUMU4wa+.net
4/3
数学の超難問ABC予想、京大教授が「証明」
https://www.nikkei.com/article/DGXMZO57648290T00C20A4CR8000
京大は「論文の正しさが証明された」と説明している。ただ数学の難問は、論文掲載後数年かけて世界の数学者の検証を受けて初めて
証明されたとされる。論文発表から約7年半、本格的な証明に向けたスタートラインに立ったことになる。

ただ、世界の数学者の間では「完全に証明」とはなっていない。2018年に「数学のノーベル賞」といわれるフィールズ賞を受賞した
ピーター・ショルツ独ボン大学教授は「論文は証明になっておらず、今回、論文が受理されたと聞いて驚いている」と語る。
別の数学者も「論理に飛躍があることは複数の数学者が指摘してきたが、変わっていない」と話す。

【数学】ショルツェ独ボン大教授「ABC予想は今も予想のままだ」 「今回、論文が受理されたと聞いて驚いている」とも 
https://asahi.5ch.net/test/read.cgi/newsplus/1585904787/470

80 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 05:30:21.18 ID: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】 ABC予想証明の望月氏はどんな人? 32歳で教授、好物は焼肉
https://phoebe.bbspink.com/test/read.cgi/pinkplus/1585904658/
ABC予想証明の教授、ブログも独創的 「欅坂に興奮」
https://www.asahi.com/articles/ASN4164ZWN3LULBJ009.html

81 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 05:48:07.82 ID:XSyXCLeg.net
>>28
> 京大の雑誌にだけ載って、世界的には認められてないんでしょ?

全く違う

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

だから望月論文の正しさは世界的に認められたのだ

82 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 05:55:08 ID:XSyXCLeg.net
>>47
> そのオツムで、コロナ問題を解いてくれないかね?
>
> それが望月さんのアタマの良さの
> 何よりの証明になりますよ。

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

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

君みたいな他力本願の人間ばかりだと遠からず日本でのコロナ問題は破局的な結末を迎えるだろうな

83 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 05:57:04 ID:XSyXCLeg.net
>>68
> たしかに竹之内脩の集合論でも
>
> A∧B ⇒ A∨B
>
> を導出していた
> 俺はこれでその本を読むことを止めたが

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

これが逆の

A∨B ⇒ A∧B

を導出していた、というならナンセンスだから読むのを止めて当然だが

84 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:10:12 ID:EMcHoklF.net
おれはいつもA→A+B→ABCの流れです

85 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:16:50 ID:R677YWsp.net
アガサ・クリスティの小説によるとBの人が犯人です!

86 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:26:53 ID:Kp3s0T3L.net
証明されると何が嬉しいの

87 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:41:24 ID:rxPrdDG6.net
>>45
この望月教授本人の告発(と本人が言っている)ブログを読むと謎のブラックホール的に論文が査読されているのか否かも分からない状態が
海外の敵意のある勢力か、はたまた論文への大きな誤解から生じている。そのような状態は数学界・研究者にとって健全ではない

ってことは前半を読んでなんとなく理解できた(丁寧で分かりやすい文章なので)
でも、後半の“論文に対する誤解”を解こうとする専門店な数式や叙述についてはマジでサッパリ分からないよ・・・

88 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:49:37 ID:SAKRV1GG.net
わざと低能糞土人の欧米白人キリスト教諸国連合どもに理解できないように書いて
この宇宙と別の宇宙を繋ぐ基礎理論の構築を日本が完成させる計画だから
わざわざ低能糞土人の欧米白人キリスト教諸国連合どもに理解される必要は無い
低能糞土人の欧米白人キリスト教諸国連合どもはそのまま滅びとけや

89 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:49:59 ID:SAKRV1GG.net
スタップ細胞も作製は成功したが培養を捏造してた
という事実を捻じ曲げて
スタップ細胞の作製自体が捏造だったと印象付ける報道を
低能糞土人の欧米白人キリスト教諸国連合どもの洗脳装置であるテレビがしまくった結果
スタップ細胞作製技術の特許をアメリカに取られて終わったからな
全ての元凶は低能糞土人の欧米白人キリスト教諸国連合どもの世界支配だから
さっさと低能糞土人の欧米白人キリスト教諸国連合どもをウイルスで滅ぼせ

90 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 06:50:16 ID:SAKRV1GG.net
低能糞土人の欧米白人キリスト教諸国連合どもは
理解が出来ないから
宇宙が複数あると一神教の世界観が壊れるので認めたくないから
有色人種の偉業を認めたくないから

もう低能糞土人の欧米白人キリスト教諸国連合どもは放っておけ

91 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 07:09:54.06 ID:Jiv/ONJP.net
それほど超難解な理論の名称がABC予想って、実に簡単で覚えやすい。

92 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 07:21:23.42 ID:FXNwP/QP.net
>>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

93 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 07:35:27.89 ID:cGxHvHoh.net
宇宙際タイヒミューラー理論か…
そろそろわたしの次元際タイヒミューラー理論をお披露目する頃合いかもな

94 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 07:50:10.18 ID:a2kexEYC.net
2018年のフィールズ賞受賞者が証明になってないのに受理されて驚きって、
そうとう問題あるんじゃね? 小保方事件の教訓が活かされてないじゃん
京都大学にとっては正しくないと困るってことなんだろうけど、
政治力じゃなくて説明で納得させないと

95 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 07:51:58.30 ID:5/0CwSZI.net
アジア人のフィールズ賞ってたったの6人しかいないんだよな

96 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 08:19:19 ID:Am86uvjd.net
スピードの向こう側みたいなもん

97 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 08:21:31 ID:h+CdB1nv.net
>>58
なるへそ
要は岡山のクソ親父5人分くらいの変態ってことだな

98 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 08:24:19 ID:sCdzbPXt.net
>>94
証明になってない云々のソースある?
ショルツが文句つけてきたとこは望月さんが回答済みだが

99 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 08:29:10 ID:aPN4BOP6.net
>>58
良いからさっさとご飯食べなさい
冷めちゃうでしょ!

100 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 08:55:06.81 ID:RRmv9jxo.net
サイン・コサイン・た・・・タイガージェット、シン!!!(バカでゴメン)
そんな俺にでも理解できる、ABC予想が証明された後の世界がどう変わるか教えてくれ。
タイムマシーンが一歩近づいただったらええな。なんとなく、超難解なクイズが解けた
ような気がするが。

101 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 08:59:42 ID:kGoahrb/.net
>>83
明らかだというのなら全称命題から存在命題を証明してください

102 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 09:01:11 ID:kGoahrb/.net
すべてのカラスは黒い ⇒ 少なくとも1羽黒いカラスが居る

どこにいんだよwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

103 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 09:16:48 ID:fmQ2jEoE.net
AがキスでBがペッティングでCがセックスってあったな

104 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 09:20:10 ID:AfNvNxsM.net
結局間違ってだんだっけ?フィールズ賞のドイツ人にここちがってね?って言われて反論できてないんだろ?

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

韓国、在日韓国人、北朝鮮や左翼マスコミ、左翼野党は、新型コロナウイルスで日本人が苦しむのを楽しみ、オリンピックの中止をあおっているのである。醜い誹謗中傷で日本人を混乱させ対立させるのが在日野党と極左メディアの狙いなのだ。。。。。
極左野党や朝日、毎日(TBS)、東京(中日)などの極左マスコミは、犯罪でもない森加計、桜を見る会などで、必死に自民と安倍首相のイメージダウンを狙ってヘイトを繰り広げて、韓国、在日韓国人、北朝鮮の利益ために、日本人を親韓反日に洗脳しているだ。
日本の憲法が改正され日本人が目覚めれば、日本から技術や金を盗めなくなり、在日特権やパチ★コ利権も失う恐れがあるため、韓国、在日韓国人、北朝鮮は、左翼マスコミや左翼政党を使い、狂ったように安倍叩きを必死で行い続け日本人の印象操作を行っているのである。。。
少数の在日韓国・朝鮮人の反日書き込みが、日本の政治経済を大きく混乱させ対立させていることに気が付かず、一緒に安倍批判や政治批判を行う狂った日本人を目覚めさせなければならない。。。。
これまで景気を回復させ、国際関係を改善してきた稀代の名首相である安倍総理の指導の元で、この未曾有の難局を、国民一丸となって乗り越えなければならないのだ。。。。。
今の日本には軍隊がいないから甘すぎるのだ、世界のどこの国にも自国のために警察がいるように、軍隊もいる。
自分の国を守れない憲法9条なんてばかにされ、70年たっても世界のどの国も真似しないし、日本を尊敬もしない。喜んでいるのは中韓と北朝鮮とロシアだけだ。
脅してゆすりたかりをくりかえされ、技術も金も盗み放題。これが日本の現実なのだ
だから日本国民に欧米や中国の外出禁止令のような厳しい規制を行うこともできないのである。
国際社会ではしっかりとした軍隊を持たない国は、まともな国として評価されないのだ。。。。。。
国ぐるみ社会ぐるみで日本ねつ造したヘイトをまき散らす国が韓国であり、日本人を金づるとしか考えていないゆすりたかりの民族なのだ。何度も何度も騙されるな。。。。

106 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 09:29:26 ID:qMup6aOm.net
それ証明されると俺の今晩のおかず一皿増えるんかい

107 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 09:37:49 ID:CuNYjzF5.net
>>105
お前はゴミか?
公害問題を企業の利益を損なう恐れがあると追及に及び腰な
自民党政府や経済界に対して、取り組むように圧力を掛けた
のが市民団体や野党だろ
お前みたいなゴミは社会に有害無益だ

108 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 09:44:21 ID:sCdzbPXt.net
>>104
反論したし解決済みだからPRIMSに掲載された

109 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 10:27:42 ID:HzbswJkd.net
全くわからん。
単純にAとBを足したCよりも、
AとBとCを掛けた数字でさらに正数を
累乗した数の方が
デカくなるのは当たり前なのでは?

110 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 10:50:57 ID:80grGnWa.net
864名無しさん@1周年2020/04/02(木) 05:28:57.16ID:EfNKm1mu0>>870
レンジで使用済みマスクを滅菌する方法
(ワイヤー入りマスクは発火の恐れがあるので使わない)
?霧吹きでマスクを湿らせる
?500Wで5、6分加熱する
これでウイルスはほとんど死滅し何度でも使える

870名無しさん@1周年2020/04/02(木) 05:56:24.61ID:q31vGRjw0
>>864
アイロンの方が安全だろ

111 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 10:59:06 ID:gY8dEx/p.net
俺も論文読ませてもらった。

よくまとまっていて、無駄のない記述に感銘を受けた。

わからんところあったら、質問して。

112 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 11:04:59 ID:RRmv9jxo.net
なんか何百Pに及ぶ大論文らしいが・・・・
普通、何Pぐらいなんだ?この手の論文

原稿用紙1〜2枚程度の感想作文でさえ泣き泣き書いた俺には理解できない世界だけど。

113 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 11:31:25.85 ID:J2t0zvrE.net
エロ画像掲示板

114 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 11:37:16.67 ID:J2t0zvrE.net
体力低下乙

115 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 11:39:32.38 ID:J2t0zvrE.net
左通行で即死
右通行で半減

116 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 11:46:04.72 ID:EQNH9W1V.net
>>104
だから8年を費やして査読完了、正しさを認められたんだって
お前みたいにいつまでも否定引き摺って次の情報を得ない奴が地動説を信じてたんだろうな

117 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 11:53:42 ID:a2kexEYC.net
京大によると、論文は同所が編集し、
欧州数学会が発行する専門誌「PRIMS」(ピーリムズ)に
2月5日付で受理された。今後、特別号に掲載される予定。
望月教授はPRIMSの編集委員長だが、今回は除外され、
特別編集委員会を設置して論文を審査した。

118 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 12:03:48 ID:ZvTrjCbG.net
>>109
1 + 8 = 9

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

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

>上の2 × 3 の部分を1+e 乗し、eが0より少しでも大きいと有限個になるだろう、というのがabc予想である。

119 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 12:03:57 ID:aahjjJ+U.net
>>31
問題点はそのままなんじゃないの?

120 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 12:08:25 ID:gt+bJjy7.net
で、PRIMSは プリムス か ピーリムズ かどっちなの?
Publications of RIMS だから後者?

121 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 12:13:57 ID:nkTINadl.net
>>89
STAPはむりだろ
そもそもが論文の捏造から始まってるし
正しい論文書いてれば済んでた話

122 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 12:23:13 ID:4qkDfuTe.net
>>89
作製自体嘘やで
そもそも論文のレシピ通りに培地作ったらオボちゃんの言うような
酸性の培地にならなかったレベルの酷さや
論文を読んで科学的な議論する練習するとええで

123 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 12:35:47.49 ID:akgvfmtZ.net
宇宙際タイヒミュラー理論が数学者ですら理解不能で、何年も査読進んでなかったのが、ようやく論文掲載に至ったって話?

124 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 13:28:08.96 ID:pWgyyz68.net
ABCマートでセールやらんかな

125 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 13:45:06.31 ID:ajB8UE92.net
>>119
疑義を退けたか、修正したってことだろ

126 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 14:40:20.73 ID:7TqCf7rB.net
望月教授が誰も理解できない全方位壁打ちしてる状況の中で、
内容を理解した数少ない数学者である加藤文元教授が分かりやすく解説した動画らしい
https://www.youtube.com/watch?v=kq4jbNl4lJk

127 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 16:02:21 ID:O3Mmllsk.net
ほんとに証明にギャップがあるなら
論文出てからでも指摘すればいい

数学なので個人の心情とか再現性とかない

128 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 17:49:58.19 ID:oMxUbEhP.net
アレキサンダー・ボナパルト・カスト氏

129 :ニュースソース検討中@自治議論スレ:2020/04/04(土) 20:14:16 ID:BD6/q/Z8.net
いいこと思いついた
講演会で原稿を泉谷しげるに渡して代わりに講演してもらうの
講演中に乱闘が起きて死亡者多数→反対者が消える

130 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 01:15:40 ID: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)∨・・・だと錯覚しているから
だが、全称命題や存在命題は(無限個も許した)論理積や論理和ではない
実際、全称・存在限量子の代わりに無限個の論理積や論理和を論理演算子として入れると
通常の古典1階述語論理が満たしている重要な性質であるコンパクト性という性質が失われる

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

しかしながら、命題論理の論理式としてのA∧B ⇒ A∨Bは古典論理(2値論理)だけでなく直観主義(あるいは構成主義)論理でも真な論理式だ

131 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 05:47:11.16 ID:2tIsqVdT.net
行き着くところは人種差別問題だろうな

132 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 05:58:51.54 ID:NVmLn0ik.net
>>130
私も偽の仮定があると信じてた時がありました(笑)

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

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

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

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

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

もちろん目的が違うので貴方と定義が異なるのは当然ですが
無限個を許した場合だと位相をみたさないという意味ですね
まあそうでしょう
これは明らかですね
でも僕がいつ無限個の話をしたんでしょうね
意味がわかりませんが貴方にとっては明らかなのでしょう(笑)

133 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 06:04:35.26 ID:NVmLn0ik.net
>>130
さて

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

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

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

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

これも同様の理屈でしょう
偽の仮定(笑)

134 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 06:06:30.57 ID:NVmLn0ik.net
真理表

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

これは条件法における真理値です
この問題と演繹を混同しないでくださいね
僕も混同していた時期がありましたが
野矢茂樹先生に救われました

135 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 06:26:41.47 ID:tFuNlGsy.net
「宇宙際タイヒミュラー理論」は、「宇宙臭い堆肥三浦理論」と覚えれば良いことに気付いた

136 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 06:34:13.95 ID:nGhWPlHZ.net
>>13
知るかボケ

力の足りなさを人のせいにするな
日本人なら誇りを持て

137 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 07:11:40.67 ID:jmdXckJP.net
誰か池上さんみたいに1から詳しく解説キボンヌ

138 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 08:19:08.97 ID:KZpMoGUS.net
>>103
Dが妊娠、Eが出産

Zはふたりで骨壷へw

139 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 09:26:58.31 ID:/Fjhye2i.net
●日本が輩出した天才

紫式部 「源氏物語」
道元 「正法眼蔵」
葛飾北斎 「冨嶽三十六景」
田中久重 「万年自鳴鐘」
三島由紀夫 「金閣寺」
南部陽一郎 「ひも理論」
望月新一 「宇宙際タイヒミュラー理論」

140 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 09:44:52 ID:/QLeE9eP.net
>>139
岡潔

141 :よっちゃん:2020/04/05(日) 10:42:03.52 ID:vL8x09hx.net
Ankur Tiwari's Great Discovery of the Division by Zero
$1/0 = \tan (\pi/2) = 0$ on $ 2011$
Authors: Saburou SaitohYoshinori Saitoh

https://vixra.org/abs/2003.0071
https://vixra.org/pdf/2003.0071v1.pdf

142 :よっちゃん:2020/04/05(日) 10:44:54.78 ID: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 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 10:45:34.15 ID:awA3yTko.net
>>137
126ではあかんか

144 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:12:24.24 ID:Ipch8Ztl.net
読んでたら頭痛がしてきた…
理系は楽しいのか

145 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:14:02.91 ID:ZXTEG0AS.net
チョンはXYZ理論でヌーベル賞を目指す

146 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:16:45.36 ID:zUcX8DQI.net
フェルマーの最終定理を証明したワイルズの論文のページ数は数百ページに及ぶが
もしABC予想が正しいとすると、フェルマーの最終定理の証明が
たった論文1ページで説明できちゃう

他にも様々な予想がなし崩し的に証明できたり、照明が簡略化できるなど
大きなポテンシャルを持つ

147 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:19:03.04 ID:sSCyM1uc.net
とりあえず、貼っておきますね

http://i.imgur.com/8kVNyWg.jpg
http://www.youtube.com/watch?v=JxDtsZf4xuk

148 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:36:15.59 ID:BfAHcY8w.net
>>139 >140追加

岡潔 「不定域イデアルの理論」

149 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:49:13.13 ID:zmuSBBxm.net
>>27
ともえーのソロバン

150 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 11:49:16.84 ID:zmuSBBxm.net
>>27
ともえーのソロバン

151 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 12:16:37.01 ID:43YsLtw+.net
>>27
旺文社カセットLLスーパー

152 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 12:17:32.04 ID:ldWQOPAt.net
望月教授と滝浦真人の類似点

望月教授の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/二重投稿

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

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

望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、
望月の定理によって証明おわりと記すことが出来る。
その他の問題も200ぐらい一挙に解決してしまう。

154 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 12:34:56.78 ID:Zro76j8Q.net
>>79
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.33 ID:d2pM/vpU.net
>>1
1世紀も前に解決してるじゃん
たしかポワロとかいう・・・・

156 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 12:39:00.67 ID:mIzhlW4R.net
>>1
自分は理系でこういう話題には興味があるのだが、
自分のまわりは数学を嫌いな人間が多い。
にも関わらずこんな話題では盛り上げるのが不思議だ。
興味を示さないはずでは?
でも内容を見ると、ちゃちゃ入れているのが多いけどな。
解けないのが解けたという話題性で群がってくるのだろう。
流行りもの好きというか。困ったもんだ。

157 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 12:45:53.46 ID:ARuUJwAm.net
>>139
黒澤明 「七人の侍」
手塚治 「火の鳥」
宮崎駿 「風の谷のナウシカ」

158 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 12:49:18.81 ID:YsjYavAB.net
サルがコピペして、自分たちの方が早く証明してたと言いそうだな。

159 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 13:00:26.60 ID:RCk17vF/.net
とけたら社会が変わるのか

160 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 13:18:11 ID:J+vokGaP.net
もしノーベル賞なら
数学者ではじめてってこと?

161 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 13:20:28 ID:NVmLn0ik.net
>>160
そういうこと

162 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 13:21:15 ID:FNPsKyu6.net
難問ってどれも悪魔の証明やな

163 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 15:19:42.98 ID:52J4Biq3.net
悪魔たらしめているのはこれまでの定義によるものでは。

164 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 17:38:21 ID:sIc0APnj.net
>>154
そのNatureの後半の段の訳

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

逆証の記事をドヤ顔で引用しているド阿呆

165 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 17:55:07 ID:wS5vEcI/.net
まともな査読審査してるなら自分の所属してる
数学教室の出してる論文誌に投稿することは
よくあるんだがよく知らない人が不正だと暴れる

166 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 18:55:02 ID:ei8qChMt.net
>>144
この手の純粋数学は数学オタク以外楽しくないよ
これに関しては理解できなくてオタクも楽しくない可能性すらあるが
難問が解けたという事実にはテンション上がってるんじゃないかな

167 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 19:53:47 ID:9bVtKGQ6.net
ABCのビスケットはあるのに
日本語のビスケットはなぜないんでしょ

168 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 20:22:44 ID:a29ls05L.net
>>132-134
数学で用いられる論理のための論理学を学びたいのならば
野矢茂樹のような哲学系の論理学の本でなく
数理論理学の教科書を読むべきだね
何故ならば哲学系の論理学では自然語(例えば日本語)の論理構造などの議論(君が挙げている「条件法」はその最たるもの)が出てきて
原理的には完全に形式化可能であるべき数学で必要とする論理からすれば余計で誤解を招きやすい

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

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

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

まずは古典命題論理および古典1階述語論理に対するGentzenの自然演繹法NKの証明論と意味論とぐらいはきちんと勉強したまえ
話はそれからだ

169 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 20:32:03 ID:NVmLn0ik.net
>>168
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X は恒真命題だ

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

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

>false ⇒ X は恒真命題だ

の具象例は

宇宙人はいる ⇒ 1=2

だろ?wwww

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

おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ

170 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 20:34:07 ID:NVmLn0ik.net
演繹とは真なる前提のみを扱い
それに伴い含意命題は必ず真をなす

これが野矢論理学の心髄

171 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 20:40:15 ID:NVmLn0ik.net
>>168
【哲学板】論理学・集合論
ttps://lavender.5ch.net/test/read.cgi/philo/1490952242/

ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう

172 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 20:40:40 ID:O3SIWUfn.net
>>168
まずは線形代数学じゃないかね

173 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 21:14:34.31 ID:7wCSWzgW.net
>>161
んなアホな

174 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 21:41:19.03 ID:O3SIWUfn.net
>>173
ノーベル数学賞は存在しないので
数学分野の研究でノーベル賞は授与されない

175 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 21:46:43.18 ID:NVmLn0ik.net
いや

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

ってことだろ

176 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 21:57:13.35 ID:NVmLn0ik.net
>>175
これは演繹ではない
演繹なら
数学にノーベル賞はない
で終わり

177 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 21:58:10.74 ID:D0+MYgmB.net
>>176
いや全く終わらんw

178 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 21:59:19.97 ID:O3SIWUfn.net
>>175
数学者で初めて どの ノーベル賞分野で受賞の可能性が有るんだ?
物理学賞か?

179 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 22:00:42.09 ID:O3SIWUfn.net
IUTは強力なツールっぽいからIUTを使って誰かリーマン予想を証明してくれないかな

180 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 22:09:22.21 ID:NVmLn0ik.net
>>178
後件が正しければ前件が肯定される
っていう論理か

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

お前もbotか

181 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 22:54:32.53 ID:O3SIWUfn.net
>>180
お前もな

182 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 23:26:27.35 ID:7pxImnNp.net
社会学や哲学なら紐解いて持論でも考えてみようと思うが、数学だけはダメだw
脳味噌が拒否してるw

183 :ニュースソース検討中@自治議論スレ:2020/04/05(日) 23:45:09.27 ID:awA3yTko.net
高度な数学は哲学

184 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 00:13:56.65 ID:0qYSrnwk.net
でもこういう難しいこと考える人に限って、大学センター試験の数学を解かせると間違ったりするんだよな。

185 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 00:30:56.48 ID:8CDEqw72.net
理論が難しすぎて理解できる数学者が数十人しかいないというのだから
証明が正しいと認めた人もこの数十人だけということになり
その十数人が全員同じ勘違いをしていた可能性も否めないのではないのだろうか
また、そんだけ難しいというか意味不明な内容なら理解できてるつもりで実はできてなかったってのが
その数十人の中に複数名存在する可能性も十分にあるのでは

数百人の数学者に理解できるように説明できるようになって初めて証明された証になるような気がする
もしくはその理論を用いなければ実現できない何かを目の前で提示するとか
見てるものからスレばまるで手品のようでこんなことありえないはずなのに現実として起きている
ということはこの理論は正しかったのか!よく分からんけどみたいな

186 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 00:44:18.46 ID:qJokxNPF.net
>>171
だから数学で使われる論理学を勉強するならば哲学のでなく数理論理学をやるべきだと言ってるだろ
哲学の論理学で曖昧にやりたいなら君一人で勝手にしたまえ

だが数学の証明などの論理について述べたり批判したりしたいならば数理論理学をきちんと勉強したまえ
例えば共立出版からだいぶ前に復刊された松本和夫の『数理論理学』とかが自然演繹の入門には良い

187 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 06:02:28.06 ID:eft5x2mE.net
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
http://taro-nishino.blogspot.com/2019/03/blog-post063.html
望月新一のABC予想証明の組織的な問題点と報道
http://oreranitsuite.com/2020/04/04/mochizukishinichi-abc/2/

188 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 07:07:59 ID:QziWVLnr.net
>>152
お、基地害登場

189 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 07:13:24 ID:wMbSve4C.net
題が難解で逆に解はシンプルだったりするのかと思ったがそんなことはなかった

190 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 16:36:24 ID:p8l9+IsZ.net
Kの意味が解らない!!!いきなり出てくんなよ!!!

191 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 18:28:27.14 ID:A0c8VtYK.net
あくまでIUTというのはツールなんだよね?
(IUTというツールを使って超難問のABC予想が証明できると)

既に証明されている簡易な問題を
遠回りになるかもしれんけどあえてIUTを使って証明した事例があるとわかりやすいと思うのだが

地方の国立大工学部学生が分かる程度のできるだけシンプルな事例を作ってくれんかなと思う

192 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 18:36:41.30 ID:A0c8VtYK.net
せめて数学科の学生が手を付けられるように、既に証明済みの問題をあえてIUTで証明した事例があると良いのだろうけど

193 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 18:39:13.78 ID:sww/mr+u.net
整数問題と言うとルジャンドルの定理とか?
もしくは
ラグランジュの定理とか?

194 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 20:00:36.74 ID:fn+cGbn4.net
道具としては、複素解析みたいなもんか

195 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 22:28:00.98 ID:3WoEOxJv.net
>>94
自分で砂場作って遊んでるみたいな感じだからな。
誰かが入っていってコレは使えない!使える!ってなる場合もあるし、そもそも誰も興味を示さずスルーされる場合もある。

確率は5分だと思う。仮にスルーされても数百年後に再発掘されればいいけど、そもそもタダの妄想の可能性もある。しかし、それが正しいのかどうかを判断するだけで長い時間を要するから、今栄誉が欲しい天才達はスルーするだろう。

196 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 22:40:50.16 ID:sww/mr+u.net
>>195
ただの妄想に10人(程度の)の優秀な数学者が騙されるかね?

197 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 22:53:38.41 ID:gkNfDAoI.net
査読の段階で遅滞する

198 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 23:05:34.58 ID:xx7+TDbv.net
このような組合せ最適化問題?を量子アニーリング方式で解けば一発だと思うが
量子コンピュータはまだ発展途上だし今は無理か

199 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 23:44:57.57 ID:KufHaXbM.net
>>194
超準解析だろ

200 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 23:49:31.49 ID:yNhvOfcE.net
>>198
それじゃ証明にならなん

201 :ニュースソース検討中@自治議論スレ:2020/04/06(月) 23:50:44.25 ID:9DGBhaT0.net
100年後にはだれもが理解するようになるんだろうか

202 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 00:29:31 ID:lDI11XlW.net
アルゴリズム化出来れば

203 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 07:25:40.19 ID:ZaxvqGy1.net
>>44
この理論についてお話的に
ちゃんと解説してくれてるレスに初めて出会えたかも。

204 :よっちゃん:2020/04/07(火) 08:50:14.37 ID:gVHItgMy.net
再生核研究所声明555(2020.3.31)ゼロ除算の数学を越えた影響

https://ameblo.jp/syoshinoris/entry-12586047128.html

205 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 09:57:40.47 ID:Dh9/nshV.net
俺の頭脳を持ってしても
全く理解が出来なかった

206 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 10:11:54 ID:6S/2BMKq.net
>>185
これが白痴ってやつか

207 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 10:46:21.00 ID:bf36IvBd.net
フィールズ賞受賞の天才とこの分野の大御所が「俺はこんな証明認めねえ」
つってんだから形勢は極めて不利だな。素人が何百万人応援しようが意味ないし。
「陰謀が・・・抵抗勢力が・・・」とか喚けば却って状況を悪くするだけ。

208 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 10:51:15.74 ID:9uC0F9zR.net
32歳で京大の数学科の教授
控えめに言って天才だな
IQ180とかいうレベルなんだろうな

209 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 11:30:24 ID:rlXSOabG.net
>>207
君みたいな数学知らない人が陰謀論振り回したところで
関係ないようなものか

210 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 11:38:15 ID:57Sgapi2.net
カントクラスの哲人になれる

211 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 11:59:50 ID:lnamEjIz.net
>>196
友人、弟子とか内輪の関係者だから、望月一派の信者と見做されるだけ。

状況打開の為には信者増やすしかない。
例えば、既存の問題を新理論使って解きまくるとか、この理論無しでは生活成り立たない!みたいな民生品に使われたらぐうの音も出ないだろう。

教授だってABCがどうとかは些末な問題で、この理論を構築したことの意義の方がでかいって言ってるんで、証明できたかどうかだけ拘る価値はない。

212 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 12:17:11 ID:feW76hwh.net
中学生の数学の証明で挫折したんだけど
そこから、学びなおせるニュートンみたいな数学本
アタマいい人教えて!!!

213 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 13:26:20.69 ID:oMrxvdkk.net
>>212
『数学が生まれる物語(全6冊)』『数学が育っていく物語(全6冊)』岩波書店

ちょっと高いが古くならないのが数学のいいところ

214 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 13:51:46.44 ID:sB+ONA5c.net
>>44
今まで読んだ解説の中で最も腑に落ちた。すばらしい。

>>45
これの前半、むちゃくちゃ面白いから、みんな是非読むべき。
後半はわからん。

215 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 14:04:32.54 ID:f2cyhKv/.net
望月新一教授に大臣になってもらって、文科省の改革をしてもらいたい。

216 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 15:28:38.64 ID:oXa5+SOy.net
>>44
ちょっと違うだろ
5つの公理というのはユークリッド幾何のそれのことで、一つ変えるとというのはそれで非ユークリッド幾何学に、といった話じゃないのか
この宇宙はもっと数学一般の基礎論、集合論、抽象代数学、云々に関わっていること

217 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 16:14:36.16 ID:lDI11XlW.net
この世界の数学がたった5つの定理で表現できるとは思えないが

218 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 16:17:33.31 ID:lDI11XlW.net
>>211
見做される見做されないはどうでもよくって
良心のある優秀な数学者なら妄想理論に賛同する事は無いだろう
と言う話し

219 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 16:40:16.16 ID:bgfIar7Z.net
>>217
公理と定理は意味が全く違うよ

220 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 17:35:39.46 ID:NV/OvjQk.net
>>219
ああごめん
たった5つの公理が全ての数学分野の基礎となっているとは思えない
に訂正

221 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 17:38:59.95 ID:fjJ84vTV.net
>>209
あのさあ、それなんも言い返せてないぞ

222 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 17:39:58.33 ID:NV/OvjQk.net
ユークリッドの原論
原論には以下の5つの公準が挙げられている:

第1公準 : 点と点を直線で結ぶ事ができる
第2公準 : 線分は両側に延長して直線にできる
第3公準 : 1点を中心にして任意の半径の円を描く事ができる
第4公準 : 全ての直角は等しい(角度である)
第5公準 : 1つの直線が2つの直線に交わり、同じ側の内角の和が2つの直角より小さいならば、この2つの直線は限りなく延長されると、2つの直角より小さい角のある側において交わる。

これはユークリッド幾何学の公理であって例えば集合論の公理は含まれていないよね

223 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 17:56:57.37 ID:rlXSOabG.net
>>221
馬鹿にしてるだけだから言い返したつもりは無い

224 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:02:24 ID:mCXlT6Ua.net
>>32
それだな
取り巻きがとにかく必死だがダメだね
証明出来てない

225 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:04:41 ID:mCXlT6Ua.net
>>207
極めて不利どころかアウトね
数学は証明出来てるか出来てないか
それだけ

226 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:06:35 ID:mCXlT6Ua.net
この望月スレ見てると
なんで考古学のゴッドハンドが止められ無かったか
リアルタイムで分かるだろ
まさか数学で京大がゴッドハンドやるとはね
日本の劣化が凄まじいな

227 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:08:05 ID:bf36IvBd.net
査読通しちゃった連中も分かってないんだろうな
めんどくさいから通しちゃえ、あとは興味のある連中だけでやってって感じか

228 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:16:05 ID:Sa7wnnhA.net
フェルマーの最終定理て証明されたんと違うの?

229 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:25:09 ID:rlXSOabG.net
>>224
数学は取り巻きやら偉い人が頑張れば
白も黒になる世界じゃないんですけど

230 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 18:56:30 ID:x16x8BoF.net
と言うか
オボちゃんの不幸なトコは
査読や追試が終わる前に、アイドル化され報道されちゃったトコだから…

231 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 19:06:45 ID:NV/OvjQk.net
>>230
それ判ってない人々多いよね
査読システムは時に人を殺すほど強力だ

232 :ニュースソース検討中@自治議論スレ:2020/04/07(火) 21:23:52 ID:67mWGPfD.net
虚が出るか破面が出るか

233 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 06:01:52.52 ID:ruOBV1SU.net
>>225
>数学は証明出来てるか出来てないか
>それだけ

アホだろおまえ
じゃあ「証明」という作業をした全ての論文に
ノーベル賞あげろ

234 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 06:05:51.63 ID:ruOBV1SU.net
>>226
>まさか数学で京大がゴッドハンドやるとはね
>日本の劣化が凄まじいな

アホだろおまえ
以前から既にネット上に全て公開してあった論文を
今回正式にプレスリリースしただけで
なんでゴッドハンドなんだよ

235 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 06:11:51.33 ID:ruOBV1SU.net
>>224
>それだな
>取り巻きがとにかく必死だがダメだね
>証明出来てない

アホだろおまえ
ABCが証明できたか否かに関わらず
数学会がIUT自体の価値に興味を持ってないから
取り巻きが必死なんだぞ
IUTは「数学の構造」に対する応用がない

236 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 06:35:45 ID:y87Ctq7c.net
フェルマーの最終定理は25年前に証明されてるけど嘘だったん?

237 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 07:11:36 ID:NTc/y5oX.net
>>216
ユークリッドとか言うと途端に分かりにくくなるからこれはこれでいいんじゃないかな

238 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 07:41:10.01 ID:EpmaIQgN.net
>>218
ぎゃくだろ

239 :ニュースソース検討中@自治議論スレ:2020/04/08(水) 10:50:08 ID:Kq/MKmap.net
7年半も放置された「数学の証明」…大天才が戦って得た栄冠
https://smart-flash.jp/sociopolitics/98851
 さらに、論文への無理解、批判もあったようだ。2020年1月には、望月教授が自身のブログで、論文が実質 “放置”
されており、「海外の数学界の(中略)妨害活動」が存在するとまで訴えていたのだ。

240 :ニュースソース検討中@自治議論スレ:2020/04/09(木) 16:06:05 ID:wh5S3Zwp.net
一般人が分からなくても、数学村内で一定数が同意できないなら証明したことにならないのでは?
証明てのは説得する技術のことなんだから、第三者がそれで納得できてこそだ
本人だけが分かってるてのは、
宗教教祖の神の啓示を受けて開眼したレベルの話で、第三者的には妄想の評価にしかならない
神の目線で見て証明に成功できてても、
それは神が証明したとする啓示が降りてきたのを信じろて話になる
現時点では主張であり宣言でしかなく、
その内容は妄想である可能性すらある
少なくとも数学の世界でABC予想が正しい前提で数学理論を書く者はいないし、
書いても誰もそれを認めないはずだ

241 :ニュースソース検討中@自治議論スレ:2020/04/09(木) 16:56:30 ID:frEDR1Gi.net
証明を説得するための技術とか言ってる時点で理解できる日は
遠いんだろうなとは思いました

242 :ニュースソース検討中@自治議論スレ:2020/04/09(木) 17:15:15.41 ID:cxKCeKjF.net
望月先生が「誤解学」とか論じてるしな

243 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 00:04:20.70 ID:JwwLLTF0.net
正しいか正しくないか以前に
これをまず理解できる人が
少な過ぎるなw

244 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 03:14:56.03 ID:fIMb1C0d.net
ぶっちゃけこれを理解してる人がこの証明を納得し支持しますと宣言して署名するセレモニーしたらどうだろう?
仮にそれが3人だとする
一方で、論文内容の言わんとするおころは理解したが論理破綻ないし飛躍があり証明ならずの方に署名した者が5人だとしよう、いや一人でいい
その時、証明が成ったと言えるのだろうか?

245 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 03:29:17.73 ID:V6+kGUOH.net
>>226
お前みたいなアホが存在することが日本教育の敗北だわ
何か考えがあるなら直接言ってこいよ
論文は公開されてんぞ

246 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 03:30:37.89 ID:JjakBpr2.net
>>227
そんなことしたら人生終わるわ
頭悪いなどうしてそんな馬鹿になった?

247 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 10:06:28.96 ID:LjHCJ6HU.net
公開された論文のギャップを説明するなり
反例だすなりすれば一発なのに
陰謀論に逃げる無能

248 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 16:47:49 ID:G+lERZFW.net
Lが5以上の素数のLってラグランジュ函数なのか?

249 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 16:52:13 ID:G+lERZFW.net
Lが5以上の素数のLってライプニッツ函数なのか?

250 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 17:09:12 ID:G+lERZFW.net
ラグランジュ点6のL6とかって難しそうだな。

251 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 17:20:24 ID:cO7tdtCb.net
数学の天才が理解する努力をして半年してやっと分かる公式を使って最終定理を証明って

252 :ニュースソース検討中@自治議論スレ:2020/04/10(金) 17:35:51.53 ID:0ac+Wi6T.net
X+Y=LOVE
正しい理論だ

253 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 04:39:48 ID:bs4a2SJN.net
>>169
「宇宙人はいる」が偽だと断言しちゃうのか
もしかして神様なん?

254 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 04:40:36 ID:bs4a2SJN.net
>>172
なんで?

255 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 04:43:34 ID:bs4a2SJN.net
>>236
別ルートとかショートカットの話は散々出てる
嘘なんてものはない

256 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 04:44:10 ID:bs4a2SJN.net
>>235
圏論全否定w

257 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 04:48:50.50 ID:bs4a2SJN.net
>>231
Publish or Perish とか?
グラフからコピー捏造してるオボは論外だろ

あんなもんは焼き尽くされて正解

258 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 04:58:52.02 ID:gTGJzsVn.net
>>1

次は、この理論と証明を分かり易く解説する本の出版段階だよね。

一般人で解る人は99%無いと思うけ、そこから何かしらのアイデアを
捻りだせると面白いよね。

コロナ禍のような問題解決が目地押し。
何か応用できます? 無理? やっぱゴミ? がっかり、フン!市ね。

259 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 05:49:00.96 ID:3fh4MeJb.net
>>253
このスレ読んで来いよ無能
ttps://rio2016.5ch.net/test/read.cgi/math/1552811962/

すうりろんりがく(笑)

260 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 06:19:30.26 ID:bs4a2SJN.net
>>258
基地の外みたいな作文だな

261 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 06:21:04.99 ID:lkSla0LZ.net
Wikipediaの圏論の頁を読んでるだけで頭が痛くなってくる
意味も分からない呪文をひたすら唱えているような

262 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 06:21:18.20 ID:bs4a2SJN.net
>>259
ええ?
そのレベルの話?

263 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 06:23:21.26 ID:bs4a2SJN.net
>>261
圏論とトポスの本読んだのは夕方ガンダムやってた頃だったな〜

264 :ニュースソース検討中@自治議論スレ:2020/04/11(土) 06:32:40.78 ID:lkSla0LZ.net
趣味で学ぶには敷居が高いな
だからって実用性があるわけでもないし
仕事でやってる人たちはどういう経緯でその道に入るんだろ
やっぱり在学中にオルグされちゃうのかな

265 :ニュースソース検討中@自治議論スレ:2020/04/12(日) 02:06:04.59 ID:n6zPHdoH.net
オルグw

ポアンカレがかっこいいこと言ってるから、若い頃それにやられたんだろ

266 :ニュースソース検討中@自治議論スレ:2020/04/12(日) 02:07:15.09 ID:n6zPHdoH.net
なんせ研究者人生かけてんだから、査読にかける労力もその点を踏まえると大変なもんだ

267 :ニュースソース検討中@自治議論スレ:2020/04/12(日) 02:07:41.28 ID:n6zPHdoH.net
なのに持ち出すのが小保方w
見当違いもいいとこだぞ

268 :ニュースソース検討中@自治議論スレ:2020/04/12(日) 02:25:10.97 ID:dKWn8wee.net
>>1
ワイルズがいなければ最初だったのにな

269 :ニュースソース検討中@自治議論スレ:2020/04/13(月) 16:17:55.79 ID:uHglRHJo.net
これ応用すればリーマン予想もいけるな
ちょっとやってみるわ
来月までには論文書けそう

270 :ニュースソース検討中@自治議論スレ:2020/04/13(月) 18:49:30 ID:UH9VBFP3.net
>>269
本当に誰かやってくれないかな?

271 :ニュースソース検討中@自治議論スレ:2020/04/13(月) 21:12:17 ID:SYFaSd1G.net
分かったつもりでいたけどまた分からなくなった
宇宙なんたら理論じゃなくてもっと簡単な説明はないかな

272 :ニュースソース検討中@自治議論スレ:2020/04/14(火) 00:42:01 ID:0k7GGFRo.net
>>271

とてもわかりやすいIUT理論の解説動画
https://youtu.be/kq4jbNl4lJk

273 :ニュースソース検討中@自治議論スレ:2020/04/15(水) 04:29:10.46 ID:FTk8cO6Q.net
>>148
高木貞治 「高木の存在定理」
志村五郎 「谷山?志村予想」

274 :ニュースソース検討中@自治議論スレ:2020/04/15(水) 04:29:49.17 ID:J79YNdM8.net
>>272
面白かった

275 :ニュースソース検討中@自治議論スレ:2020/04/15(水) 08:33:58 ID:xTv26s6t.net
>>273
高木さんの存在が証明されたのか!

276 :ニュースソース検討中@自治議論スレ:2020/04/16(木) 00:27:50 ID:EevIRtKO.net
>>272
サンクス
一通りみたけど最後のほうが全然わからんかったorz

277 :ニュースソース検討中@自治議論スレ:2020/04/16(木) 01:09:24.17 ID:TKcKV98C.net
>>48
俺の予想では中辛。

278 :ニュースソース検討中@自治議論スレ:2020/04/16(木) 01:20:06 ID:+ki/A5B4.net
3.12

279 :ニュースソース検討中@自治議論スレ:2020/04/18(土) 09:36:00 ID:3k7zAMuB.net
望月教授と親韓・左翼・天皇制否定論者、滝浦真人(放送大学教授、法政大学講師)の類似点
心ある方 ご対応ありがとうございます <(_ _)>

望月教授の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/二重投稿

280 :ニュースソース検討中@自治議論スレ:2020/04/18(土) 09:36:25 ID:3k7zAMuB.net
感染拡大の緊急時ですら政権批判を繰り返すような反日左翼滝浦真人の暴言ツイート
心ある方 ご対応ありがとうございます <(_ _)>

>(日本人sage) 日本国民の怒りのツボというのがどうもわからんー
>(トランプの発言を基にした日本人叩き)'the African Americans' って何!と怒っていいのなー、the (---s) は “こいつら全部おんなじ” ってことだから
そろそろ日本人も 'the Japanese' って言われて、ざけんな何それ!って怒っていいと思うんだけど、かんじんの日本人自体が、そう呼ばれる方を好 (ry
>(小泉叩き)こういうふうに、塾・予備校を仮想敵にして、それを排除したらすべて片づく!って小泉郵政改革論法みたいのを振り回すひとっているよねー、、(2016/10/29)
>(高齢者差別 )「高齢者があまり遠出しないのは当たり前」

>2016年に生きてんの?!この言葉。。旧七帝大www
>オープンな日本の大学の敬語の授業を聴講しました、って人から「質問がございます」ってメールが来たので、
学生さんなら「質問箱」から送ってください、そうでないならどうぞ科目登録してください(学生さんはお金払ってる)、ただ質問だけっていうのは対応していません悪しからず、
…と書きつつ、まあ1つだけ、って核心部分の説明を書いて送ったんだけど、なーんにも言ってこないのなー
「正しい日本語に関心がある」んだそうだけど、あなたの日本語の使い方、ただしくないと思うわー

滝浦真人に関する凸先
日本言語学会 倫理問題相談窓口
http://www.ls-japan.org/modules/documents/index.php?cat_id=185&ml_lang=ja
北大
https://www.hokudai.ac.jp/introduction/pub/
放送大学
soumu-ka@ouj.ac.jp(総務課)

281 :よっちゃん:2020/04/18(土) 09:57:38 ID:TYjeEIbk.net
https://ameblo.jp/syoshinoris/entry-12590460053.html

再生核研究所声明559(2020.4.18) 数学とは − ピタゴラスの定理から

282 :ニュースソース検討中@自治議論スレ:2020/04/18(土) 12:06:37.86 ID:jltlLLup.net
日本の5大数学者
 
 関孝和
 高木貞治
 小平 邦彦 
 志村五郎
 望月新一

283 :ニュースソース検討中@自治議論スレ:2020/04/18(土) 12:16:30.12 ID:2Fh/t8j3.net
>>282
フィールズ賞取った森先生は?

284 :ニュースソース検討中@自治議論スレ:2020/04/20(月) 07:34:50.05 ID:vB5LrmdW.net
もしも後に証明に瑕疵が見つかったら、そこも理研と同じ立場になってしまうな。

285 :ニュースソース検討中@自治議論スレ:2020/04/20(月) 08:25:16 ID:kUKssbuO.net
◇◆◇ 創価学会の「大勝利」◇◆◇

昭和51年(1976年)、『月刊ペン』が創価学会の池田大作会長(当時)の女性スキャン
ダルを報じた。その内容は、公明党の女性国会議員二名が池田大作の愛人だというもの。
創価学会はこれに激怒、公明党を通じて警察を動かし『月刊ペン』編集長を逮捕させた。

『月刊ペン』編集長・隈部大蔵氏は名誉棄損罪で告訴された。この裁判は最高裁まで争
われ、その結果「池田大作は公人に準じる存在なので、そのスキャンダルを報じること
は、事実であるならば名誉毀損罪には該当しない」との判決がなされ、差戻しになった。

隈部氏が差戻し審中に死去したため裁判の決着はつかなかったが、先の最高裁の判決は
名誉毀損の重要判例となり、その後、雑誌等が池田大作のスキャンダルを次々に報じた。
『月刊ペン』の記事についても愛人とされた女性の親族が手記を公表、事実と証言した。

※ 創価学会は、現在も『月刊ペン』裁判は自分たちの「大勝利」だと言い張っている。

286 :ニュースソース検討中@自治議論スレ:2020/04/20(月) 12:27:58 ID:sBJjsJNs.net
>>284
別に国家プロジェクトがかかってるわけじゃないから

287 :ニュースソース検討中@自治議論スレ:2020/04/21(火) 05:36:31.69 ID:ZCfhqUpQ.net
a + b = c
を満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。このとき、任意の ε > 0 に対して、
c?>?d1+ε
を満たす組 (a, b, c) は高々有限個しか存在しないであろうか?


などといった前提にε(イプシロン)が使われている根拠が分からない。
εは極小の数を表すとあるが、
それが整数かどうかという前提がGoogle検索等で調べてもあやふやだ。

288 :ニュースソース検討中@自治議論スレ:2020/04/21(火) 06:10:23 ID:ZCfhqUpQ.net
>>287
文字化けしたので書き直してみる。

a + b = c
を満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。このとき、任意の ε > 0 に対して、
c > d^(1+ε)
を満たす組 (a, b, c) は高々有限個しか存在しないであろうか?

289 :ニュースソース検討中@自治議論スレ:2020/04/21(火) 08:33:21 ID:+GNPgd6d.net
イプシロンは任意の正の数だから、
たとえばイプシロンを100とおいても組(a,b,c)は有限個しかない。
またイプシロンを1とおいても有限個しかない。
イプシロンを0.001とおいても有限個しかなし。
イプシロンを0.0000000000000000000001 とおいても有限個しかない。
。。。。
という主張だよ。

290 :ニュースソース検討中@自治議論スレ:2020/04/21(火) 14:04:37 ID:6Hqffkpn.net
もやもやが晴れてきた気がする
あと一息

291 :ニュースソース検討中@自治議論スレ:2020/04/24(金) 17:06:33 ID:P+VlTfRe.net
>>284
ならない

292 :ニュースソース検討中@自治議論スレ:2020/04/24(金) 17:15:02 ID:WaK1AgTX.net
では、イプシロンが仮に0なら(a,b,c)の無限の組が存在することがあるか?

293 :ニュースソース検討中@自治議論スレ:2020/04/24(金) 18:15:00.76 ID:e/iguSOv.net
あるあるよ

294 :ニュースソース検討中@自治議論スレ:2020/04/25(土) 23:13:44.94 ID:1TOCEn8d.net
ABC予想を仮定したらリーマンの予想が解けるだろうか?

295 :ニュースソース検討中@自治議論スレ:2020/05/02(土) 01:10:26 ID:HGPzlcJd.net
小保方ネタレスなくなっちゃったな。

296 :ニュースソース検討中@自治議論スレ:2020/05/03(日) 11:55:43.18 ID:8pwhUBQx.net
ABC予想「証明は本当か?」 欧米で論文に異議相次ぐ
https://www.asahi.com/articles/ASN516HDQN4QULBJ01G.html?iref=comtop_8_02

297 :ニュースソース検討中@自治議論スレ:2020/05/03(日) 21:11:48 ID:FxHJbYwg.net
証明を欧米の学者がモデルチェンジしてまとめ直して、
表面上の見かけは丸で違うが、本質は同じ手段をつかった
「新規の正しい証明」を出して来る気がするね。
岡潔もそれでやられてしまった。

298 :ニュースソース検討中@自治議論スレ:2020/05/03(日) 22:14:05 ID:wsMLqtpV.net
>>297
岡潔の論文は英語だったのかね?

299 :ニュースソース検討中@自治議論スレ:2020/05/03(日) 23:40:17 ID:FxHJbYwg.net
戦前は解析学はフランスが勢力をもっていたからか、フランス語だよ。

300 :ニュースソース検討中@自治議論スレ:2020/05/05(火) 16:06:41 ID:bUjMgXmS.net
4/10
【数学】京大教授が数学の超難問「ABC予想」を証明 “最も重要な未解決問題”
https://egg.5ch.net/test/read.cgi/scienceplus/1586465508/
5/5
【数学】ABC予想「証明は本当か?」 欧米で『IUT宇宙際タイヒミュラー理論』論文に異議相次ぐ [しじみ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1588656131/

301 :名無しのひみつ:2020/05/06(水) 14:08:39.82 ID:+LN6/RRe.net
宇宙際タイヒミュラー理論
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96

302 :名無しのひみつ:2020/05/22(金) 03:24:41.73 ID:1+bDkYNt.net
有限個の組があります、といったときに、それが0個の場合もあれば、
1個の場合、2個の場合、などの場合もあるし、
人間が一生掛かっても書き切れない程の桁数を持った有限の数だけの
個数かもしれないことに注意。

303 :名無しのひみつ:2020/05/29(金) 16:33:01.30 ID:1vjL1rdf.net
http://hissi.org/read.php/scienceplus/20200529/S1Z3eU1DRWk.html

304 :名無しのひみつ:2020/06/04(木) 16:18:16 ID:HFxXKDUw.net
a=b,b=c → a=c

305 :名無しのひみつ:2020/06/04(木) 18:59:52 ID:TQi/PwBF.net
>>304
天才現る!

306 :名無しのひみつ:2020/06/06(土) 15:05:22 ID:H0z4nhTc.net
PがNPとは違うということも、このような手法で証明できたりするのかなぁ?

307 :名無しのひみつ:2020/06/11(木) 17:48:28.86 ID:esIQyss4.net
1つの実数がこの世のすべての数学命題の真偽を表している、そのような
実数が存在する。その実数はたとえば2進数で表現され、
任意の命題をたとえば記号あるいは文字で書いたときに、
それがASCIIとかUTF8のような文字コードを並べて表せるので、
その命題はある1つの(非負の)二進数で表せる。
表現の異なる命題に対応する非負整数は決して同じになることはない。

そうして、そのすばらしい実数は二進数で表されたときに、整数部は0であり、
その小数点以下第k桁目には命題が真であれば1、偽であれば0が書かれている。
だから、命題の真偽は命題と対応する非負整数kを作り、その実数の小数点
以下第k桁目を調べればたちまちにしてその命題が真か偽かが直ちにわかるのだ。
なんとすばらしい神のような実数ではないか。しかも必ず存在するのだ。
(注:非負整数kに対応する文字列が命題として不適切あるいは無意味なら
そのときには第k桁目には0でも1でも構わない。たとえば0を入れておいて良い。
あるいは実数を二進数表現ではなくて3進数表現として、そのような例外を
表すのには第k桁目に数字2を入れておくこともできるのである。)

308 :名無しのひみつ:2020/06/13(土) 07:06:37 ID:gfUNuWsz.net
与えられたε>0に対してK(ε)をいくつとすれば十分になるのかを
どうやって求めるのだろうな?

309 :名無しのひみつ:2020/06/21(日) 08:34:25.85 ID:XUPHr3yO.net
適当に命題を生成して、それが真であることが運良く証明できたら、
それを定理として論文を書いて受理されて公知のものになるのだとしたら、
定理の意義とか価値はどういうものになるのだろう。
 「1+3>5ならば任意の実数xとyについてx<yである」
という命題は真であるから、それを定理として論文にする、というわけでも
なかろう。

総レス数 309
96 KB
掲示板に戻る 全部 前100 次100 最新50
read.cgi ver.24052200