X
トップページ⇒数学
1002コメント328KB
Inter-universal geometry と ABC予想 29
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2018/07/12(木) 06:25:22.51ID:vSDG2D2S
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ　Inter-universal geometry と ABC予想 28
https://rio2016.5ch.net/test/read.cgi/math/1528525603/
0647１３２人目の素数さん
垢版 |
2018/08/10(金) 16:52:56.08ID:VyhF6ggY
>>654
裏はあったんだろうが
調子乗って大々的に報道して
結果的に未だアクセプトされてないという現実な

朝日は落とし前つけろよ
0648１３２人目の素数さん
垢版 |
2018/08/10(金) 17:10:06.34ID:Vw+j7BEj
アインシュタインの話題は忘れよう。
辛気臭い
0650１３２人目の素数さん
垢版 |
2018/08/10(金) 17:19:07.20ID:z0CbTZ4b
数学界の一部に過ぎないIUT関係者 RIMS
と朝日新聞のトラブルです。
無関係な他の分野を低俗なIUTスキャンダルに
巻き込むことはおやめ下さい。
↓
>>534

>少なくとも自然科学の業界にいる人なら
普通に理解できることだとおもう。
>日本のマスコミの科学技術への無理解と
学問への軽視が顕われているようだ。
0651１３２人目の素数さん
垢版 |
2018/08/10(金) 17:20:42.34ID:k900NErR
>>674
レフェリーレポート一本目が返ってきて minor revision とかだったら
それはアクセプト見込みと言っても正しいだろ。
ブンゲン >>534 の"アクセプトされるかリジェクトかの厳格な二分法があるだけ"とか
素人の寝言にしか思えん。こいつ最近自分で論文書いてなくて、査読の手順とか
忘れてんじゃねーの?
0652学術
垢版 |
2018/08/10(金) 17:35:56.68ID:kjMGeLEi
アインシュタイン飽和というぐらい、物理自体を酷使せず、
選抜や、スターを集めて、物理を個別にあるいは競わせて、育成すればいい。
0653１３２人目の素数さん
垢版 |
2018/08/10(金) 17:40:07.67ID:H8rpDzji
問題なのは朝日みたいな一応ちゃんとした大手紙が学術ゴシップみたいなことを
やってしまったことだな
つまり、査読過程の中間状態は公の報道には載らないという意味でブンゲンの話は正しい
0654１３２人目の素数さん
垢版 |
2018/08/10(金) 17:40:18.79ID:VyhF6ggY
>>651
いやそれは正しい
そういう類いの裏はあったんだろうが
当時はまだ静観すべきだったことを調子に乗って報じて
結果的に誤報扱いされるべき報道になってしまった
その点に関して落とし前付けろよと言ってんの
0656１３２人目の素数さん
垢版 |
2018/08/10(金) 18:05:37.53ID:k900NErR
あほらし。リークをネタに記事を書いたら話題になって、
本家が慌てて対応を変えたら誤報扱いかよ

結果的に数論専門家が文句つける状態で掲載にならなかったんだから
朝日は感謝されてもよさそうなもんだ

>>649
Dirichlet はフランス語名だから
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%82%B0%E3%82%B9%E3%82%BF%E3%83%95%E3%83%BB%E3%83%87%E3%82%A3%E3%83%AA%E3%82%AF%E3%83%AC
0657１３２人目の素数さん
垢版 |
2018/08/10(金) 18:29:23.46ID:KZgvwytb
>>656
そこはもう見たよ。というか「Dirichlet」はそこからコピペした。
同様にショルツがドイツルーツの名前じゃない可能性は考えた？
0658１３２人目の素数さん
垢版 |
2018/08/10(金) 18:35:32.36ID:eZufnDRJ
横からだけど、ドイツ語母音 e は語末ではあいまいな e だからショルツでもショルツェでもいいんだよ

