[過去ログ] Inter-universal geometry と ABC予想 23 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
863: 2018/01/23(火)00:58 ID:84flm0Cz(2/2) AAS
客観的な再現性
864
(1): 2018/01/23(火)01:04 ID:YIkRENRn(1/7) AAS
合っているかどうかは問題ではない、なんていう詭弁擁護論は通用しない 
865: 2018/01/23(火)01:41 ID:ymJX7Ze5(1) AAS
この結論にしようと考えたとして、前提や引用論をあまりにも拡大解釈せざるを得ないとしたら、
それは何かがおかしい証拠といえます。つまり現実を無視した結論をゴリ押ししているために、
あちこちに歪みや修正が出てくるのですね。
866: 2018/01/23(火)08:48 ID:SPbhebIP(1) AAS
iPS騒動見てると、iUTも懐疑的に思えてしまう。
誰も検証できないように抽象的な議論弄んで成果にしてしまおうとしてんじゃないかと邪推したくもなる。
助教の事情ともっちー周辺もどうもオーバーラップして感じる。
867
(1): 2018/01/23(火)09:08 ID:rJsksr7d(1) AAS
度々>>864みたいな発言が関係筋から出るのも懐疑的になる要因だ。
RIMSの上層部と編集委員はレアケースの判断力が弱いのではないかと思ってしまう。
868: 2018/01/23(火)10:18 ID:aT3jjLqB(1/4) AAS
iUTw
869: 2018/01/23(火)12:29 ID:3C+cum3D(1/6) AAS
>>867
関係筋のそんな発言あったの?
870: 2018/01/23(火)12:32 ID:mw/Kc912(1) AAS
ブンゲンの講演の冒頭とか前々スレ後半あたりから見りゃわかるだろ
871: 2018/01/23(火)12:36 ID:pTsDD5Kn(1) AAS
PRIMSに掲載されたら、永遠にブラックボックスのまま
872: 2018/01/23(火)12:43 ID:YIkRENRn(2/7) AAS
なんねーよ
873
(1): 2018/01/23(火)12:49 ID:3C+cum3D(2/6) AAS
ブンゲン氏の動画の冒頭見たけど、あれはそんな意味じゃないと思うけどね

とりあえず、jinのアンチ版もスルーだな
874: 2018/01/23(火)12:51 ID:DoTOkyWA(1/2) AAS
バカ人乙
875
(3): 2018/01/23(火)12:55 ID:DoTOkyWA(2/2) AAS
>>873
分解からの復元の際の歪が一定でなく再現できないのに何を証明したんだ?
アンタの物の見方ってどんだけバイアスかかってんだよ
876: 2018/01/23(火)13:05 ID:tqiJnqOn(1/11) AAS
都合が悪くなると逃走する擁護派
しばらくすると何事もなかったかのように復活してくる鉄面皮ゾンビ一派
877: 2018/01/23(火)13:16 ID:YIkRENRn(3/7) AAS
都合の悪い情報を見てないことにしたり、残っている不具合を魔法のように消せる素晴らしい人達
878: 2018/01/23(火)13:17 ID:3C+cum3D(3/6) AAS
いや、俺は擁護しているのではないよ、IUTはよくわからないし事態を静観しているだけ
>>875 の見解には詳しい人がコメントしてくれるのじゃないかな?
最近のレスを読むと詳しい人がいるみたいだし
879: 2018/01/23(火)13:20 ID:tqiJnqOn(2/11) AAS
>あれはそんな意味じゃないと思うけどね
思いっきり主観がはいってるけど
880: 2018/01/23(火)13:27 ID:YIkRENRn(4/7) AAS
ここまでの否定論に対して詳しい人のコメントなどない件について
881
(1): 2018/01/23(火)13:28 ID:wu7k3Kiw(1) AAS
これで実は証明できませんでしたという結論だとまた朝日の黒星だな。
で、Vの不等式の証明の件はどうなのよ?
これは理解できないとかじゃなくてかなり具体的な論理の飛躍の指摘だと思うが。
882: [age] 2018/01/23(火)13:31 ID:1JrX6Zjm(1) AAS
結論出るまでいったい何年かかるねん
883: 2018/01/23(火)13:36 ID:tqiJnqOn(3/11) AAS
>>881
書いてある、定義により自明、では理解を得られないわな
884: 2018/01/23(火)13:37 ID:tqiJnqOn(4/11) AAS
なので実例を出せとかいわれる
885: 2018/01/23(火)14:31 ID:BSz7qTpw(1) AAS
朝日新聞何の根拠もなく一面に出す訳ないだろ。朝日に肩を持つ内通者がいて、情報流してたんじゃねーの?
何なら、観測気球をあげるという意味で、IUT周辺がリークしたんじゃねーかと邪推もしたくなる。お陰でRIMSは準備万端で本格的発表に備えることができてそう。
886: 2018/01/23(火)14:39 ID:bkZgg6L5(1) AAS
何の根拠もなく一面に出すのは朝日新聞のお家芸。
ソースが多すぎてここにカキコすると字数制限にひっかかる。
887: 2018/01/23(火)14:46 ID:aT3jjLqB(2/4) AAS
そもそも>>875は何処から出てきた批判なんだ?
色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか
それを含めアルゴリズム的と言っているんだが
問題点を「あるが」の部分から切り取っただけではないか?

