[過去ログ]
Inter-universal geometry と ABC予想 50 (1002レス)
Inter-universal geometry と ABC予想 50 http://rio2016.5ch.net/test/read.cgi/math/1586907848/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
120: 132人目の素数さん [] 2020/04/16(木) 12:05:52 ID:q4igpWmJ wが言ってます。 2020年4月15日 8:41 PM デービッド・ロバーツ 確かに、「用語」の方がいいですね。英語や日本語は特に関係ないと思いますし、 一般的な慣用句は明らかに関係していますが、本題には付随的にしか関係していません。 数学者Aは誤りのリスクを減らすためにこの用語を使っていると主張している」というのは、 望月さんの回答の中にある、このような文章のことを指しています。 > ラベルを省略すると、「Af」の単一要素1(A)のどのコピーを「Af」の単一要素と見なすかで混乱が生じます。 このような混乱は、もちろん、単一性を持つ可換環の局在化理論の「内部矛盾」と 解釈されるかもしれません。 しかし、実際には、このような限局化の理論には「内部矛盾」は存在しない。 > 数学的な議論では、「覚えている」という宣言に頼っています。 望月のような数学的な構造は、使用されているラベリング装置の正確で明示的な文書化を伴わない場合、 異なる人々が異なるラベリング装置を「記憶」してしまい、その結果、構造的に等価ではない数学的な構造になってしまう危険性があります。 私はそれらを解釈する別の方法を考えることができます(望月はここで彼の用語の選択の一部を正当化しているだけであり、 この正当化は他の用語の選択に依存しており、あなたがそれらの選択を受け入れれば有効であるということです)。 www.DeepL.com/Translator(無料版)で翻訳しました。 ショルツ以外の人たちの中にも、UF氏以外に特に擁護派はみられないような http://rio2016.5ch.net/test/read.cgi/math/1586907848/120
121: 132人目の素数さん [] 2020/04/16(木) 12:06:08 ID:Lcv7qKz0 >>115 まだ特別号で編集委員名と投稿規定と 編集規定は示せませんか 実は不在ですか? 前スレ 0255 132人目の素数さん 2020/04/12 18:12:20 >>220 RIMSのHPによれば、 学術刊行物にPRIMSがあります。 PRIMSの編集者はRIMSの教授 と思います。 規定はよろしくお願いします Editorial board 12人 S. Mochizuki (Editor-in-Chief) T. Arakawa M. Hasegawa T. Kumagai K. Makino T. Mochizuki K. Nakanishi Y. Namikawa T. Ohtsuki K. Ono N. Ozawa A. Tamagawa (柏原先生はいません) >学術刊行物 専任研究員の研究成果をはじめとして、数理解析に関連する重要な結果を欧文で公表する専門誌として、「Publications of RIMS 」を1965年以来1巻ずつ刊行している ↓ 0259 132人目の素数さん 2020/04/12 18:20:49 >>255 特別号の編集委員の話だが ↓ 0268 132人目の素数さん 2020/04/12 18:49:34 >>259 では 特別号で編集委員名と投稿規定と 編集規定をお願いします ↓ 0269 132人目の素数さん 2020/04/12 18:52:35 >>268 はいよーちょっと待ってネ http://rio2016.5ch.net/test/read.cgi/math/1586907848/121
122: 132人目の素数さん [] 2020/04/16(木) 12:08:28 ID:q4igpWmJ 「私たちは「ライオンが話せたら」の領域にいることになります。 これは全く数学ではありません。」 なんか結局こういうことっぽい気がするな http://rio2016.5ch.net/test/read.cgi/math/1586907848/122
123: 132人目の素数さん [] 2020/04/16(木) 12:13:20 ID:Vo6mLORJ >>122 >「ライオンが話せたら」 しかし、ライオンは話せない 故に 望月 御臨終 御愁傷様でした http://rio2016.5ch.net/test/read.cgi/math/1586907848/123
124: 132人目の素数さん [] 2020/04/16(木) 12:20:06 ID:6khqWanl >>123 どっちがライオンかでしょ。 ライオンは新しい言語を生み出せない。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/124
125: 132人目の素数さん [] 2020/04/16(木) 12:22:47 ID:OjGN+Ds9 ID:Vo6mLORJ <---御臨終芸人 http://rio2016.5ch.net/test/read.cgi/math/1586907848/125
126: 132人目の素数さん [] 2020/04/16(木) 12:24:57 ID:Vo6mLORJ >>124 ライオンの咆哮を言語だと思い込んだ IUT教団の方々 御愁傷様です http://rio2016.5ch.net/test/read.cgi/math/1586907848/126
127: 132人目の素数さん [] 2020/04/16(木) 12:27:13 ID:Vo6mLORJ >>113 >"non-necessity"はScholzeの勝手な主張 IUTは望月の勝手な主張 御愁傷様でした http://rio2016.5ch.net/test/read.cgi/math/1586907848/127
128: 132人目の素数さん [] 2020/04/16(木) 12:27:50 ID:OjGN+Ds9 ID:Vo6mLORJ <---ご愁傷様芸人 http://rio2016.5ch.net/test/read.cgi/math/1586907848/128
129: 132人目の素数さん [sage] 2020/04/16(木) 12:40:58 ID:/pqYz39+ やっぱり、Scholze優勢だな。 しかし、数学は多数決ではない。 餅も頑張れば逆転可能。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/129
130: 132人目の素数さん [] 2020/04/16(木) 12:47:25 ID:0OVlLIDM >I was refering to the current version on his webpage. >I realize that this is dangerous, but it’s the only thing that at least currently makes it possible for everyone to follow. これ 理論の真偽はともかく、PRIMSはさっさと掲載して論文の最終版を確定させるべき 査読を通過させた責任を取れ http://rio2016.5ch.net/test/read.cgi/math/1586907848/130
131: 132人目の素数さん [sage] 2020/04/16(木) 12:58:33 ID:13vgY+fR >>122 ペレルマンにも同じこと言ってそう http://rio2016.5ch.net/test/read.cgi/math/1586907848/131
132: 132人目の素数さん [] 2020/04/16(木) 13:08:06 ID:OjGN+Ds9 >>122 そのときでてきたのはYau(フィールズ賞)だった ペレルマンの議論が不明瞭とかいって中国人に論文書かせて横取りしようとした ペレルマンは中国人の著者はわかってないねとコメントしたとか 一部始終はManifold desitinyに面白おかしく書いてある 今回はScholze(やはりフィールズ賞w) 今回は設定すらかえて代えて相手の話を聞かないから http://rio2016.5ch.net/test/read.cgi/math/1586907848/132
133: 132人目の素数さん [] 2020/04/16(木) 13:09:51 ID:Vo6mLORJ ショルツ曰く 「(1)Xからπ1(X)への移行の不必要性 (2)π1(X)を無限に多くの異なるコピーへ置き換えることの不必要性 (3)順序付けられた1次元の実ベクトル空間のさまざまなコピーの識別の不整合性 (1)と(2)については有効な反論は見当たらないし、 (2)だけでは矛盾してしまう(ABCの形が強くなりすぎてしまう)。 (3)については、テイラーはダイヤグラムをどこで切るかを指摘していますが、 私はこれが本当に起こるとは思えません。 ここでは、(1)または(2)に対する正当な異議が述べられた場合、 または(3)についてさらに明確にされた場合にのみ、 さらにコメントすることにします。」 望月は「有効な」反論が全くできていない これが京都以外の世界「全体」の「共通」認識 http://rio2016.5ch.net/test/read.cgi/math/1586907848/133
134: 132人目の素数さん [sage] 2020/04/16(木) 13:12:31 ID:iTeXqtbD ペレルマンは slightly modifying なんて一度もしなかったんじゃないのか http://rio2016.5ch.net/test/read.cgi/math/1586907848/134
135: 132人目の素数さん [] 2020/04/16(木) 13:14:11 ID:Vo6mLORJ >>132 ハミルトンの理論を用いたペレルマンと 他人には了解不能な「自己流」理論を用いた望月を 全く同一だと思う人がいることに驚かされる http://rio2016.5ch.net/test/read.cgi/math/1586907848/135
136: 132人目の素数さん [] 2020/04/16(木) 13:15:19 ID:6khqWanl >>132 フィールズ賞の権威落ちそうだな。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/136
137: 132人目の素数さん [] 2020/04/16(木) 13:16:01 ID:OjGN+Ds9 >> ID:Vo6mLORJ じゃああんた貼り付けてばかりいないで (1)について p進体のガロア群やその値群などモノイドへの作用 これの移行不必要・必要性の理由説明したら? http://rio2016.5ch.net/test/read.cgi/math/1586907848/137
138: 132人目の素数さん [] 2020/04/16(木) 13:19:09 ID:Vo6mLORJ >>137 自分が何を書いているかも全く分かってないIUT教団の信徒の方 御愁傷様です http://rio2016.5ch.net/test/read.cgi/math/1586907848/138
139: 132人目の素数さん [] 2020/04/16(木) 13:21:50 ID:Vo6mLORJ π1(X) が何かも全く知らないのでしょう 御愁傷様です http://rio2016.5ch.net/test/read.cgi/math/1586907848/139
140: 132人目の素数さん [] 2020/04/16(木) 13:30:38 ID:Lcv7qKz0 京都賞とチャーン賞の権威が落ちたんだよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/140
141: 132人目の素数さん [sage] 2020/04/16(木) 13:32:12 ID:HUbAmT/Q >>119 あんまり巣から出るつもりはないが(^^; (>>128より)”ID:Vo6mLORJ <---ご愁傷様芸人”=おサルが書くと がっくり このスレのレベルが下がるんだよね〜w さて、具体的には下記 >望月は有効な反論ができなかった 1)望月氏自身は、Woitブログに書き込んでないと思われること、よって”望月は”は事実に反する。IUT一派が書いたのは事実だが (なお、Woitブログでのショルツ氏の主張は、京都での主張の範囲内とすれば、望月氏はそれには反論済み。(形式的にはね)) 2)”有効な反論ができなかった”ではなく、お互いが相手を説得できなかったが、正しい 3)FSさん、追加コメント下記(因みに、FSさんはIUTの一派と見ました(^^ ) ”in the definition of the log-link is entirely parallel to Mochizukis reasoning in [IUT II, 1.11.2(ii)] for not including any specific identifications of the π1's in the definition of the theta-link.” ってことで、「ショルツ氏の”any specific identifications of the π1's”は、[IUT II, 1.11.2(ii)]の外の話ですよ〜」だってよ(^^; (参考) https://www.math.columbia.edu/~woit/wordpress/?p=11709#comments Not Even Wrong Latest on abc Posted on April 3, 2020 by woit (抜粋) UF says: April 15, 2020 at 9:11 pm @Peter Scholze: Thank you for your comments. Just to restate my view, in case I was unclear: I believe that the reasoning above for not including any specific identifications of the π1's (i.e. just full poly-isomorphisms) in the definition of the log-link is entirely parallel to Mochizukis reasoning in [IUT II, 1.11.2(ii)] for not including any specific identifications of the π1's in the definition of the theta-link. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1586907848/141
142: 132人目の素数さん [] 2020/04/16(木) 13:38:12 ID:Vo6mLORJ >>141 御隠居さん、正規部分群の定義は理解できたかい? >(ショルツの主張が)京都での主張の範囲内とすれば、望月氏は反論済み。 それが無効 >”有効な反論ができなかった”ではなく いや、有効な反論できなかった これが事実 まあ、群論の初歩も覚束ない御隠居さんには到底理解不能だろうが >FSさん UFね たった二文字のアルファベットも正しく記憶できないようでは 数学書を読んで理解するのはまず不可能でしょう 御愁傷様です http://rio2016.5ch.net/test/read.cgi/math/1586907848/142
143: 132人目の素数さん [] 2020/04/16(木) 13:42:32 ID:Vo6mLORJ 御隠居さんは、ファン・デル・ヴェルデンの「現代代数学1」を読んで 全部理解してから数学板に書きこんだほうがいい ちなみに、あの時枝正 氏が校訂している http://rio2016.5ch.net/test/read.cgi/math/1586907848/143
144: 132人目の素数さん [] 2020/04/16(木) 13:43:33 ID:nTaMMbRH またベビーメタル好きのキムチが荒らしてるのか http://rio2016.5ch.net/test/read.cgi/math/1586907848/144
145: 132人目の素数さん [] 2020/04/16(木) 13:51:44 ID:6cgHi0aG 時枝正さんってスタンフォード大学教授だそうですが、そんなすごい人なんですか? http://rio2016.5ch.net/test/read.cgi/math/1586907848/145
146: 132人目の素数さん [] 2020/04/16(木) 13:55:30 ID:0Rmhdiv4 ID:Vo6mLORJがπ1(X)をわからないのでは? π2(X) π3(X)でも説明できるけど Artin-Mazurよんだことある? あれあれ大学院入試で御臨終様?それとも公募で御臨終様? http://rio2016.5ch.net/test/read.cgi/math/1586907848/146
147: 132人目の素数さん [] 2020/04/16(木) 13:56:57 ID:Vo6mLORJ >>144 北朝鮮からキムチ樽に漬かってやってきた脱北者の方 御苦労様です http://rio2016.5ch.net/test/read.cgi/math/1586907848/147
148: 132人目の素数さん [] 2020/04/16(木) 14:02:10 ID:Vo6mLORJ >>146 自分が読んだこともないものをあげるIUT教団の信徒の方 大学不合格 御愁傷様です http://rio2016.5ch.net/test/read.cgi/math/1586907848/148
149: 132人目の素数さん [] 2020/04/16(木) 14:04:08 ID:0Rmhdiv4 しかし ファン・デル・ヴェルデンを本としてあげるのは年代がでてる いまなら雪江本あたりあげそうだけどやれやれw http://rio2016.5ch.net/test/read.cgi/math/1586907848/149
150: 132人目の素数さん [] 2020/04/16(木) 14:05:48 ID:Vo6mLORJ >>149 御隠居は昭和時代の本しか御存知ないですから で、君はチャート式で勉強してる?また大学落ちるよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/150
151: 132人目の素数さん [] 2020/04/16(木) 14:06:31 ID:0Rmhdiv4 結局なにも答えられないご愁傷様ID:Vo6mLORJ (推定おじさんw) http://rio2016.5ch.net/test/read.cgi/math/1586907848/151
152: 132人目の素数さん [] 2020/04/16(木) 14:07:13 ID:Vo6mLORJ >>151 浪人中の君には、大学数学は目の毒だからね http://rio2016.5ch.net/test/read.cgi/math/1586907848/152
153: 132人目の素数さん [] 2020/04/16(木) 14:09:29 ID:Vo6mLORJ 浪人君 自分が数学者になった夢は 大学に入ってからみようね ショルツを倒す?一万年早いね http://rio2016.5ch.net/test/read.cgi/math/1586907848/153
154: 132人目の素数さん [] 2020/04/16(木) 14:09:44 ID:0Rmhdiv4 会議オンラインでやらなきゃならないご隠居ですw http://rio2016.5ch.net/test/read.cgi/math/1586907848/154
155: 132人目の素数さん [] 2020/04/16(木) 14:14:34 ID:0Rmhdiv4 ID:Vo6mLORJ御臨終さんよ π1(X)わかった? 基点がないって? http://rio2016.5ch.net/test/read.cgi/math/1586907848/155
156: 132人目の素数さん [] 2020/04/16(木) 14:14:57 ID:EvafELA1 >>77 はいw http://rio2016.5ch.net/test/read.cgi/math/1586907848/156
157: 132人目の素数さん [sage] 2020/04/16(木) 14:15:49 ID:13vgY+fR ベビメタ好きのいい年したおっさんて、こういうコミュ力のないキチガイが多いんだよな 自分が全部正しいとか思っていて、反政府反権力がカッコいとか思っている 関わらないほうが吉だよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/157
158: 132人目の素数さん [] 2020/04/16(木) 14:26:23 ID:0Rmhdiv4 >>御臨終 数体の局所化からえられる局所体のガロア群は 古典的なタイヒミュラー理論の何に対応する? チャートの例題にのってて分からないんだ 簡単だよね? http://rio2016.5ch.net/test/read.cgi/math/1586907848/158
159: 132人目の素数さん [sage] 2020/04/16(木) 14:44:35 ID:HUbAmT/Q >>142 >>FSさん >UFね ご指摘ありがとう 巣の方も直しておくわ(^^; http://rio2016.5ch.net/test/read.cgi/math/1586907848/159
160: 132人目の素数さん [] 2020/04/16(木) 15:09:01 ID:bZJm30cd 虚数を定義して複素数を使って実数公理系の定理を証明していいんですか? IUTを定義して我々の居る宇宙の定理を証明してはいけないのですか? 複素数では許されることがIUTでは許されないとしたらどこに決定的な違いがあるんでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1586907848/160
161: 132人目の素数さん [sage] 2020/04/16(木) 15:18:27 ID:EHkK7dWi どうでもいいけど上で出てる「ライオンが話せたら」というのはウィトゲンシュタイン『探求』を念頭に置いてると思う http://rio2016.5ch.net/test/read.cgi/math/1586907848/161
162: 132人目の素数さん [sage] 2020/04/16(木) 15:24:46 ID:Vy3U9nRb >>160 >虚数を定義して複素数を使って実数公理系の定理を証明していいんですか? 体の言語において、実数は複素数から解釈可能ではない つまり、複素数体Cにおいて実数体Rのコピーを定義することさえできないので、実数の定理を証明することもできないはず http://rio2016.5ch.net/test/read.cgi/math/1586907848/162
163: 132人目の素数さん [sage] 2020/04/16(木) 15:33:53 ID:iTeXqtbD Wenn ein Löwe sprechen könnte, wir könnten ihn nicht verstehen. http://rio2016.5ch.net/test/read.cgi/math/1586907848/163
164: 132人目の素数さん [] 2020/04/16(木) 16:07:12 ID:Vo6mLORJ >>158 聞きかじりの言葉をわけもわからず呟くのはよくないな 坊や >チャートの例題にのってて分からないんだ ウソはいけないな 坊や http://rio2016.5ch.net/test/read.cgi/math/1586907848/164
165: 132人目の素数さん [] 2020/04/16(木) 16:19:26 ID:Vo6mLORJ >反政府反権力がカッコいいとか思っている そんな君の好きな歌 https://www.youtube.com/watch?v=tWhPl6RPeHc 御愁傷様 http://rio2016.5ch.net/test/read.cgi/math/1586907848/165
166: 132人目の素数さん [sage] 2020/04/16(木) 16:40:29 ID:g9l0g72J >>164 そいつがきっとUFなんじゃねw http://rio2016.5ch.net/test/read.cgi/math/1586907848/166
167: 132人目の素数さん [] 2020/04/16(木) 16:40:36 ID:Vo6mLORJ https://rio2016.5ch.net/test/read.cgi/math/1577518389/208 >あまりにもひどかった たしかに・・・群論の初歩も知らん男が粋がって あちこちから拾ってきたゴミをコピペしていた あのガロアスレッド あれは数学板の地獄だった >バランスを取るために、(応援スレ)って命名にした 次からは「俺様応援スレ」にしたほうがいい 何を応援したいのか明確になる >まっとうな数学スレ >せめて、大学の学部レベルの数学の議論が進むなら そしたら御隠居の出番は全くなくなるな せっかくの機会だ、「自宅勤務」の間に数学書を読んだら? どうせ買ってから一度も開いてないんだろう? 正規部分群の定義を間違えたとき、全てを悟ったよ 御隠居は数学が好きなんじゃない 数学が好きだといってる自分が好きなんだ、と 漫然と検索した結果をコピペして貼り付けるのは 勉強が嫌いだけど、勉強しているようにみせたいから どこかの国の首相と同じ 宿題やったかと聞かれると、やってないのにやったという なぜそんな人が首相になれたのか? 国民に人を見る目がなかったんだろうな http://rio2016.5ch.net/test/read.cgi/math/1586907848/167
168: 132人目の素数さん [] 2020/04/16(木) 16:45:07 ID:Vo6mLORJ >>166 その言葉の真偽は分からないが、 UFはきっと以下の言葉の頭文字だろう universal falsifier http://rio2016.5ch.net/test/read.cgi/math/1586907848/168
169: 132人目の素数さん [] 2020/04/16(木) 16:46:33 ID:q4igpWmJ 証明は、疑問視する数学者が一人でもいる限り、正しくないと異議を挟む人が いる限り正しいと認められないでしょう だから、まだIUTは認められないでしょう(たぶん永久に) 「ライオンが話す」とかいわれてるんだから http://rio2016.5ch.net/test/read.cgi/math/1586907848/169
170: 132人目の素数さん [] 2020/04/16(木) 17:14:03 ID:Vo6mLORJ 御隠居が数学板から消えたら 消えるとしよう HNを止めて、コピペを止める、でもいい でも絶対できないだろうね コピペで粋がるのが、御隠居の唯一の趣味でありストレス解消だからね 要するに 御隠居は正真正銘のサイコパスで荒らしなんだよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/170
171: 132人目の素数さん [] 2020/04/16(木) 17:14:19 ID:bZJm30cd >>162 ご回答ありがとうございます。 私が疑問に思っていることは、複素数z=x+iyのxとyは実数公理系を満たしますので、 かりに複素数zに関するある定理p(z)から、実数に関する定理q(x,y)が演繹された場合、 複素数の公理系⇒p⇒q という具合に、実数の公理系qが三段論法で複素数の公理系の 必要条件になっていた場合、qの正しさは証明されたことになるのでしょうか? すいません数学は素人です。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/171
172: 132人目の素数さん [] 2020/04/16(木) 17:22:34 ID:Vo6mLORJ >>171 最強の公理系は矛盾した公理系だって知ってるかな? つまり矛盾した公理系からは任意の命題が定理として証明される 公理を強めて定理を証明する、というのは危険が多い http://rio2016.5ch.net/test/read.cgi/math/1586907848/172
173: BLACKX ◆SvoRwjQrNc [sage] 2020/04/16(木) 17:30:28 ID:O7xpalP6 >>171 この擁護厨は素人やぞ p→qが証明出来てもq→pは証明出来ない。なぜならq→pは指数関数でラグランジュの定理で容易に指数関数として解けるから http://rio2016.5ch.net/test/read.cgi/math/1586907848/173
174: 132人目の素数さん [] 2020/04/16(木) 17:37:43 ID:bZJm30cd >>172 >公理を強めて定理を証明する、というのは危険が多い 実数xは、複素数z=x+iyのy=0になるときの特殊な複素数とみれば、複素数全体は 実数全体を包含すると思うのですが、もし複素数の公理系が実数の公理系を「強めた」 公理系と考えられるのでしょうか? 数学は素人なのですが、複素数は数学者に認められてますよね。 複素数は「危険」ではない公理系なのでしょうか? 任意の命題を証明する公理系は、応用の観点から考えると、自然法則やアルゴリズムの多く あるいはほとんどすべて?をモデル化するのに使えないはずなので、仮にあったとしても、 応用屋のわたしには興味が無いし使いたいと思いません。 IUT理論は、「危険」な公理系なのでしょうか?言い換えると、未来の応用屋が使ってみた ところで未来の自然法則やアルゴリズムの記述をする上で役に立ちうる理論なのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1586907848/174
175: 132人目の素数さん [] 2020/04/16(木) 17:41:29 ID:bZJm30cd >>173 コメントありがとうございます。 p⇒qが証明できれば、pが真ならばqも自動的に真になる関係を解明する操作ですよね? qがpの必要条件であることをしめせれば、qとpが同値であることまで示す必要は あるのでしょうか? 高校レベルの知識だけで考えています。素人ですいません。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/175
176: 132人目の素数さん [] 2020/04/16(木) 17:41:50 ID:Vo6mLORJ >>174 実数と複素数の喩えは不適切なので無視した あなたも一切忘れなさい http://rio2016.5ch.net/test/read.cgi/math/1586907848/176
177: 132人目の素数さん [] 2020/04/16(木) 17:42:49 ID:q4igpWmJ >>171 たぶん共役の世界をつくって足し合わせれば 瞬間的に実数になるけど、そもそも共役をつくる 直前に実数の鏡を定義しなくてはいけないので 結局ダメということでは? http://rio2016.5ch.net/test/read.cgi/math/1586907848/177
178: 132人目の素数さん [] 2020/04/16(木) 17:44:07 ID:Vo6mLORJ >>174 >任意の命題を証明する公理系は・・・ ・・・命題Pと命題¬Pの両方を証明する この瞬間、役に立たないことがわかる http://rio2016.5ch.net/test/read.cgi/math/1586907848/178
179: 132人目の素数さん [] 2020/04/16(木) 17:54:31 ID:bZJm30cd 私の経験では数学の応用は2種類で、自然法則の模擬とアルゴリズムの記述 という理解なのですが(上記以外の応用を私が見たことないので) 仮に、数学の用途を乱暴にも、自然法則かアルゴリズムの記述と考えると、 これらのいずれにも利用不可能な数学は用途がない数学ということになるのでは ないでしょうか? 用途がない数学や危険な数学とは「可能な数学公理系」であっても、何か特別な 区別が必要だと想像します。工学部の関数論でも習う複素数公理系は実際に工学の 応用でも利用されているので用途がある危険な数学ではないということになるので しょうか? 用途のある数学と用途がない数学(≒危険な数学?)を明確に仕分けする尺度は あるのでしょうか? IUTは用途がある数学の側に属していると証明できるのでしょうか? 素人すぎてすみません。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/179
180: BLACKX ◆SvoRwjQrNc [sage] 2020/04/16(木) 17:54:40 ID:O7xpalP6 >>177 あぁそうだ。俺の変わりにありがとう http://rio2016.5ch.net/test/read.cgi/math/1586907848/180
181: 132人目の素数さん [] 2020/04/16(木) 18:03:35 ID:Vo6mLORJ >>179 「p進数は役に立たない!」というのは勝手だけど そう思う人はこのスレッドに来ないほうがいいと思う http://rio2016.5ch.net/test/read.cgi/math/1586907848/181
182: 132人目の素数さん [sage] 2020/04/16(木) 18:04:15 ID:5dEhIZCF >>158 PSL_2(R) ※あなたがここで懐疑や否定的な人たちに対してすべきことはそんなことではないでしょう? 他のIUTスレでもこういう程度の質問がありましたが、これは望月氏の和文の講演等にすべて書かれているレベルのことです。 IUTが正しいことを支持し擁護したいなら、下記の用語を絡めて納得できるような説明を試みるべきではないでしょうか? ・IUTにおける単遠アーベル的復元によって生じるTeichmuller dilation ・基点を持たない古典的な位相空間とslim Anabelioid、slim categories ・j^2を組み込むことについての納得できるような説明 私がIUT成立派だったらDupuyやUF氏みたいにショルツが分かり切ってウンザリするような反論をぶつけるより、 望月氏本人が書いていた”general nonsense techniques”から説明を始めますけどね。 遠回りになりますがこのnonsenseが如何にして役立つかを説明する必要がある。 急がば回れ、ということです。 勇気をもって、誤解を恐れず、IUTについて解説してみてください。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/182
183: 132人目の素数さん [] 2020/04/16(木) 18:04:40 ID:ApRVp5sy ニュース読んで来た素人ですけど 結局証明されたんですか?されてないんですか? 掲載されてからが本番ですか? http://rio2016.5ch.net/test/read.cgi/math/1586907848/183
184: 132人目の素数さん [] 2020/04/16(木) 18:06:08 ID:ApRVp5sy 査読してる人が全員日本人なのはどうしてですか? 読み解ける人が10数人しかいないという内の殆どが日本人という事ですか? http://rio2016.5ch.net/test/read.cgi/math/1586907848/184
185: 132人目の素数さん [] 2020/04/16(木) 18:12:48 ID:6cgHi0aG 望月さんの形勢はいまどんな状況ですか? 発表のときを望月とすると今は半月くらいですか? http://rio2016.5ch.net/test/read.cgi/math/1586907848/185
186: 132人目の素数さん [] 2020/04/16(木) 18:14:35 ID:q4igpWmJ >>179 工学の用途のあるなし、とか全く関係なし http://rio2016.5ch.net/test/read.cgi/math/1586907848/186
187: 132人目の素数さん [] 2020/04/16(木) 18:19:58 ID:bZJm30cd >>181 p 進量子力学として自然法則の模擬に使われているのなら役に立っていると思います。 新しい数学がずっと先の未来になってはじめてつかわれる場合でも役に立つ数学の方に 属すると思います。 つまり、新しい公理系でもトートロジーにならないようにだけ注意が払われていれば、 役に立つ数学の方に属するという理解でよろしいのですね。 それならばIUTにトートロジーさえ見つからなければ、奇妙であっても役に立つ数学の 方に属していると期待していいのですね。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/187
188: 132人目の素数さん [] 2020/04/16(木) 18:22:15 ID:bZJm30cd >>186 工学には限定してません。理論物理学や経済学や会計学やポーカーゲームなど全部ひっくる めて考えてます。 それで、アルゴリズムまたは自然法則の記述とくくってます。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/188
189: 132人目の素数さん [] 2020/04/16(木) 18:36:02 ID:q4igpWmJ それなら逆に用途のない数学はおそらくないでしょうね 未知の物理とかのメカニズムを考えるとき、わからない自然現象を理解しようとするとき 結局人間は数学的に考えていくでしょうから わからないそのメカニズムを理解しようとつきつめて考えていけば、どんな数学であれ 将来に出番がくることもありえるでしょう http://rio2016.5ch.net/test/read.cgi/math/1586907848/189
190: 132人目の素数さん [] 2020/04/16(木) 18:37:34 ID:Yy602haq >>179 「純」数学と数理 物理 工学は 目的が違いそれぞれ体系があります。 例えば物理数学は「汚い」数学で しょうが物理現象を表し厳密な 証明は不要です。 また数学の本を読んでも相対性理論 は理解できません。 物理にヒントを得て数学として 取り組んでいる人もいます 例 公理的場の理論 ナビエストークスの方程式、 IUTはabc予想の証明がしたくて 今に至っていますから、 数論の話に限るとおもっています。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/190
191: 132人目の素数さん [] 2020/04/16(木) 18:41:16 ID:Vo6mLORJ >>182 >PSL_2(R) ほほう ところでIUTには"離散群"にあたるものは出てくるのかね? http://rio2016.5ch.net/test/read.cgi/math/1586907848/191
192: 132人目の素数さん [] 2020/04/16(木) 18:44:12 ID:crvGkVLQ >>183 証明は成立しています ただし、海外で懐疑的な人が多いのも事実 数学オセロで、黒の人を白に変えていくのはこれからです(^_^) http://rio2016.5ch.net/test/read.cgi/math/1586907848/192
193: 132人目の素数さん [] 2020/04/16(木) 18:44:19 ID:bZJm30cd >>178 のおっしゃる爆発則っていうんですか?も仮に「数学」の仲間に入れたとしたら、 その数学は役に立たない数学のグループに属する数学と言えるということをいいたかった んです。 役に立つ数学は、トートロジーを含まない公理系だけなんでしょうか? これも形而上学的で証明できないと思うんですよね。 役立つ数学と役立たない数学の仕分けは、 それなら結局、自然法則かアルゴリズムの記述に役立ち得るかどうかという 経験則で語るしかなくて、具体的にはトートロジーを内部に含まない数学 と役に立つ数学は一致するということを公理にしちゃえばいいのでしょうか? 実際、トートロジーがない数学=正しい数学=役立つ数学 というのは誰も証明できないけどだれもが直感してることなんですよね。 哲学的も数学も素人なのでよくわからないのですが。 ちなみにいま「意中と宇宙をつなぐ数学」読んでる最中です。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/193
194: 132人目の素数さん [] 2020/04/16(木) 18:46:50 ID:Vo6mLORJ もし、IUTが任意のpに関する”p進タイヒミュラー理論”全体を統制する理論 ということならそれはそれで着想としては興味深い http://rio2016.5ch.net/test/read.cgi/math/1586907848/194
195: 193 [] 2020/04/16(木) 18:50:31 ID:bZJm30cd 自分は誤字脱字が多くかつ論理的でないのでもう消えます。 レス下さった皆様本当にありがとうございました。 宇宙と宇宙をつなぐ数学に戻ります。 失礼しました。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/195
196: 132人目の素数さん [] 2020/04/16(木) 18:58:13 ID:Vo6mLORJ >>193 数学の3分類 自明な数学 :トートロジーでない公理がない 意味のある数学:トートロジーでもアンチトートロジーでもない公理がある 無意味な数学 :アンチトートロジーとなる公理がある 意味のある数学は無数にあると考えられる ただしそのすべてが人間にとって興味深いかどうかが疑問がある http://rio2016.5ch.net/test/read.cgi/math/1586907848/196
197: 132人目の素数さん [] 2020/04/16(木) 19:16:25 ID:Vo6mLORJ 自明な数学であることを示すのは可能だ 公理が全てトートロジーだと示せばいい 無意味な数学であることを示すのも可能だ アンチトートロジーとなる公理を示せばいい しかし意味のある数学であることを示すのは本質的に不可能だ 自明でも無意味でもないということだから http://rio2016.5ch.net/test/read.cgi/math/1586907848/197
198: 132人目の素数さん [sage] 2020/04/16(木) 19:24:57 ID:gghpezGA >>144 BABYMETAL好きなキムチなんていない むしろ対抗意識丸出しで荒らしてきたのがキムチだ 韓国の誇るBTSとBLACKPINKを破った唯一のアーティストだからな http://rio2016.5ch.net/test/read.cgi/math/1586907848/198
199: 132人目の素数さん [] 2020/04/16(木) 19:31:21 ID:q4igpWmJ トートロジーのないところに進歩があると思うが 矛盾してはいけないんだ なんでも許される訳ではない http://rio2016.5ch.net/test/read.cgi/math/1586907848/199
200: 132人目の素数さん [sage] 2020/04/16(木) 19:39:11 ID:LgSMpCQv >>198 メイト→¬キムチ キムチ→¬メイト そんな証明は成立しないよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/200
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 802 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s