あと、ブンゲン氏については何で今頃そう言うの？って感じだ
記事が出て8か月も経って何で今更？
0659１３２人目の素数さん
垢版 |
2018/08/10(金) 19:41:31.10ID:0gAkdxld
ドリンフェルドさんのこと
Wikipedia で
「ドリンフェルト」
ってなってるの気になる。
ドイツ語ではそういう発音になるらしいけど
お父さんもキエフの人らしいし
ドイツルーツの人ではないよね？
ロシア語？ウクライナ語？でも語尾のdがtの発音になるってあるの？
0660１３２人目の素数さん
垢版 |
2018/08/10(金) 20:27:16.76ID:Lu6qoXCN
>>656
そうだよな。朝日の報道がなければアクセプトからの世界の大御所が一斉に批判して専門誌の評価がた落ち、な流れだったんだから。朝日新聞に感謝しかないだろう、RIMSは。
0661１３２人目の素数さん
垢版 |
2018/08/10(金) 20:30:01.81ID:BJM1v6x6
>>653
怪我の功名だけど、朝日が報道してくれたおかげて、世界中からたまっていた
疑惑の声が噴出したという点も否定できない。
日本にいると身びいきの意見しか聞こえないが、世界は違うという事。
0664１３２人目の素数さん
垢版 |
2018/08/10(金) 21:04:52.47ID:wEm07boq
ショルツの言い分は妥当なの？
0665１３２人目の素数さん
垢版 |
2018/08/10(金) 21:09:46.48ID:eZufnDRJ
>>663
そうだねｗ
あいまいな e は「あ」と「え」の中間だから
日本語発音ショルツの「う」にはならない
やっぱり日本語表記としてはショルツェが適切なのかなｗ
0667１３２人目の素数さん
垢版 |
2018/08/10(金) 21:16:19.24ID:JUvN1fDs
ショルツの表記なんかどっちでもよくね
アスペなん？
こういうどうでもいいこと気にしてる奴は数学できないだろ
高校の先生やってろよ
0668１３２人目の素数さん
垢版 |
2018/08/10(金) 21:17:31.90ID:2PnNMj8n
朝日は続報うてよ
近々アクセプトと報道して未だにアクセプトされてないんだから
0669１３２人目の素数さん
垢版 |
2018/08/10(金) 21:41:39.09ID:+teTRSvV
>>637
要約もできなかった馬鹿が何を言ってるんだか。
あんた物理も数学も素人だろ。>>607と同類じゃんｗ
0670１３２人目の素数さん
垢版 |
2018/08/10(金) 21:43:17.89ID:rvNl1STB
軽くスレを追って話が微妙に進んだのを知ったけど、まだ何とも言えない雰囲気なのか
>>276
実際あれは最高に難しいからね。フィールズ賞レベルだからわかるわからないでもない
別の分野でトップクラスだとしても理解できなくて全く不思議はないし
数論幾何やってても頭痛くなるだろうよ
だからこそなかなか話が進まないよな
0671１３２人目の素数さん
垢版 |
2018/08/10(金) 22:13:32.44ID:k900NErR
>>560
問題はギャップがあるかどうかなんだから、
言えることなんて"ここがわからない"しかないよね。