望月がブログで「組合せ論的整理」と言っているのは数学的にはそのことだ
基礎としては集合論で無限集合を論じるのと変わらないというわけだ
888: 2018/01/23(火)14:52 ID:xP8b/PnB(1) AAS
(おそらく)今でも数学板を覗いている織田先生はこの騒動をどう見てるのかな?
889: 2018/01/23(火)14:56 ID:j1fkelI4(1) AAS
(おそらく)数学板をいまでもみていらっしゃる増田哲也氏はどう思ってらっしゃるのか?
890
(1): 2018/01/23(火)15:01 ID:aT3jjLqB(3/4) AAS
補足すると、場合に応じ不定性を消す、抑える云々の部分は俺も引っかかっていたんだが
(不定性云々に関わらず)数学自体がある意味でそういう「明示的な判別」を方々で示している
という見方をしたら納得はできた
典型的なのは式変形だな
891
(1): 2018/01/23(火)15:29 ID:VEbAxPGL(1) AAS
実際、擁護派と否定派の割合ってどれくらい?
892
(1): 2018/01/23(火)15:56 ID:3C+cum3D(4/6) AAS
要するに>>875 の批判は相手にする必要なし、とスルーされたと理解してok?

あと、ブンゲン氏の講演の冒頭での発言は、
「現時点では査読中なのでABC予想の証明の正否についてはコメントを控える、ここではIUTの方法について
素人に向けてラフスケッチを提示する」という意味で俺は理解している
893: 2018/01/23(火)16:10 ID:tqiJnqOn(5/11) AAS
>>890-892
納得しねーな
なら証明したというのはおかしくねーか
892はそうならブンゲンがそういうだろ
894
(1): 2018/01/23(火)16:16 ID:tqiJnqOn(6/11) AAS
>色々な「不定性や誤差はあるが」有限の操作で整理し「不等式を抑えられる」という
主旨で本人らが処方を解説しているではないか

