X



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

■ このスレッドは過去ログ倉庫に格納されています
0001朝一から閉店までφ ★
垢版 |
2020/04/03(金) 18:33:44.93ID:CAP_USER
2020.4.3 17:45ライフ科学

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


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

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

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

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


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

http://cnbmko.diyplans.org/yoer4x78r/5ork1pipa87nym.html
0004ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 18:57:27.37ID:jIuJXxCh
だいたい俺の予想と同じだな
A+B=C
0005ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 18:59:22.58ID:nahC2o0r
Aの次はB、Bの次はC
こんなの俺でもわかる
0006ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 18:59:32.69ID:UM5VW3k2
BCG予想も検証中
0007ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:03:24.95ID:xcp1GKCC
Bの前にCってそれレイpだろ
0011ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:29:09.38ID:jAHZLsiB
いまNHKニュースでやってた。ノーベル賞何個分にも値するそうだ。すげーな日本人。

>>8
ロシア人が解いてる。
0012ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:37:24.79ID:RSETpyeH
えーびーしー?
0013ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:41:09.03ID:MxBhP81V
ABCマートはチョン経営だから買うな! だろ
0014ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:49:05.08ID:F3gaatT5
>>10
36年抜き足ししてるが無理そうです
0016ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:50:09.17ID:79o+0nfP
リーマン予想もいけそうな感じらしいじゃん
0019ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 19:57:00.24ID:41Z7U30A
>>11
俺も嬉しいけど才能のほとんどはアメリカで磨いてるからなぁ
0020ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:00:27.22ID:IunqwgHy
京大か。玉川徹とえらい違いだな。
0021ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:07:29.39ID:41Z7U30A
>>20
ただの京大修士卒と23歳でプリンストン大学の博士号取って32歳で京大教授になった人を比べる方がおかしい
0022ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:07:35.03ID:jAHZLsiB
>>20
こっちは害悪だもんなw
0023ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:09:48.25ID:jAHZLsiB
>>19
いいよいいよ日本人なら。世界に認められる日本人が一人でも増えてほしい。
0024ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:15:02.54ID:cY4Qbk9C
>>8
3分間待つのだぞ
0025ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:16:56.02ID:41Z7U30A
>>23
まあなその気持ちは分かる
この人に関しては環境が育てたとかいうタイプじゃないやろし
0026ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:19:49.35ID:c48sP0/5
Aはキスだったか?
0027ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:25:52.34ID:eLqg4q5O
それだけじゃ困ります
0028ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:28:43.01ID:JGNkGEXw
京大の雑誌にだけ載って、世界的には認められてないんでしょ?
まだ証明されたとは言えないんじゃないの
0030ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:31:38.28ID:41Z7U30A
>>28
それが載ったからニュースになってんだよ
0031ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:31:49.62ID:79o+0nfP
>>28
8年間、正しいとも間違ってるとも誰も断言できなかった
ショルツがある箇所を突っ込んだがすぐモッチーがアンサー済み
0033みつめ和紀
垢版 |
2020/04/03(金) 20:53:05.53ID:ez06Cn+/
僕もみつめ理論という超音波盗聴機について、ウェブで公開しているのだが、
なかなか分かりにくいらしい。特に分かりにくいのが、超音波の音が人体にも存在する
ということと、それがなんであるかをはっきり書いていることが分かりにくいらしい。
つまり、信じられないということでwしかし、法律的には証明しているのだが、
これも報道しないようにしているので…。報道すればメディアはみなアウト。謝罪!!
0034ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 20:53:25.37ID:MF6fnR4b
ネトウヨ「ウリたち日本人がABC予想を解決したニダ!<ヽ`∀´>チョン涙目ニダ!<ヽ`∀´>」