ここがわからん
-> 望月が何か説明する
-> まだここがわからん
-> 望月が何か説明する
-> まだここがわからん
ってなったのをまとめて、わからんって言っているほうが
レベルが低いと判定するのは正しいとはいえない。
むしろ、肝心なところにずっと答えられてないって可能性もある。
0672１３２人目の素数さん
垢版 |
2018/08/10(金) 22:36:16.64ID:BJM1v6x6
>>666
じゃあ誰が読み切れているんだよ？
これに答えられないんじゃ証明されたとは言えない。
0673１３２人目の素数さん
垢版 |
2018/08/10(金) 22:47:41.39ID:HFtBV1DZ
取り巻きは読み切れているらしい。何回も通読しているらしい。
でも、質問の肝心な部分では話が通じないらしい。教祖も含めて。
0674１３２人目の素数さん
垢版 |
2018/08/10(金) 22:58:59.93ID:rvNl1STB
わかるような気はする、ところまではそれなりの人間なら行くだろうけど
正しいと言い切るには自分の作業を打ち切って集中しなきゃ無理
だから枯れたベテランがコメント出してくれたほうがいいんだけどね
0676１３２人目の素数さん
垢版 |
2018/08/10(金) 23:50:42.47ID:rvNl1STB
一応の読みきりや概要理解は大体時間かけりゃできるわけで、問題の箇所が
循環論法かどうかが論点だからな。しかしあの辺の流れを読んだ時に、モヤモヤしない人が
取り巻き以外にいるんだろうか？
ある意味、本当に説明になっているならば、数学の性質からしてショルツがいようがいまいが
合意形成されていくだろうからな
0677１３２人目の素数さん
垢版 |
2018/08/10(金) 23:52:37.46ID:rvNl1STB
繰り返せば。ショルツがキーマン扱いされてるのは俺的には疑問だわ
彼が何を言ってようが、正しければ空気が変わるはずだからな
0678１３２人目の素数さん
垢版 |
2018/08/11(土) 00:07:56.65ID:pTYkhE0V
Peter Scholzeの指摘は
I am entirely unable to follow the logic after Figure 3.8 in the proof
of Corollary 3.12 of Inter-universal Teichmüller theory part III:
“If one interprets the above discussion in terms of the notation introduced
in the statement of Corollary 3.12,
one concludes that the quantity −|logΘ| is finite, and
moreover, that −|log q|≦−|logΘ| ∈ R. ”
Note that this proof is in fact the *only* proof
in parts II and III that is longer than a few lines
which essentially say “This follows from the definitions”.
というものだったが

−|logΘ| の有限性については
GoサーベイのProp.1.12 (原論文だと[IUTchIV,Thm.1.10]) より従う
詳しくはGoサーベイの34〜35ページ
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2018May28.pdf

−|log q|≦−|logΘ| が成立する理由に関しては
Goサーベイの356〜361ページ
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2018May28.pdf
星サーベイの36ページ
http://www.kurims.kyoto-u.ac.jp/~yuichiro/intro_iut.pdf
星サーベイ(続編)の92ページ
http://www.kurims.kyoto-u.ac.jp/~yuichiro/intro_iut_continued.pdf
で “This follows from the definitions”. 以上の説明が与えられている
0679１３２人目の素数さん
垢版 |
2018/08/11(土) 00:07:59.08ID:2JWNi0qu
>>677
そりゃ話が逆で、6年間取り巻き以外みんなもやもやしてたところ、
Sがついに声をあげたってことじゃね
0680１３２人目の素数さん
垢版 |
2018/08/11(土) 00:14:12.25ID:Likg/qJr
Scho1zeの理解がIUTTの正否の鍵とEUとUSで思われている奇妙な状態の原因：

almost etale extensionのFa1tingsがそれを整理したperfectiodのScho1zeを認めているtこと

ディオファントス問題の権化はFa1tingsと思われているとこと

Scho1zeがFa1tingsのときのように若手世界一の頭脳と思われていること
0681１３２人目の素数さん
垢版 |
2018/08/11(土) 00:21:54.86ID:2JWNi0qu
>>678
直接やりとりして片方は京都まで来てんだから、
結果としてたとえ望月が正しかったとしても、
書いてないはずの説明がどっかに書いてあった、
みたいなレベルで止まってるわけがないだろ

だいたいPSはGoのサーベイの存在は知ってるわけだしなあ
https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/
0682１３２人目の素数さん
垢版 |
2018/08/11(土) 00:27:58.23ID:38RSkb71
>>669
おまえさん、ピント外れなんだよ、
熱力学は統計力学から独立している。
0683１３２人目の素数さん
垢版 |
2018/08/11(土) 00:31:57.86ID:AcTPRcKQ
MochizukiとStix-Scholze双方の報告が公開されるまではゴシップごっこでスレ消費だな
0685１３２人目の素数さん
垢版 |
2018/08/11(土) 02:08:48.12ID:PlOCTjeY
>>680の訂正

Scholzeの理解がIUTTの正否の鍵とEUとUSで思われている奇妙な状態の原因：