a,b,cの組み合わせの個数が有限であるかないかとの問いに対してどうなのか
895: 2018/01/23(火)16:17 ID:tqiJnqOn(7/11) AAS
いくつなのか、kの上限値でも出してるなら見せてくれということ
896: 2018/01/23(火)17:03 ID:aT3jjLqB(4/4) AAS
>>894
まず、類似するプロの批判をソースとして挙げたら?というのもそういう言い方だと
ちょっと引っかかるんだよな。つまり、ディオファントスの基本的な知識が
ないだけなんじゃねーのと
不等式の由来とか調べたのかと
知識があった上で軽く論理を辿ったらこういう欠陥が見つかったってなら勿論
京大で聞くべきなんだが
897
(1): 2018/01/23(火)17:13 ID:YIkRENRn(5/7) AAS
ディオファントスの基礎知識を持ってる国内外の学者さんはなぜ理解できないの
あなたがわかってるなら答えを出してくれればいいじゃないの
898
(2): 2018/01/23(火)17:21 ID:tqiJnqOn(8/11) AAS
結局擁護派はもっちーがそういってるから、の1点張りなんだよな
オレがいってることは明快
10^20までの1400万通りの反例にたいして何を示したのか、という話
不等式と全然関係がなさそうじゃないか
899: 2018/01/23(火)17:24 ID:6mzSj2k9(1/7) AAS
>>897
それは、ディオファントスは単に一部の文脈だからですよ
変形理論自体はまた別のコストがかかる
勿論正直な話、自分もわざわざ論文をおさらいして具体的な話ができるほどの
余裕はない。そういう意味で非力です。レスしてても別のことを考えながらだったりするんで
とは言え、今自分のわかる範囲で言えることもなくはないとしても、
明らかに知識や調査が足りない人に何でも喋るのはどうかと
省2
900: 2018/01/23(火)17:26 ID:YIkRENRn(6/7) AAS
またアホ人が炙り出されて活動再開したな
901: 2018/01/23(火)17:38 ID:6mzSj2k9(2/7) AAS
>>898
反例?
それはともかく、俺は「望月がそう言ってるから」じゃなくて
不等式の由来とそのアプローチの意味を調べたのかと言ってるだけだよ
そこまで全て編み出すほど彼は宇宙人じゃねーからなw
902: 2018/01/23(火)17:58 ID:3C+cum3D(5/6) AAS
否定派に賛成しない人たちを擁護派と見做すのはどうかと思うよ
擁護派と見做されている人たちは慎重なだけではないかと
全肯定しているのはjinみたいな人だけかと
903: 2018/01/23(火)18:06 ID:6mzSj2k9(3/7) AAS
IDを辿ったら「否定派」の二人(一人?)っつうのがどうも怪しいな
そもそも「abcと何の関係があるんだ?」みたいなこと言ってるプロいたっけ?
いたら誰かソース教えてくれ
904: 2018/01/23(火)18:14 ID:6mzSj2k9(4/7) AAS
ちょっと基本的な話なんだけども、関数版のabcは証明されているわけですよ
なので、疑問があるならば「関数版の理論の適切な一般化になっているのか?」という
抽象的な部分がむしろメインになるべきで、不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ
905: 2018/01/23(火)18:16 ID:tqiJnqOn(9/11) AAS
またアスペが
不等式がギャップとされるなら証明と関係ないだろうが

>>898
反例?

10^20までで1400万の例があればそれは証明として有限なのか
君の理屈では10^20は確かに有限だな
906: 2018/01/23(火)18:27 ID:tqiJnqOn(10/11) AAS
>不等式から具体的な数値が計算できるかどうか
という話はちょっと違うと思うわけね。あくまで自分の意見ですが
勿論これはフェルマー理論の包含についても同じ

賢いかなんかしらんが俄か丸出しだろ
反例の個数や上限値、下限値は少なくとも観測上明示されてるわけだ
それに対して論文の数式が当てはまってるのかという疑問だ

>勿論これはフェルマー理論の包含についても同じ
省3
907: 2018/01/23(火)18:32 ID:6mzSj2k9(5/7) AAS
それはこっちの台詞だわw
悪いけど電波にしか見えない
908: 2018/01/23(火)18:34 ID:tqiJnqOn(11/11) AAS
はいはい、具体例も出せないボクちゃんwww
909
(1): 2018/01/23(火)18:36 ID:6mzSj2k9(6/7) AAS
何か数値的な話をするならソース出すだろ普通
勝手にあの数値がどうだとか答えてないとか、どっちがアスペなんだか
ワイルズは抽象過ぎる、自然数論でなければフェルマーは証明できないという主張を思い出すわw
910: 2018/01/23(火)18:41 ID:Y1T6hbUC(1/5) AAS
Inter-universal geometry と ABC予想 20 山下剛のサーベイ出る [無断転載禁止]©2ch.net から
688132人目の素数さん2017/10/03(火) 08:33:41.66ID:GM8CrdYb
前レスに習うなら、証明と言うよりもはや誤差込みの
統計モデルだから、そもそも解いてない。
だから少なくとも無意義ではない。
有意義なら本人の預かり知らぬ応用だって有り得る。
ガバガバ目安でも、幾らか証明の指針にはなる。
省20
911: 2018/01/23(火)18:43 ID:Y1T6hbUC(2/5) AAS
908132人目の素数さん2017/10/17(火) 01:51:53.77ID:xo6ISvI+
加藤和也曰く普通の数学者の頭3つ分と言われるファルティングスがIUTを理解しようと思えば余裕だと思うけどなんで興味持たないんだろうな
絶賛してるのが加藤文元とか。。