↑ぬか喜びだったの?(´・ω・`)
0039ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 21:20:05.11ID:41Z7U30A
>>35
なにそれ慢性腎臓病?
0041ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 21:27:09.46ID:M+3tuucu
宇宙ミュラーなんとかいう名称がまた意味不明だが、馬鹿なりに発表当時興味持って色々目にしてみたけど四則演算のルールを変えるって話から先に進めなかったわ。感覚的にはちょっと掴んだんだけどな…
0043ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 21:34:55.64ID:PpsFBMLU
俺も学生時代こういう教授に....教わりたくねぇ...
0044ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 21:43:07.03ID:eLqg4q5O
>>41
俺たちが知ってる普通の数学は5つの公理から成り立ってるんだけど
この公理のうちどれかを一部でも書き換えると"別の数学"になっちゃう事がわかってる
「俺たちがいる宇宙の外にも宇宙はあるけど物理法則はちがうかもしれない」みたいな感じ
けれど書き換え方によっては"数学"同士で相関がある場合もあるわけ
望月さんはそうやって「相関はあるけど別の数学」に一旦命題を輸出して証明したあとに逆輸入した感じ(多分ね)
「宇宙際(うちゅうさい)」って理論名もそっからきてるはず(「国際」の上位版だから「宇宙際」)
0045ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 21:43:38.40ID:pQjhg+r1
>>1
本人のブログでは、1月頃まではずっと苦しかったらしい


宇宙際タイヒミューラー理論(IUTeich)の論文を巡る現状報告: 「数学界に出現している悲惨なブラックホールの物語」
2020.01.05 望月新一
https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/
0046ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 21:57:04.86ID:M+3tuucu
>>44
わかりやすい説明だな。
0047ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 22:01:32.95ID:1Z/c5L7o
望月さんにお願い。
そのオツムで、コロナ問題を解いてくれないかね?

それが望月さんのアタマの良さの
何よりの証明になりますよ。
0048ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 22:25:59.57ID:61629wu1
>>24
それはボンカレー
0049ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 22:31:51.69ID:iusucoUM
この人すごいが俺にも理解できるよう
教えてくれる人がいたらもっとすごい。
0051ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 22:59:35.92ID:gy+u2KjT
>>47
ABC予想は、無限の整数にどのように処理をほどこすと有限に変わり得るかの問題。
無限の部分集合は無限だ。つまりABC予想は、直感的には無限になりそうにも思う。

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

ここがきちんと認識されなければ、新型コロナの治療は難しくなる。
1月からこの今において時間的にも、世界各国における状況(場所的)にもそれぞれ違いが多すぎるからだ。
しかし、何かは見つかるはず。
0052ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 23:08:04.65ID:pQjhg+r1
>>1
解説本はこちら

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


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


レビューより:
本書は数式を追っていくような数学書ではなく縦書きで、IUT理論の紹介にとどまらず数学とは何かを述べるような内容になっている。…
文章が秀逸で一般向けによくこれほど平易に解説できるものだと感銘を覚えるほどである。…
0054ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 23:18:17.40ID:AAPvDwkE
どんな難解な本でも必ず一定数の需要があるらしい。
これは歩留まりの問題だからどうしようもないらしい。
0055ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 23:33:08.67ID:pQjhg+r1
>>1
中高生でも分かるIUT理論を図解付きで公演
解説は加藤文元教授

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

または「 abc Conjecture and New Mathematics 」で検索
0057ニュースソース検討中@自治議論スレ
垢版 |
2020/04/03(金) 23:46:17.57ID:pQjhg+r1
>>50 >>52
刊行によせて
望月新一

… しかし、ある意味においては数学という学問の誕生以来、
「緩み」=「不定性」は到底あり得ない、考えられないものとして認識されてきた「足し算と掛け算の間にある固い関係」=「環の構造」においても、
「緩み」=「不定性」は数学的に意味のある形で存在し得るものであるという趣旨の理論は、
「環」や「数」の構造・性質を研究する「数論幾何学」という分野の多くの(特に欧米の)研究者にとっては、
受容可能な範囲をあっさり飛び越えた、余りにも衝撃的な事象として受け止められたようです。…
0058ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 00:00:50.48ID:EtihWxBa
>>49 >>53
要は異世界転生アニメ状態

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

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

この世界ではライフル銃をうまく使いこなせる人が数人しかいないから、まだ誰もそれが本当に使えると信じてない
0059ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 00:08:35.97ID:pDo3bXGz
第一志望学校多浪で不合格、とうきょう医科大在日枠情実の、リカチョン

全く関与せず
0060ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 00:28:33.49ID:gmP0u7ZB
生存記録を記録してた先生だよな?
生きておられて本当に良かった。
とんでもない功績だろうから、狙われてもおかしくないことなんだって
8年も気にしてた
0061ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 00:32:18.64ID:dK4cWti1
宇宙際ナントカとか、まったくわからないよなー。
というか、想像すらできない。
0064ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 00:59:27.72ID:4qkDfuTe
>>60
なにそれ?
0065ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:09:08.23ID:Qzh50Ao+
>>20
ウヨさんさぁ
京大だろうと東大だろうと人が違えば思考も違うんだよ?
頭の悪さ露呈しちゃったね
0066ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:12:37.33ID:FyEAN5/K
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する
ってブログがあった。
2つの問題があるみたい
・「3番目の論文の中で系3.12」にロジックの飛躍があるのでは?
・自分が編集に関わる雑誌で査読・発表した
0067ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:23:39.95ID://rNr7KJ
新しい数学を作ったってなんか途方もない話だな
本人自体が別宇宙からの来訪者なんじゃないのか
0068ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:26:40.26ID:H8kZaYwS
たしかに竹之内脩の集合論でも

A∧B ⇒ A∨B

を導出していた
俺はこれでその本を読むことを止めたが
それが通じる時代や人がいることは確かだ
俺は一生分からんと思う
0069ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:30:54.61ID:H8kZaYwS
これを論理の話にすると
全称命題から存在命題を導出していることになる
形式論理学的には正しい場合もある(と書いてあるものもある)
しかし一般に正しいのかというのはよくわからない
なぜなら全称命題にはその存在性が無いからだ
0071ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:43:35.43ID:H8kZaYwS
論理学的にどうアプローチできるのかはわからないが

すべてのカラスは黒い

という全称命題についてそう書くことはできるが
本当にすべてのカラスを確かめられるわけではない
ここで重要なのは
カラスが黒いのかどうかではなく
カラスが居るのかどうか
を確かめられないという所
そういう意味で全称命題の不存在性という言葉を用いている
0072ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 01:51:50.97ID:/JDMqIwA
全称命題(ぜんしょうめいだい、英:universal proposition)とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。
例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。@wikipedia

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

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

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

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

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


https://math-fun.net/
0073ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 02:12:19.14ID:qRK/jbAz
査読が内輪でやられているのではないかということと、
発表する雑誌も内輪のもの。
もう一人の天才シュルツ教授(なんと32歳)の批判が
解決されるのがポイントかな。
証明されているということを信じたいが。
0074ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 02:33:44.46ID:99aeOMbg
応用例ないの
0076ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 04:27:10.18ID:Ho/7ERbM
チラ見しただけで予想し的中するとか天才だな。下手したら事案通報だぜ
0077ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 04:39:34.71ID:utYdRoKH
 


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

ワープロではダメだ。


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

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

【数学】ショルツェ独ボン大教授「ABC予想は今も予想のままだ」 「今回、論文が受理されたと聞いて驚いている」とも 
https://asahi.5ch.net/test/read.cgi/newsplus/1585904787/470
0080ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 05:30:21.18ID:cUMU4wa+
京大の望月教授、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
0081ニュースソース検討中@自治議論スレ
垢版 |
2020/04/04(土) 05:48:07.82ID:XSyXCLeg
>>28
> 京大の雑誌にだけ載って、世界的には認められてないんでしょ?

全く違う

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

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

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

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

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

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

これが逆の

A∨B ⇒ A∧B

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
https://ja.wikipedia.org/wiki/二重投稿
0153ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 12:33:50.20ID:43YsLtw+
>>49
>>144
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。 
しかもワイルズの証明と比べて遙かに偉大な証明。
ワイルズの証明は、「剣岳」の登山に喩えれば、一人の登山家
がルートを緻密に練って、 氷河の上を登ったりしてなんとか
登頂して、三角点を設置したようなもの

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

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

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

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

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

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

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

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

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

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

>false ⇒ X は恒真命題だ

の具象例は

宇宙人はいる ⇒ 1=2

だろ?wwww

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

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

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

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

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

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

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

お前もbotか
0182ニュースソース検討中@自治議論スレ
垢版 |
2020/04/05(日) 23:26:27.35ID:7pxImnNp
社会学や哲学なら紐解いて持論でも考えてみようと思うが、数学だけはダメだw
脳味噌が拒否してるw
0184ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 00:13:56.65ID:0qYSrnwk
でもこういう難しいこと考える人に限って、大学センター試験の数学を解かせると間違ったりするんだよな。
0185ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 00:30:56.48ID:8CDEqw72
理論が難しすぎて理解できる数学者が数十人しかいないというのだから
証明が正しいと認めた人もこの数十人だけということになり
その十数人が全員同じ勘違いをしていた可能性も否めないのではないのだろうか
また、そんだけ難しいというか意味不明な内容なら理解できてるつもりで実はできてなかったってのが
その数十人の中に複数名存在する可能性も十分にあるのでは

数百人の数学者に理解できるように説明できるようになって初めて証明された証になるような気がする
もしくはその理論を用いなければ実現できない何かを目の前で提示するとか
見てるものからスレばまるで手品のようでこんなことありえないはずなのに現実として起きている
ということはこの理論は正しかったのか!よく分からんけどみたいな
0186ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 00:44:18.46ID:qJokxNPF
>>171
だから数学で使われる論理学を勉強するならば哲学のでなく数理論理学をやるべきだと言ってるだろ
哲学の論理学で曖昧にやりたいなら君一人で勝手にしたまえ

だが数学の証明などの論理について述べたり批判したりしたいならば数理論理学をきちんと勉強したまえ
例えば共立出版からだいぶ前に復刊された松本和夫の『数理論理学』とかが自然演繹の入門には良い
0191ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 18:28:27.14ID:A0c8VtYK
あくまでIUTというのはツールなんだよね?
(IUTというツールを使って超難問のABC予想が証明できると)

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

地方の国立大工学部学生が分かる程度のできるだけシンプルな事例を作ってくれんかなと思う
0192ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 18:36:41.30ID:A0c8VtYK
せめて数学科の学生が手を付けられるように、既に証明済みの問題をあえてIUTで証明した事例があると良いのだろうけど
0195ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 22:28:00.98ID:3WoEOxJv
>>94
自分で砂場作って遊んでるみたいな感じだからな。
誰かが入っていってコレは使えない!使える!ってなる場合もあるし、そもそも誰も興味を示さずスルーされる場合もある。

確率は5分だと思う。仮にスルーされても数百年後に再発掘されればいいけど、そもそもタダの妄想の可能性もある。しかし、それが正しいのかどうかを判断するだけで長い時間を要するから、今栄誉が欲しい天才達はスルーするだろう。
0197ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 22:53:38.41ID:gkNfDAoI
査読の段階で遅滞する
0198ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 23:05:34.58ID:xx7+TDbv
このような組合せ最適化問題?を量子アニーリング方式で解けば一発だと思うが
量子コンピュータはまだ発展途上だし今は無理か
0201ニュースソース検討中@自治議論スレ
垢版 |
2020/04/06(月) 23:50:44.25ID:9DGBhaT0
100年後にはだれもが理解するようになるんだろうか
0205ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 09:57:40.47ID:Dh9/nshV
俺の頭脳を持ってしても
全く理解が出来なかった
0206ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 10:11:54.10ID:6S/2BMKq
>>185
これが白痴ってやつか
0207ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 10:46:21.00ID:bf36IvBd
フィールズ賞受賞の天才とこの分野の大御所が「俺はこんな証明認めねえ」
つってんだから形勢は極めて不利だな。素人が何百万人応援しようが意味ないし。
「陰謀が・・・抵抗勢力が・・・」とか喚けば却って状況を悪くするだけ。
0210ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 11:38:15.84ID:57Sgapi2
カントクラスの哲人になれる
0211ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 11:59:50.90ID:lnamEjIz
>>196
友人、弟子とか内輪の関係者だから、望月一派の信者と見做されるだけ。

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

教授だってABCがどうとかは些末な問題で、この理論を構築したことの意義の方がでかいって言ってるんで、証明できたかどうかだけ拘る価値はない。
0212ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 12:17:11.41ID:feW76hwh
中学生の数学の証明で挫折したんだけど
そこから、学びなおせるニュートンみたいな数学本
アタマいい人教えて!!!
0214ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 13:51:46.44ID:sB+ONA5c
>>44
今まで読んだ解説の中で最も腑に落ちた。すばらしい。

>>45
これの前半、むちゃくちゃ面白いから、みんな是非読むべき。
後半はわからん。
0215ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 14:04:32.54ID:f2cyhKv/
望月新一教授に大臣になってもらって、文科省の改革をしてもらいたい。
0216ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 15:28:38.64ID:oXa5+SOy
>>44
ちょっと違うだろ
5つの公理というのはユークリッド幾何のそれのことで、一つ変えるとというのはそれで非ユークリッド幾何学に、といった話じゃないのか
この宇宙はもっと数学一般の基礎論、集合論、抽象代数学、云々に関わっていること
0221ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 17:38:59.95ID:fjJ84vTV
>>209
あのさあ、それなんも言い返せてないぞ
0222ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 17:39:58.33ID:NV/OvjQk
ユークリッドの原論
原論には以下の5つの公準が挙げられている:

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

これはユークリッド幾何学の公理であって例えば集合論の公理は含まれていないよね
0224ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 18:02:24.04ID:mCXlT6Ua
>>32
それだな
取り巻きがとにかく必死だがダメだね
証明出来てない
0225ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 18:04:41.85ID:mCXlT6Ua
>>207
極めて不利どころかアウトね
数学は証明出来てるか出来てないか
それだけ
0226ニュースソース検討中@自治議論スレ
垢版 |
2020/04/07(火) 18:06:35.69ID:mCXlT6Ua
この望月スレ見てると
なんで考古学のゴッドハンドが止められ無かったか
リアルタイムで分かるだろ
まさか数学で京大がゴッドハンドやるとはね
日本の劣化が凄まじいな
0233ニュースソース検討中@自治議論スレ
垢版 |
2020/04/08(水) 06:01:52.52ID:ruOBV1SU
>>225
>数学は証明出来てるか出来てないか
>それだけ

アホだろおまえ
じゃあ「証明」という作業をした全ての論文に
ノーベル賞あげろ
0234ニュースソース検討中@自治議論スレ
垢版 |
2020/04/08(水) 06:05:51.63ID:ruOBV1SU
>>226
>まさか数学で京大がゴッドハンドやるとはね
>日本の劣化が凄まじいな

アホだろおまえ
以前から既にネット上に全て公開してあった論文を
今回正式にプレスリリースしただけで
なんでゴッドハンドなんだよ
0235ニュースソース検討中@自治議論スレ
垢版 |
2020/04/08(水) 06:11:51.33ID:ruOBV1SU
>>224
>それだな
>取り巻きがとにかく必死だがダメだね
>証明出来てない

アホだろおまえ
ABCが証明できたか否かに関わらず
数学会がIUT自体の価値に興味を持ってないから
取り巻きが必死なんだぞ
IUTは「数学の構造」に対する応用がない
0236ニュースソース検討中@自治議論スレ
垢版 |
2020/04/08(水) 06:35:45.62ID:y87Ctq7c
フェルマーの最終定理は25年前に証明されてるけど嘘だったん?
0239ニュースソース検討中@自治議論スレ
垢版 |
2020/04/08(水) 10:50:08.56ID:Kq/MKmap
7年半も放置された「数学の証明」…大天才が戦って得た栄冠
https://smart-flash.jp/sociopolitics/98851
 さらに、論文への無理解、批判もあったようだ。2020年1月には、望月教授が自身のブログで、論文が実質 “放置”
されており、「海外の数学界の(中略)妨害活動」が存在するとまで訴えていたのだ。
0240ニュースソース検討中@自治議論スレ
垢版 |
2020/04/09(木) 16:06:05.82ID:wh5S3Zwp
一般人が分からなくても、数学村内で一定数が同意できないなら証明したことにならないのでは?
証明てのは説得する技術のことなんだから、第三者がそれで納得できてこそだ
本人だけが分かってるてのは、
宗教教祖の神の啓示を受けて開眼したレベルの話で、第三者的には妄想の評価にしかならない
神の目線で見て証明に成功できてても、
それは神が証明したとする啓示が降りてきたのを信じろて話になる
現時点では主張であり宣言でしかなく、
その内容は妄想である可能性すらある
少なくとも数学の世界でABC予想が正しい前提で数学理論を書く者はいないし、
書いても誰もそれを認めないはずだ
0241ニュースソース検討中@自治議論スレ
垢版 |
2020/04/09(木) 16:56:30.07ID:frEDR1Gi
証明を説得するための技術とか言ってる時点で理解できる日は
遠いんだろうなとは思いました
0244ニュースソース検討中@自治議論スレ
垢版 |
2020/04/10(金) 03:14:56.03ID:fIMb1C0d
ぶっちゃけこれを理解してる人がこの証明を納得し支持しますと宣言して署名するセレモニーしたらどうだろう?
仮にそれが3人だとする
一方で、論文内容の言わんとするおころは理解したが論理破綻ないし飛躍があり証明ならずの方に署名した者が5人だとしよう、いや一人でいい
その時、証明が成ったと言えるのだろうか?
0248ニュースソース検討中@自治議論スレ
垢版 |
2020/04/10(金) 16:47:49.44ID:G+lERZFW
Lが5以上の素数のLってラグランジュ函数なのか?
0250ニュースソース検討中@自治議論スレ
垢版 |
2020/04/10(金) 17:09:12.22ID:G+lERZFW
ラグランジュ点6のL6とかって難しそうだな。
0251ニュースソース検討中@自治議論スレ
垢版 |
2020/04/10(金) 17:20:24.98ID:cO7tdtCb
数学の天才が理解する努力をして半年してやっと分かる公式を使って最終定理を証明って
0252ニュースソース検討中@自治議論スレ
垢版 |
2020/04/10(金) 17:35:51.53ID:0ac+Wi6T
X+Y=LOVE
正しい理論だ
0258ニュースソース検討中@自治議論スレ
垢版 |
2020/04/11(土) 04:58:52.02ID:gTGJzsVn
>>1

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

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

コロナ禍のような問題解決が目地押し。
何か応用できます? 無理? やっぱゴミ? がっかり、フン!市ね。
0259ニュースソース検討中@自治議論スレ
垢版 |
2020/04/11(土) 05:49:00.96ID:3fh4MeJb
>>253
このスレ読んで来いよ無能
ttps://rio2016.5ch.net/test/read.cgi/math/1552811962/

すうりろんりがく(笑)
0261ニュースソース検討中@自治議論スレ
垢版 |
2020/04/11(土) 06:21:04.99ID:lkSla0LZ
Wikipediaの圏論の頁を読んでるだけで頭が痛くなってくる
意味も分からない呪文をひたすら唱えているような
0264ニュースソース検討中@自治議論スレ
垢版 |
2020/04/11(土) 06:32:40.78ID:lkSla0LZ
趣味で学ぶには敷居が高いな
だからって実用性があるわけでもないし
仕事でやってる人たちはどういう経緯でその道に入るんだろ
やっぱり在学中にオルグされちゃうのかな
0268ニュースソース検討中@自治議論スレ
垢版 |
2020/04/12(日) 02:25:10.97ID:dKWn8wee
>>1
ワイルズがいなければ最初だったのにな
0271ニュースソース検討中@自治議論スレ
垢版 |
2020/04/13(月) 21:12:17.87ID:SYFaSd1G
分かったつもりでいたけどまた分からなくなった
宇宙なんたら理論じゃなくてもっと簡単な説明はないかな
0274ニュースソース検討中@自治議論スレ
垢版 |
2020/04/15(水) 04:29:49.17ID:J79YNdM8
>>272
面白かった
0276ニュースソース検討中@自治議論スレ
垢版 |
2020/04/16(木) 00:27:50.45ID:EevIRtKO
>>272
サンクス
一通りみたけど最後のほうが全然わからんかったorz
0278ニュースソース検討中@自治議論スレ
垢版 |
2020/04/16(木) 01:20:06.01ID:+ki/A5B4
3.12
0279ニュースソース検討中@自治議論スレ
垢版 |
2020/04/18(土) 09:36:00.65ID:3k7zAMuB
望月教授と親韓・左翼・天皇制否定論者、滝浦真人(放送大学教授、法政大学講師)の類似点
心ある方 ご対応ありがとうございます <(_ _)>

望月教授の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/二重投稿
0280ニュースソース検討中@自治議論スレ
垢版 |
2020/04/18(土) 09:36:25.05ID:3k7zAMuB
感染拡大の緊急時ですら政権批判を繰り返すような反日左翼滝浦真人の暴言ツイート
心ある方 ご対応ありがとうございます <(_ _)>

>(日本人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(総務課)
0282ニュースソース検討中@自治議論スレ
垢版 |
2020/04/18(土) 12:06:37.86ID:jltlLLup
日本の5大数学者
 
 関孝和
 高木貞治
 小平 邦彦 
 志村五郎
 望月新一
0284ニュースソース検討中@自治議論スレ
垢版 |
2020/04/20(月) 07:34:50.05ID:vB5LrmdW
もしも後に証明に瑕疵が見つかったら、そこも理研と同じ立場になってしまうな。
0285ニュースソース検討中@自治議論スレ
垢版 |
2020/04/20(月) 08:25:16.87ID:kUKssbuO
◇◆◇ 創価学会の「大勝利」◇◆◇

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

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

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

※ 創価学会は、現在も『月刊ペン』裁判は自分たちの「大勝利」だと言い張っている。
0286ニュースソース検討中@自治議論スレ
垢版 |
2020/04/20(月) 12:27:58.25ID:sBJjsJNs
>>284
別に国家プロジェクトがかかってるわけじゃないから
0287ニュースソース検討中@自治議論スレ
垢版 |
2020/04/21(火) 05:36:31.69ID:ZCfhqUpQ
a + b = c
を満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。このとき、任意の ε > 0 に対して、
c?>?d1+ε
を満たす組 (a, b, c) は高々有限個しか存在しないであろうか?


などといった前提にε(イプシロン)が使われている根拠が分からない。
εは極小の数を表すとあるが、
それが整数かどうかという前提がGoogle検索等で調べてもあやふやだ。
0288ニュースソース検討中@自治議論スレ
垢版 |
2020/04/21(火) 06:10:23.39ID:ZCfhqUpQ
>>287
文字化けしたので書き直してみる。

a + b = c
を満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。このとき、任意の ε > 0 に対して、
c > d^(1+ε)
を満たす組 (a, b, c) は高々有限個しか存在しないであろうか?
0289ニュースソース検討中@自治議論スレ
垢版 |
2020/04/21(火) 08:33:21.17ID:+GNPgd6d
イプシロンは任意の正の数だから、
たとえばイプシロンを100とおいても組(a,b,c)は有限個しかない。
またイプシロンを1とおいても有限個しかない。
イプシロンを0.001とおいても有限個しかなし。
イプシロンを0.0000000000000000000001 とおいても有限個しかない。
。。。。
という主張だよ。
0290ニュースソース検討中@自治議論スレ
垢版 |
2020/04/21(火) 14:04:37.81ID:6Hqffkpn
もやもやが晴れてきた気がする
あと一息
0292ニュースソース検討中@自治議論スレ
垢版 |
2020/04/24(金) 17:15:02.70ID:WaK1AgTX
では、イプシロンが仮に0なら(a,b,c)の無限の組が存在することがあるか?
0293ニュースソース検討中@自治議論スレ
垢版 |
2020/04/24(金) 18:15:00.76ID:e/iguSOv
あるあるよ
0294ニュースソース検討中@自治議論スレ
垢版 |
2020/04/25(土) 23:13:44.94ID:1TOCEn8d
ABC予想を仮定したらリーマンの予想が解けるだろうか?
0297ニュースソース検討中@自治議論スレ
垢版 |
2020/05/03(日) 21:11:48.23ID:FxHJbYwg
証明を欧米の学者がモデルチェンジしてまとめ直して、
表面上の見かけは丸で違うが、本質は同じ手段をつかった
「新規の正しい証明」を出して来る気がするね。
岡潔もそれでやられてしまった。
0299ニュースソース検討中@自治議論スレ
垢版 |
2020/05/03(日) 23:40:17.30ID:FxHJbYwg
戦前は解析学はフランスが勢力をもっていたからか、フランス語だよ。
0302名無しのひみつ
垢版 |
2020/05/22(金) 03:24:41.73ID:1+bDkYNt
有限個の組があります、といったときに、それが0個の場合もあれば、
1個の場合、2個の場合、などの場合もあるし、
人間が一生掛かっても書き切れない程の桁数を持った有限の数だけの
個数かもしれないことに注意。
0304名無しのひみつ
垢版 |
2020/06/04(木) 16:18:16.11ID:HFxXKDUw
a=b,b=c → a=c
0306名無しのひみつ
垢版 |
2020/06/06(土) 15:05:22.75ID:H0z4nhTc
PがNPとは違うということも、このような手法で証明できたりするのかなぁ?
0307名無しのひみつ
垢版 |
2020/06/11(木) 17:48:28.86ID:esIQyss4
1つの実数がこの世のすべての数学命題の真偽を表している、そのような
実数が存在する。その実数はたとえば2進数で表現され、
任意の命題をたとえば記号あるいは文字で書いたときに、
それがASCIIとかUTF8のような文字コードを並べて表せるので、
その命題はある1つの(非負の)二進数で表せる。
表現の異なる命題に対応する非負整数は決して同じになることはない。

そうして、そのすばらしい実数は二進数で表されたときに、整数部は0であり、
その小数点以下第k桁目には命題が真であれば1、偽であれば0が書かれている。
だから、命題の真偽は命題と対応する非負整数kを作り、その実数の小数点
以下第k桁目を調べればたちまちにしてその命題が真か偽かが直ちにわかるのだ。
なんとすばらしい神のような実数ではないか。しかも必ず存在するのだ。
(注:非負整数kに対応する文字列が命題として不適切あるいは無意味なら
そのときには第k桁目には0でも1でも構わない。たとえば0を入れておいて良い。
あるいは実数を二進数表現ではなくて3進数表現として、そのような例外を
表すのには第k桁目に数字2を入れておくこともできるのである。)
0308名無しのひみつ
垢版 |
2020/06/13(土) 07:06:37.40ID:gfUNuWsz
与えられたε>0に対してK(ε)をいくつとすれば十分になるのかを
どうやって求めるのだろうな?
0309名無しのひみつ
垢版 |
2020/06/21(日) 08:34:25.85ID:XUPHr3yO
適当に命題を生成して、それが真であることが運良く証明できたら、
それを定理として論文を書いて受理されて公知のものになるのだとしたら、
定理の意義とか価値はどういうものになるのだろう。
 「1+3>5ならば任意の実数xとyについてx<yである」
という命題は真であるから、それを定理として論文にする、というわけでも
なかろう。
■ このスレッドは過去ログ倉庫に格納されています

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