almost etale extensionのFaltingsがそれを整理したperfectoidのScholzeを認めていること

ディオファントス問題の権威はFaltingsと思われていること

ScholzeがFaltingsのときのように若手世界一の頭脳と思われていること
0686１３２人目の素数さん
垢版 |
2018/08/11(土) 03:33:04.79ID:RfEinydO
>>669
追加
特殊相対論より トンデモが専門
↓
>>612
>相対論と熱力学の間に手本とするような
直接的な関連があるわけではない
0687１３２人目の素数さん
垢版 |
2018/08/11(土) 04:19:15.28ID:7rTaVmi1
>>684
よほど文書対決に自信があるんだろうけど、jinは内容わかんないだろw
しかし何でjinは望月陣営に肩入れするのかね。普通ニュートラルでしょ。愛国とか？
0688１３２人目の素数さん
垢版 |
2018/08/11(土) 11:18:22.97ID:QZdbKaw+
>>606
基地外スレスレ、理性の境界線上まで、
自分を追い込まないと真理の定義は見えてこない
0689１３２人目の素数さん
垢版 |
2018/08/11(土) 12:09:50.26ID:d7Hd6mZM
>>682
だから何？
俺は統計力学には一言も触れてないよ。
0690１３２人目の素数さん
垢版 |
2018/08/11(土) 12:14:18.16ID:d7Hd6mZM
>>686
トンデモについては確かに専門かもしれん。
あんたみたいなトンデモさんについてはいろいろ調べたからなｗ
0691１３２人目の素数さん
垢版 |
2018/08/11(土) 13:23:03.78ID:VObeQajK
ローレンツの電子論批判から
特殊相対論は生まれた