Inter-universal geometry と ABC予想 21 より
ここも反論や毀損なんて話が出なかったが事実なのか

394132人目の素数さん2017/12/03(日) 16:40:50.50ID:o97lhEUx>>396>>398>>401>>402
読売の取材拒否事件w
省20
912
(1): 2018/01/23(火)18:43 ID:Y1T6hbUC(3/5) AAS
908132人目の素数さん2017/10/17(火) 01:51:53.77ID:xo6ISvI+
加藤和也曰く普通の数学者の頭3つ分と言われるファルティングスがIUTを理解しようと思えば余裕だと思うけどなんで興味持たないんだろうな
絶賛してるのが加藤文元とか。。

Inter-universal geometry と ABC予想 21 より
ここも反論や毀損なんて話が出なかったが事実なのか

394132人目の素数さん2017/12/03(日) 16:40:50.50ID:o97lhEUx>>396>>398>>401>>402
読売の取材拒否事件w
省20
913: 2018/01/23(火)18:46 ID:YIkRENRn(7/7) AAS
数学家が物理屋に批判的なのもなんとなくわかる
914: 2018/01/23(火)18:55 ID:bDhEh80F(1) AAS
>>909
攻撃的なのは全部相手にしないほうがいいですよ。

5chの伝統で専門の人から聞き出すには知ってる単語を適当に並べて主張すれば
相手が聞いてもいないことをペラペラ喋ってくれて楽だwっていうのがあるので。
堂々とそんなことを書いていたのに私は呆れてしまいましたがw
915: 2018/01/23(火)19:01 ID:3C+cum3D(6/6) AAS
いやぁ、この大量のコピペは否定派と言われる人たちの中にも
加藤和也氏やファルティングスらの権威に乗っかって否定する人がいる、という皮肉なんですかね?

地底人と最低人がいるように
肯定jinと否定jinがいるというわけか?
916: 2018/01/23(火)19:02 ID:6mzSj2k9(7/7) AAS
批判が正当かどうかはともかく、言いたいことは何となくわかるんだけどな
グロタンディークの素数のエピソードを思い出すわ
917: 2018/01/23(火)19:04 ID:Y1T6hbUC(4/5) AAS
都合の悪いコメントは無かった事に出来る方がたです
918
(2): 2018/01/23(火)19:04 ID:Y1T6hbUC(5/5) AAS
都合の悪いコメントは無かった事に出来る方がたです
919: 2018/01/23(火)19:08 ID:0XipQIzU(1/3) AAS
mason stothers theoren?
簡単な証明があるらしい
920
(1): 2018/01/23(火)19:19 ID:0XipQIzU(2/3) AAS
ABC予想の証明は 素数で難易度といい
簡単な証明があるmason stothers theorem
と別と思う。
普通 数値実験を行い調べる。
mason stothers theorem からのアプローチは
数学でないから知らなかった。

外部リンク:topologicalmusings.wordpress.com
921: 2018/01/23(火)19:30 ID:0XipQIzU(3/3) AAS
数学の証明はwell defindedを始め
厳密が必要だね。
物理の「証明」ではない。
922: 2018/01/23(火)21:24 ID:XrnRR7Ch(1/2) AAS
有限の数学も難しいけど、数論は大体無限集合だからな。抽象化せざるをえない
抽象・構造的な議論を経由してるからこそ無限集合のシステムに定数がある、
みたいなことが言えるわけだけど
923: 2018/01/23(火)21:40 ID:RDs4Q1Kl(1) AAS
well definded 出来ない例も多い
924: 2018/01/23(火)21:40 ID:og69KnWu(1) AAS
文元って、数学的な信用度は?
925: 2018/01/23(火)21:47 ID:WIdMueTM(1) AAS
巨大数って面白そうだなあ
可能無限を考えてしまいがちな中で
巨大数と実無限をどう考えるのか
926: 2018/01/23(火)22:44 ID:XrnRR7Ch(2/2) AAS
Faltingsがどう思ってるかは知らないけど、やっぱりmordell-Weil理論よりは難しいわな
それは確か
Taoにしても間違いなく優秀だが、彼の数学経験からしたらやっぱり結構IUTTは異色なはず
勿論、だからといってそれらの優劣は比較できないけど
927: 2018/01/24(水)01:15 ID:aSRphMzl(1) AAS
文元の人間的な信用度は低いとでも言ってほしいのか?
928: 2018/01/24(水)01:30 ID:V+Hxbw2K(1) AAS
IUTの動画を見た。
全く新しい数学のイメージが
なんとなくわかった。