特殊相対論より トンデモが専門
↓
>>612
>相対論と熱力学の間に手本とするような
直接的な関連があるわけではない
0694１３２人目の素数さん
垢版 |
2018/08/11(土) 16:56:22.49ID:EqclHKyH
池沼レベルの煽りしか出来ない頭のおかしい日本語不自由なID何度も変えて粘着してる我の強い物理かぶれ基地外はとっとと失せろ
0695１３２人目の素数さん
垢版 |
2018/08/11(土) 17:25:25.41ID:sXo+jJb3
IUTのスレだな、
トンデモ仲間が湧いてきたw
0696１３２人目の素数さん
垢版 |
2018/08/11(土) 17:49:32.72ID:T8KFIEep
このスレでよくIUTTを似非数学扱いすることがあるけど、何を以てそう思うのかが
不明なんだよね。少なくとも概要を知れば知るほど尤もらしいと見えてくる理論だと
思うんだけど。これは擁護ではないからな？
似非トンデモ扱いが印象論に過ぎないのかどうかに興味があるわけ
0697１３２人目の素数さん
垢版 |
2018/08/11(土) 17:51:54.66ID:T8KFIEep
単に面白がってからかってるならそれでいいんだが
割とガチでトンデモだと思ってる人がいたら理由を聞いてみたいんだよね
0698１３２人目の素数さん
垢版 |
2018/08/11(土) 18:11:25.47ID:PlC/AY04
>>691
>>相対論と熱力学の間に手本とするような
>直接的な関連があるわけではない
友達の友達レベルの関連性に眉唾する発想って初歩のコホモロジーだよね
0699１３２人目の素数さん
垢版 |
2018/08/11(土) 18:48:03.54ID:KaJXs7op
ガチで最初から探せ。
初期解説ノートで累乗に蓋をすることに成功したとか、
5以上のスピロ予想と同値だとかいろいろあったんだよ。
0700１３２人目の素数さん
垢版 |
2018/08/11(土) 20:00:23.96ID:JDL5VLWl
キチガイが幼稚な知識を披露スレになってんな
0703１３２人目の素数さん
垢版 |
2018/08/11(土) 20:18:02.52ID:yJ9RgkQA
「累乗に蓋をする」とか「5以上のスピロ予想」ってなんだよ
0705１３２人目の素数さん
垢版 |
2018/08/11(土) 20:38:48.03ID:T8KFIEep
循環論法の件と「絶対遠アーベル幾何学的な大域ホッジ理論は可能か」というのは
一旦分けて考えるべき。後者についてはIUTTは一応成り立つんじゃないかと俺は思ってる
そして実際その点についての強い批判は今のところないんじゃないかね
0707１３２人目の素数さん
垢版 |
2018/08/11(土) 20:53:01.20ID:T8KFIEep
元々狙いというのは関数体の小平の、ホッジ理論に関連した証明を数論に拡張すること
多分かなり早い時期から、望月はそれを絶対遠アーベル幾何学でやりたくて理論を作ってた
これは黒川ー小山がちゃんと解説してるが、望月は明言してないので不親切過ぎる
数論幾何学コミュニティはこの点に論点を絞りつつ例の問題を検討できてないように見えるな
まあ俺は関わりたくないから知らないけどね
0709１３２人目の素数さん
垢版 |
2018/08/11(土) 21:05:47.54ID:yJ9RgkQA
>>705
絶対遠アーベル幾何学的な大域ホッジ理論ってなんですか
0710１３２人目の素数さん
垢版 |
2018/08/11(土) 21:08:15.41ID:T8KFIEep
>>708
まあそう煽るよね。でも関わりたくない、が正しいんだよ。専門が結構離れてるから
責任取る気全くないし、細かい論点やabcそのものにはあまり興味がない
0711１３２人目の素数さん
垢版 |
2018/08/11(土) 21:14:57.80ID:T8KFIEep
>>709
「わかった気になって言葉を繋げてるだけ」と言われるのを承知でわざと省略している
意味を考えりゃわかる人間にはわかるしわからない人間にはわからない
望月がHodge-Arakelov論文で計量性とかテータの話をしているから、それを見ればわかる
0712１３２人目の素数さん
垢版 |
2018/08/11(土) 21:46:50.15ID:yJ9RgkQA
>>711
楕円曲線の基本群からテータ関数の特殊値を復元する部分を指して絶対遠アーベル幾何学的と言っている？
でもなぜホッジ理論なのかが分からないな。
貴方がおっしゃる通り「ホッジ理論という言葉を繋げてみただけ」にしか見えない。
0713１３２人目の素数さん
垢版 |
2018/08/11(土) 21:51:13.70ID:YYb+HrAt
>>700
↓
>>534
0714１３２人目の素数さん
垢版 |
2018/08/11(土) 22:14:54.83ID:T8KFIEep
>>712
テータ関数に遠アーベルを連動させるのはIUTTの動機で環構造を分解して宇宙際スケールの
話をしたいからなわけで、そもそもディオファントス幾何学の動機は何なのか考えたらいい
ある種の代数幾何学的なサイズを知ることでしょ。それらから考えたら何故ホッジ理論なのか
わかるのではないかと思うんだけどな
0715１３２人目の素数さん
垢版 |
2018/08/11(土) 22:21:03.64ID:T8KFIEep
望月は絶対ガロア群、モノイド、エタールテータの対象としての不変性を強調しているよ
IUTTの動機を実行するにはホッジ理論は割と本質的な機能を果たすよ
それが本当にわからないなら微分形式の理論やテータの数論から見直すと良いのではないか
0716１３２人目の素数さん
垢版 |
2018/08/11(土) 22:31:22.93ID:T8KFIEep
俺は確かに結構いっちょ噛みしてたまに感謝される人間なんだけど
これは理論が非常にガッチリして専門性高すぎて、門外漢が気軽に口出せる話ではない
私的なレベルなら話は別だが、ここで知ったかして煽られるほうが楽だわ
0718１３２人目の素数さん
垢版 |
2018/08/11(土) 23:55:44.46ID:mbjvbyYN
楕円曲線のHodge-Arakelov理論に関してはGuido Kingsら岩澤理論の研究者などから注目されていたらしいな
0719１３２人目の素数さん
垢版 |
2018/08/11(土) 23:56:05.60ID:9ZJru/UU
そんなに冥界な理論ならワイルズやファルティングスやショルツも理解できるよね
0720１３２人目の素数さん
垢版 |
2018/08/12(日) 00:06:26.11ID:8bdMmE1q
＞エフェクティブモーデル予想, abc 予想などのディオファントス幾何の重要未解決問題は, スピロ予想を通じて,
＞楕円曲線のモジュライ空間の代数体の整数環上のセクションの研究と解釈でき, すなわち, 代数体の整数環上の（一般化された）楕円曲線の研究と解釈できます.
＞この解釈により, このような大域的対象に対する望ましいホッジ理論があれば, ディオファントス幾何へのアプローチができることが期待できるため,
＞望月さんは, そのような理論の構築を目指し, 代数体上の楕円曲線の内在的ホッジ理論である,ホッジ・アラケロフ理論を完成させました.
＞より具体的に言うと, 楕円曲線の p 進ホッジ理論では, 楕円曲線の p 進テイト加群が中心的対象でしたが, これを有限個の等分点だけ考えることにより離散化し,
＞等分点集合（位相幾何的ないしエタール的な対象）に, 楕円曲線の普遍拡大上の関数（ドラーム的な対象）を制限することにより, ある種の大域的な比較同型をダイナミックに構成・証明しました.
＞また, これに伴い, 数論的小平・スペンサー写像という斬新な対象も発見されました.
＞ディオファントス幾何への応用を見据えた望月さんのこの大理論の完成は, 内外にインパクトを与え, また, 純粋に楕円曲線のホッジ・アラケロフ理論自体も, G. Kings ら岩澤理論の研究者などから注目されています.
http://mathsoc.jp/publication/tushin/1001/tamagawa2.pdf

要するにこういうこと
0722１３２人目の素数さん
垢版 |
2018/08/12(日) 01:57:37.02ID:PAPmVBAt
俺は確かに結構いっちょ噛みしてたまに感謝される人間なんだけど
俺は確かに結構いっちょ噛みしてたまに感謝される人間なんだけど
俺は確かに結構いっちょ噛みしてたまに感謝される人間なんだけど

名言いただきましたwww 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
0723１３２人目の素数さん
垢版 |
2018/08/12(日) 03:21:40.05ID:UAaJsshE
>>716
キチガイの意味不明なコメよりかは見てて楽しめるので
延々と知ったか垂れ流し続けてくれていいんやで
0724１３２人目の素数さん
垢版 |
2018/08/12(日) 04:38:45.25ID:149jqPNk
なに言ってるんやで？
0726１３２人目の素数さん
垢版 |
2018/08/12(日) 09:24:41.28ID:klLGte1K
>>723
キチガイの意味不明なコメ
↓
>>534
0727１３２人目の素数さん
垢版 |
2018/08/12(日) 11:44:04.84ID:iwseJXh8
恣意的な仮定は理論が破滅する。

大物理学者 ローレンツの電子論は、
ニュートン力学の恣意的な仮定の絶対時間
絶対空間と真空中の幽霊物質である光媒質
のエーテル、に基づく。
結果、ローレンツ変換は数学的補助 虚構
で時間も数学的補助に過ぎない。
光媒質エーテルに対するローレンツ収縮は
複屈折などの実験で否定された。
( ローレンツの電子論へ更に恣意的な仮定
を加えれば 理論は生き延びるが、
その場しのぎだろう)。
ポアンカレの相対論は群と相対性原理によるが、光媒質エーテルに基づき単位の考察が
ない。
0728１３２人目の素数さん
垢版 |
2018/08/12(日) 11:46:20.06ID:iwseJXh8
>>727
続き

平衡系 熱力学は日常的な体験 実験に基づく
第1法則と第2法則から展開する。
アインシュタインは ローレンツ電子論を
批判し、特殊相対論は 絶対時間 絶対空間を
考察し熱力学の理論形式を手本に
光速度一定の原理と特殊相対性原理と同時性.時計合わせの測定考察からシンプルに
展開した。
結果、
ローレンツ変換の時間も実在し
光媒質のエーテルは不用になった。
実験も支持し 今では 特殊相対論は
自然科学業界の基礎になっている。