元々 ジェダイのフォースは暗黒面がある。
二つの舞台はジェダイの共和国軍宇宙と暗黒面の帝国軍宇宙。
美しい対称性のフォースはジェダイと
暗黒面に通信し、其々の宇宙でフォースより
省5
929: 2018/01/24(水)02:22 ID:12Z/X3/f(1/2) AAS
>>912
マジでS教授って誰なの?
ST先生?SS先生?
930
(1): 2018/01/24(水)03:04 ID:ujczBg0e(1) AAS
>>920
数学でないってどういうことだろうかw
そっちのが単純なのは確かだが、ディオファントス的な証明の原理としては
根は同じかと。古典的なルーツはリーマンーロッホに遡るけど
アラケロフ理論自体がルーツはそこにあるから
その理論はabc(とヴォイタ)の別証可能性を示唆していると個人的に思う
そっちのが単純だと思うが、必要な一般化は簡単じゃない
931
(1): 2018/01/24(水)06:19 ID:sSCPRi/+(1) AAS
省庁ってのはそこまでアホではない。
他の分野もそうだが援助が縮小傾向になったなら根拠があるのだ。

母校の数学科の同窓会で、フィールズ賞の受賞者かつ国際数学連合のトップの挨拶が、
「もうお金がないの、日本の数学は終わってしまいそう」だったのは、涙が出そうだった。

横から失礼します。手をこまねいていないで、文部科学大臣に陳情に行かれたらどうですか?
932: 2018/01/24(水)06:54 ID:/tKpCWqY(1) AAS
いままで散々援助させといて外人食わせて成果なしじゃそうなるわな
ヘンな自尊心と慣習にこだわってる自分らが悪いだけなのでは
933
(1): 2018/01/24(水)07:57 ID:EtqXURrr(1) AAS
人事以外だと、ビッグプロジェクトの成果で非専門家にも広く認知されるようなものってあるのだろうか
934: 2018/01/24(水)08:04 ID:HfLuwo2X(1/2) AAS
ベーコン炒め、いやリーマン予想
935
(1): 2018/01/24(水)08:41 ID:dqynY7dZ(1) AAS
>>933
目的が国内外の研究者との交流を目的としたセンターができて、
問題は訪問者がいるかだけど、訪問者数が指標かな。
936: 2018/01/24(水)08:43 ID:EkzZJA6z(1) AAS
>>930
数学の出身ではないということ。
今の数学、IUTはおたく だわ、、呆れた。
937
(2): 2018/01/24(水)08:49 ID:voOux6hN(1) AAS
ついに、満足いく完成を見たようだな。無人コンビニが。中国よりアメリカのが便利そうだ。
欠点はスマホがなければダメってところか。おれ、スマホもってないからな。

レジ待ちストレスゼロ Amazon無人店
外部リンク[html]:www.fnn-news.com
938: 2018/01/24(水)08:51 ID:ZsQ09jl1(1) AAS
>>935 文化と学問の違いはあれど、まるで郵貯ホールではないか
939: 2018/01/24(水)13:28 ID:hXEYB7rJ(1) AAS
人手不足とは言え、斜陽国家だからな。景気も疑わしいし
ひとまず代数幾何・代数解析・ホモロジー代数ばかりやってたら終わるのは確か
940: 2018/01/24(水)13:58 ID:Rby4luE5(1) AAS
おたくに飛びつくとはね。
新しい幾何はシンプレクティック幾何の発展
なんだよ。
941
(1): 2018/01/24(水)16:37 ID:1paxiNdA(1) AAS
シンプレクティック幾何は解析力学が生んだ。
良い数学は抽象的に見えても具体的なもの
と結びついている。
942: 2018/01/24(水)18:31 ID:12Z/X3/f(2/2) AAS
>>941
具体例に神が宿る
943: 2018/01/24(水)18:59 ID:HfLuwo2X(2/2) AAS
不等式に闇が宿る
1-
あと 59 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.210s*