ローレンツの電子論も特殊相対論も
ローレンツ変換とローレンツ収縮の数式は
同じだが 奇妙な結果のローレンツ電子論は
忘れ去られた。
0729１３２人目の素数さん
垢版 |
2018/08/12(日) 11:50:18.38ID:iwseJXh8
>>728
続き

数学理論では シンプルで厳密な論理展開が
求められるはず。
IUTは 複雑な構成や多多の定義からの展開で
思い込み、恣意的な仮定からの展開、
論理の飛躍を含んでいないだろうか？
ショルツの「定義から自明」、の疑問
指摘 がある。
ま、ショルツらを罵倒している輩は
マトモと思えない

abc予想 スピロ予想自体は確定している。
IUTと別に 明晰な証明反例が望まれますね〜
0730１３２人目の素数さん
垢版 |
2018/08/12(日) 12:38:46.56ID:ed8WQvxD
>>729
> 数学理論では シンプルで厳密な論理展開が
> 求められるはず。


物理や数学を問わず、先駆的仕事は途方もなくゴタゴタしているもの。
0731１３２人目の素数さん
垢版 |
2018/08/12(日) 14:57:24.63ID:M2beytGU
どこぞやのサーベイとやらで〃ほとんど全ての場合において〃とかで誤魔化してなかったっけ
0732１３２人目の素数さん
垢版 |
2018/08/12(日) 16:25:42.15ID:x6BXxD+M
>>729
有限個を前提とした論理構成、あるいは論文から導かれる結論が有限個なら信憑性が
0733１３２人目の素数さん
垢版 |
2018/08/12(日) 16:34:00.78ID:qVq8krn6
先駆的な証明だからゴタゴタしているのは仕方がないとして
ある程度の時代を経れば簡略化されて、それほど深い専門家でなくても
趣旨を理解できるようになるのか。

もうそろそろＦＬＴのフェルマーオリジナルの証明を発見してほしいな。
おそらく、ワイルズのに比べて相当にシンプルなものだったのだろうし。
0735１３２人目の素数さん
垢版 |
2018/08/12(日) 16:59:44.52ID:hqT301lP
>>723
むしろ極力喋らないようにしててこれだからな
結局ここにはIUTTが理論としては可能かどうか一言言いたい人はいないのか
>>729
別証明というか、モデル理論の人間にもかなり期待がかかるトピックなんだけどな
言っちゃ悪いけどモデル理論なんて大半が遊びに近いんだからこっちに取り組んだらいいのに
0736１３２人目の素数さん
垢版 |
2018/08/12(日) 17:00:40.76ID:Dslozx3J
素数定理の初等的証明持ち出すならともかく
フェルマーのオリジナルな証明って・・・
0737１３２人目の素数さん
垢版 |
2018/08/12(日) 17:01:51.76ID:hqT301lP
>>734
句点の人か。同じなのかこれ
0739１３２人目の素数さん
垢版 |
2018/08/12(日) 18:36:39.25ID:5fjvwy+g
今日のキチガイID > ID:iwseJXh8

処置なしだな、こいつ。
0742１３２人目の素数さん
垢版 |
2018/08/12(日) 20:52:32.09ID:QuPwMlRp
>>737
句点もそうだけど文字間に不要な空白を入れていたり文体がぎこちなかったり
>>721や>>732みたいな意味不明なことを言っていたり
>>741みたいな中学生レベルの煽りをしていたり
ここまで総じて日本語が不自由な人はなかなかいないよ
0743１３２人目の素数さん
垢版 |
2018/08/12(日) 21:23:17.14ID:DsUDdjcx
死人に口なし
0744１３２人目の素数さん
垢版 |
2018/08/12(日) 22:16:07.88ID:nbXA9/Kv
>>742 言語明瞭意味不明瞭。ブンゲンの解説みたいになってるぞ。
0746１３２人目の素数さん
垢版 |
2018/08/12(日) 22:30:06.19ID:nbXA9/Kv
自己擁護乙。
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況