- 1 名前：１３２人目の素数さん [2022/03/02(水) 19:54:05.87 ID:syaKskfd.net]
- 未だにcontroversialなIU幾何やABC予想に関する会話の
サロンとして使って下さい。
荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です
前スレ
Inter-universal geometry とABC 予想47
https://rio2016.5ch.net/test/read.cgi/math/1635332056
- 237 名前：１３２人目の素数さん [2022/04/07(木) 20:49:27.52 ID:LFhtAE4e.net]
- ところでID消しのコテは死んだんか
自称数学科出身というから会話を試みたら
読んだことのない専門書の名前を挙げては
内容は読んでいないという言い訳ばかりして
空っぽの数学科学士詐称とすぐバレていたのが面白かったのにw
- 238 名前：１３２人目の素数さん [2022/04/07(木) 21:16:32.03 ID:Ulgczdt3.net]
- >>229
とかいうおまえも数学科出てない白痴だろ
- 239 名前：１３２人目の素数さん [2022/04/07(木) 21:45:41.33 ID:LFhtAE4e.net]
- IUTや数学とは直接的関係がないCategorical programming languageの専門書名を20年近く前の匿名掲示板過去ログから拾い集めて、しかも内容を読んでないと即座に言い出す気違いっぷりは常軌を逸脱している
そこは仮に読んでいなくても、Categories for the Working Mathematiciansを買って勉強し始めたくらい言っておけば
ああ30年前に勉強で挫折した学部卒の人なんだなと判断されて、門前の小僧程度の扱いはしてもらえるかもしれないのに
時代遅れの情弱バカにも程があるよな
やっぱ東北某県は時間の流れが30年くらい遅れているんじゃないかと
- 240 名前：１３２人目の素数さん mailto:sage [2022/04/07(木) 22:42:44.23 ID:zQePMGIX.net]
- なんでＩＵＴと全く関係ない人の話ばっかしてんの？
- 241 名前：１３２人目の素数さん [2022/04/07(木) 22:56:21.95 ID:5K+g8DdT.net]
- IUTと関係ない学位研究未完おばさんが暴れているから
梱包のぷちぷち潰しみたくぷちぷちしてるだ〜け〜
- 242 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 04:04:06.81 ID:PSjy1L4X.net]
- オブボーン博士もしらないモグリが人に指図するなんざ10万年早い
- 243 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 07:16:15.74 ID:k+/WkZKV.net]
- >>212 訂正
間違いであることが判明
- 244 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 08:40:28.97 ID:6/zsp/4y.net]
- >>231
…と圏論理解できない北朝鮮人の馬鹿LFhtAE4eが発狂してます
- 245 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 09:18:41.20 ID:7FLjxlQQ.net]
- なぜ北朝鮮人って分かるの？
- 246 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 09:28:06.09 ID:GjmFBEsD.net]
- >>233
暴れてるのは明らかにお前の方だろ。
- 247 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 11:00:17.51 ID:6/zsp/4y.net]
- >>237
もちろん分からんｗ
ネトウヨが一番言われたくない国籍を上げてみただけ
- 248 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 13:01:57.43 ID:GRnQrCSc.net]
- 山形とか滋賀連呼するヤツは不逞鮮人しかいないでしょ
- 249 名前：１３２人目の素数さん [2022/04/08(金) 13:16:59.54 ID:NKkDQbdV.net]
- >>231
20年前の圏論的プログラミング言語
- 250 名前：って何？Haskellじゃなくて？ []
- [ここ壊れてます]
- 251 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 14:26:04.82 ID:zDifpRFh.net]
- >>204
やっぱこのくらいがマトモな判断だろうな理解できないなら近づかなければいいだけで
believer だけで勝手にやっていれば？くらいに落ち着くのが常識的な反応なんだよ
積極的に貶めてやろう！と行動したドイツ野郎は反省するべきである
- 252 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 14:40:14.82 ID:6/zsp/4y.net]
- >>242
Deutschland ueber alles!!!
https://www.nicovideo.jp/watch/sm1119744
- 253 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 15:08:52.94 ID:P3KoR13Q.net]
- 長い論文を読み、森重文さんの招待に応じてわざわざ来日し、ある解釈のもとで成立しないことを示してくれた人が、貶めてやろうと思ってると思われるとか可愛そうだな
- 254 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 17:21:22.29 ID:eHWO9m8Z.net]
- 「ある解釈のもとで成立しない」
それじゃ批判としてダメじゃん
- 255 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 17:33:58.80 ID:9X9CdPpt.net]
- 批判としてどうかは置いといても、解釈できないものを、外堀埋める程度には議論を進めてくれたわけだから、一つの貢献だよね
- 256 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 17:34:14.91 ID:zEflv34Z.net]
- アホか
普通の数学者が「こういう解釈したら成り立たなかった」ならもうそれは論文として通用してない
通常の数学者が普通に読んで“正しい解釈一択”しかあり得ない状態でなければ論文の体をなさない
ショルツは文句なく通常の数学力持つ数学者
- 257 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 18:33:15.17 ID:NKkDQbdV.net]
- というかショルツに苦言を呈する外部の数学者がいない時点で状況は明らか
- 258 名前：１３２人目の素数さん [2022/04/08(金) 19:36:20.43 ID:lebP1PRP.net]
- 両論併記の罠ってやつだね。
実際には受け入れてる奴なんて取り巻きしかいないのに、
あたかも対等なように両論を取り上げる。
NHKはジャーナリスト失格だね。
- 259 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 19:37:49.51 .net]
- 望月新一が「こう解釈すれば成り立つ」
というコメントができなかったから
アウトなわけだが
- 260 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 19:41:36.68 .net]
- ＞「いや絶対に正しい」
でもなぜ正しいのかは示せない
望月新一は正気でないか噓つきかのいずれか
前者なら病院に入院したほうがいい
後者なら・・・死ね
- 261 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 19:47:00.46 .net]
- NHKはリーマン予想でも💩番組作ったから開き直ってんだろ
TVなんかもう終わりだ 焼かれちまえ
- 262 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 21:50:13.06 ID:GjmFBEsD.net]
- >>247
いや数学なら普通に場合分けするだろ。
ある条件付きで証明したって価値があることも多々あるってのに何言ってんだこいつ。
- 263 名前：１３２人目の素数さん [2022/04/08(金) 22:14:08 ID:izV8x806.net]
- 要は相手の反論を絞り込めるからな
実際に望月は反論レポートを出した。内容的には噛み合っていないのだが
- 264 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 22:23:20.50 ID:H6F3SE9h.net]
- >>253
はぁ？
数学の勉強した事ないんやったらだまつとけや能無し
- 265 名前：１３２人目の素数さん [2022/04/08(金) 22:50:40 ID:izV8x806.net]
- この言い争いもショルツが曲解した、狭い解釈として単純化したという誤解だよね
というより、有意味な部分を抽出したらこうなりましたという話であって、脚注に散々皮肉が書いてあるのだが
- 266 名前：１３２人目の素数さん mailto:sage [2022/04/08(金) 22:50:54 ID:P3KoR13Q.net]
- ドイツでの取材を担当する会社が、ツイッターでNスペのabc予想にドイツ各地で参加させていただいたと述べていたけど、
ドイツということは御大出るかな？
- 267 名前：１３２人目の素数さん [2022/04/09(土) 00:44:20.08 ID:J+m+AEz5.net]
- プーチンしかり平家然り秀吉しかり、
評判や権力だけでなんでも賞賛されるようになると
前頭葉が退化して人間狂っていくんだよなぁ。宇宙w
- 268 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 01:46:41.80 ID:uGLQob3w.net]
- >>215
＞【語り】小倉久寛
ゴミ確定だろこれ・・・
- 269 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 01:53:29.13 ID:wEL8D4Zv.net]
- 本人は修士くらいの能力あれば間違いは明らかとか言ってるけどさ、
それを一流の数学者がわからないと言ってるんだから、もう頭がおかしくなってるのがどっちかは明らかだろ。
- 270 名前：１３２人目の素数さん [2022/04/09(土) 01:59:34.63 ID:Vk3RVvU9.net]
- 宇宙を繋げるかどうかではなくて、そもそもそんな異なる無限個の宇宙があるのかというのが
話の肝なんだけどな
Stixの最新コメントも取れたのかな？
- 271 名前：１３２人目の素数さん [2022/04/09(土) 06:30:39.25 ID:8ggSR2VY.net]
- 明日はこの程度では済まないだろうな
- 272 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 06:34:51.67 ID:4PMvR07C.net]
- いよいよ明日ですね
- 273 名前：１３２人目の素数さん [2022/04/09(土) 07:56:39.36 ID:g/U2FZ7o.net]
- そういえばRIMSの越川は、早くから3-12の証明に疑問を持ち望月に聞いてみたが、「自明」の一言で切り捨てられた、って話あったよね。
このｽﾚでその話をすると、必ず擁護派の人間が、
「越川もショルツの批判は初歩的な間違いがあると言っている」とか全然関係のない話持ちだして、
身内の越川ですら望月論文に疑問を持っていたという事実を抹殺しようとする。
これって何なんだろ。
RIMS内部じゃ望月論文を批判的に検討するという事が全く許されない雰囲気。
NHKはどうせ今度の番組で「東洋人の数学が認められない悲劇」とかいう方向にもっていくんだろうが、
もし日本数学に限界があるとするなら、権威者の言う事には黙って従ってろと言う体質だろう。
まあ、今回の番組でも越川は絶対登場しないだろうしねｗ
- 274 名前：１３２人目の素数さん [2022/04/09(土) 07:59:57.20 ID:y2/2SkES.net]
- >>261
ロバーツもブログで文句言ってたわけだが、そもそもIUT論文中に出てくる"universe"が
学術用語としての宇宙なのか、それとも口語としての宇宙なのかすらはっきりしない。
前者なら、（拡大以外の）別の宇宙があるとか、宇宙を取り換えるとかナンセンス。
後者なら、単なる混乱の元。
更には『"宇宙際"についてのFAQ』には、どちらの解釈でもOKみたいなことが
書いてあって、開いた口がふさがらない。
- 275 名前：１３２人目の素数さん [2022/04/09(土) 08:11:17.06 ID:4PMvR07C.net]
- 意味を問うことなかれ
の精神はないのか？
射影幾何学の伝統からそうなっているはずなんだが
まあ東大様(小平)が形式主義批判をしていたから
これ定義なに？
とか
意味は何？
みたいなことが罷り通っているけど
本来の数学は形式主義なんだよ
単語に意味はない
その意味を知ればわかる
自明なんて言わせてたんだね
悲しいね
無知に説明しなければならないこの現代が
- 276 名前：１３２人目の素数さん [2022/04/09(土) 08:12:59.53 ID:4PMvR07C.net]
- というか射影幾何学を知らない代数幾何学者も出始めている頃だから
おそらく形式主義すら理解していない
そうすると定義厨が発生するんだわ
でも形式主義の末路という感じも否めない
数学は何処に向かうのだろうか
- 277 名前：１３２人目の素数さん [2022/04/09(土) 08:16:16.41 ID:4PMvR07C.net]
- 形式主義を批判するなら点を定義してくれ
人様に概念の定義を訊くのはそれからだ
- 278 名前：１３２人目の素数さん [2022/04/09(土) 08:21:40.32 ID:4PMvR07C.net]
- でもたしかブンゲンさんが代数幾何学における点の説明をしていた気がする
辛い時代だわ
- 279 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 10:16:03.52 ID:llFTLR2i.net]
- >>265
より正確にはロバーツさんが指摘しているのは、グロタンディーク宇宙なのかトポスの比喩として使
- 280 名前：われる宇宙なのか分からないこと
山下さんのFAQはグロタンディーク宇宙で解釈しても良いとあるが、トポスと解釈できる部分があるというロバーツさんの見解から見ると誤り
一方査読が通ったときの望月さんからの回答をまとめたQAでは、宇宙が1960年代に定義されたとあるが、奇しくもグロタンディーク宇宙もトポスもSGA4で1960年代に定義されたので、望月さんが混同してるのかどうか分からない(望月さんは意識的に区別してるかもしれないというロバーツさんの指摘もある) [] - [ここ壊れてます]
- 281 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 10:45:01.81 ID:wEL8D4Zv.net]
- >>266
もう数学やめろ。てかお前がやってるのは普通の人が言うところの数学ではない。
- 282 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 11:24:49.58 ID:e/w1U7uO.net]
- 数学というかかの人は有名な算数もできない西暦もわからない人じゃないのかな？
- 283 名前：１３２人目の素数さん mailto:sage [2022/04/09(土) 16:28:35.94 ID:Xf1mWqYA.net]
- >>264
そもそもそのエピソードもほんとうかどうか分からないし
望月なんて人嫌いの変人なんだから
越川も星に質問すればいいのに
- 284 名前：１３２人目の素数さん [2022/04/09(土) 17:36:32.95 ID:Vk3RVvU9.net]
- >>270
少なくとも幾何学的な位相空間の射で収まるトポス理論の範疇ではない
トポスを対象にしているにせよ、モーダルというか拡張した設定なのは確かだろう
確率の期待値じゃないけども、無限の空間を区別しつつ足しあわせている感じだし
- 285 名前：１３２人目の素数さん [2022/04/09(土) 18:57:58.62 ID:y2/2SkES.net]
- >>270
やはり"universe"がどういう意味で使われているか、
誰も理解してないわけだな。
そんな数学があってたまるか。
- 286 名前：１３２人目の素数さん [2022/04/09(土) 20:19:46.67 ID:4PMvR07C.net]
- 私たちは物自体を認識できず
ただ対象の徴表を知るだけである
たとえばここに100個のりんごがあったとする
このとき
赤いりんご
青いりんご
傷の付いたりんご
……
があるがこれらに別々のラベルを付けるとしたら
私たちは混乱してしまう
そこでこの「赤い」などといった性質を捨象した
「りんご」
という共通性を抽象するのである
このように私たちはりんごということばで
100個のりんごを認識するのである
私は決してりんごそれ自体を知っているわけではない
そしてりんごの意味を決めるのは書き手ではなく読み手である
解釈をするのはあくまでも読み手なのである
あなたのりんごはどんなりんごだろうか？
たとえばAIの認識論にも通ずると思われる
- 287 名前：１３２人目の素数さん [2022/04/09(土) 20:24:23.07 ID:4PMvR07C.net]
- イデアがわかればイデアルもわかる(嘘)
- 288 名前：１３２人目の素数さん [2022/04/10(日) 07:49:38.21 .net]
- >>264
＞RIMSの越川は、早くから3-12の証明に疑問を持ち
＞望月に聞いてみたが、「自明」の一言で切り捨てられた
オボカタハルコも「200回以上セイコウしています！」と豪語してたか
実際にはSTAP細胞の生成に1回も成功しなかった
どうやらセイコウ＝成功ではなく、（S氏との）性交だったらしい
オボカタ ツラはともかく巨●だったし
- 289 名前：１３２人目の素数さん [2022/04/10(日) 07:52:34.76 .net]
- >>265
＞IUT論文中に出てくる"universe"が
＞学術用語としての宇宙なのか、
＞それとも口語としての宇宙なのか
後者（口語としての宇宙）は意味がない
数学科で数学を学んだ者なら疑いなくそう思う
こんな疑問を口にするのは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
- 290 名前：１３２人目の素数さん [2022/04/10(日) 07:57:43.69 .net]
- >>266
プラトニズムは数学界におけるフォークロアにすぎない
数学界におけるオーソドクシーはフォーマリズム
そうでなければ証明が意味を持たない
もちろん射影幾何学も完全にフォーマリズムの中で扱える
知らないヤツは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
- 291 名前：１３２人目の素数さん [2022/04/10(日) 08:03:52.43 .net]
- >>276
4PMvR07Cは「ミュンヒハウゼンのトリレンマ」の話をしたいらしい
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ミュンヒハウゼンのトリレンマは
知識・論理などの確実な根拠が得られることはない
という懸念を提起する問題である。
１．どんなものでも正しいといえるためには根拠が必要である。
あるものAが正しいといえるにはその根拠Bが必要である。
また根拠Bが正しいといえるにはその根拠Cが必要である。
また根拠Cが正しいといえるにはその根拠Dが必要である…
と根拠を要求すれば無限に続くことになる（無限背進）のではないか
２．どこかで「原理」や「証明はなくても正しいとみなす」といった
それ以上根拠を問えないような理由（ナマの事実）を立てて
1の連鎖を止める場合、その理由自体は正否が保障されないので確実ではない
３．もしA→B→C→D→…の連鎖がどこかでAに戻ってくるならば
循環論法になり無効になる
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
- 292 名前：１３２人目の素数さん [2022/04/10(日) 08:06:20.80 .net]
- >>281
もちろん、フォーマリズムにおいて必ず無定義語が出てくるのは自明である
しかしそれはプラトニズムの正当化とは全く無関係である
また、宇宙のような高度に複雑な概念を無定義語として導入することは絶対にない
それは数学における論理の全面的な否定である
- 293 名前：１３２人目の素数さん [2022/04/10(日) 08:10:58.05 .net]
- >>277
＞イデアがわかれば…
しかしながら実際にはイデアというのはいわば妄想であって
決してわかりようがないものである
プラトンも洞窟の比喩で喝破している
「実体があるから影がある」のではない
影から実体とかいう”架空の存在”をデッチあげているのである
そしてそのデッチあげた”架空の存在”を前提とすれば
影の行動が何の矛盾もなく整合的に説明できるならば
そのときその”架空の存在”はもっともらしいとみなされるのである
https://ja.wikipedia.org/wiki/%E6%B4%9E%E7%AA%9F%E3%81%AE%E6%AF%94%E5%96%A9
- 294 名前：１３２人目の素数さん [2022/04/10(日) 08:15:16.89 .net]
- アインシュタインは物理現象から絶対的同時という実体が構成できないことを示した
つまり観測結果を整合的に解釈するためには光速の不変性を前提せざるを得ず
その結果同時の不変性は否定されるのである
- 295 名前：１３２人目の素数さん [2022/04/10(日) 08:18:33.54 .net]
- 望月新一が成功したこと
・ABC予想を導く有望な前提として予想3.12を発見したこと
望月新一が失敗したこと
・予想3.12を現在の数論の前提から証明すること
- 296 名前：１３２人目の素数さん [2022/04/10(日) 09:18:14 ID:JfaVaId9.net]
- 今夜、お見逃し無く
4月10日(日)午後9:00
NHKスペシャル「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
30秒予告動画つき
https://www.nhk.jp/p/special/ts/2NY2QQLPM3/episode/te/PMMKK4872L/
初回放送日: 2022年4月10日
２０２０年春、数学の難問“ａｂｃ予想”を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？前代未聞の議論を追い、数学の魅力に迫る。▼語り・小倉久寛
- 297 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 11:24:31 ID:vV+fd845.net]
- theHigherGeometerがNスペを前に考えをツイートしているが、
トーマスCヘイルズがケプラー予想を証明したときになかなか浸透せず、袖をまくってチームをアッセンブルし、より詳細な証明を与えた、
そして今回何故それができなかったというのは本当にその通りだな
次世代センターというのをわざわざ京都大学の研究所に作りながら、何故「自明」を埋める取り組みには入らないのか違和感を禁じえない
余談だがヘイルズ単独のwikipediaの記事が、英語、中国語、フランス語、ドイツ語などはあるのに日本語だけない
ケプラー予想をコンピュータを用いて証明した偉大な数学者の記事が、日本だけないのはなぜだろう？
- 298 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 11:55:34 ID:PUjVMv57.net]
- 自明を埋める取り組みは当然やったしやってるやろ
できなかったしできてないだけ
- 299 名前：１３２人目の素数さん mailto:sage [2022/04/
]
- [ここ壊れてます]
- 300 名前：10(日) 12:22:09 ID:8eW9N5+O.net mailto: >>232
語れるほど理解が追い付いて無いんでしょう…
お察しください。 [] - [ここ壊れてます]
- 301 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 12:27:04.55 ID:8eW9N5+O.net]
- >>285
>>288
現在の数論に証明に必要な新しく使えるツール開発が必要
…ってｺﾄ!?
それかzﾌﾗﾝﾁｬｨｽﾞに改良が必要
…ってｺﾄ!?
- 302 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 12:32:42.03 ID:8eW9N5+O.net]
- >>290
現在の数論での証明には
だたｿﾞ。
ツール開発とzﾌﾗﾝﾁｬｲｽﾞの改良両方とも必要な可能性もあるかも
…ってｺﾄ!?
∩„„∩
(・ω・)))
- 303 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 12:34:58.86 ID:8eW9N5+O.net]
- ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
…ｮｼｯ!(現場係長)
- 304 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 12:36:49 ID:8eW9N5+O.net]
- 本ｽﾙﾙｪだたｿﾞ…!(悲鳴)
僕が誤爆しちゃいました!
…赦し亭…赦して!(消滅)
- 305 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 18:24:47 ID:WD0niT1D.net]
- Dupuyによると
SSは望月が言ってもいないことから矛盾が生じたと主張しているとのことだな
- 306 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 18:42:00.84 ID:uvtM1upb.net]
- へえ、証明に必要な具体的な計算方法がわからないと自白したDupuyがねえ
- 307 名前：１３２人目の素数さん [2022/04/10(日) 18:53:33.72 ID:D22Cs4Gb.net]
- >>283
実体も無定義語だよね
その文章で実体という言葉を○○にしても
通じる(ようにして書いてある)
ソーカル事件と紙一重だとは思うけど
- 308 名前：１３２人目の素数さん [2022/04/10(日) 19:02:34 ID:D22Cs4Gb.net]
- 自分で書いたものが自分でわからないという時代が来る
- 309 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 21:03:24.11 ID:Igee2D7R.net]
- おっ、天羽さん出てる！
- 310 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 21:24:39 ID:RgZIeFZk.net]
- このスレのバカが粋がってたけど
結局「賛否両論」まで後退させられてて爆笑した
栗城、日木るなやらかしたNHKですら後退せざるを得ない状況w
まだ様子見だが証明したと言い切った時点でクソダニだろうな
- 311 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 21:35:24 ID:RgZIeFZk.net]
- 中身知らせず
付帯情報だけ垂れ流して解いたアピールは昔から一貫してるな
Qアノン、神真都Qと同じ
- 312 名前：１３２人目の素数さん [2022/04/10(日) 21:54:16 ID:uvtM1upb.net]
- 「対象に関する認識論」w
パワーワード過ぎる
- 313 名前：１３２人目の素数さん [2022/04/10(日) 22:00:15 ID:uvtM1upb.net]
- うわー15日完全版商法かよ
うざ
- 314 名前：１３２人目の素数さん [2022/04/10(日) 22:08:53.76 ID:QBNkdagM.net]
- 賛否両論ってことはそれだけ常識を根本から覆す画期的な理論ってことさ
本当に数学に関して認識の変革を迫るような物なら理解されるのに100年かかってもおかしくない
- 315 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:13:20.94 ID:mnE3e5qS.net]
- 本人が出演を断ってるのは残念だなぁ
ちゃんと表舞台に出て自分の正しさをアピールしてほしかった
- 316 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:14:30 ID:XPTTuNVK.net]
- アホか
番組で「コレで数学者は理論が正しいのか気をもまなくてよいとわかってホッとしたと思う」って言ってだけどまさにあのひと言に尽きるやろ
- 317 名前：１３２人目の素数さん [2022/04/10(日) 22:17:42 ID:D22Cs4Gb.net]
- 改めて「対応させる」というのを考えさせられました
たとえば
2を4に対応させるとは
像f(x):=x^2
に対して
σ(2^2):=4 i.e. 2^2=4
こういう解釈なんだと思いました
- 318 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:17:47 ID:rnDmqF5s.net]
- 完全版っていうほどのネタがあるんだろうか？
今のでだいたい出てるよね
劇場版出ても見に行くけどw
- 319 名前：１３２人目の素数さん [2022/04/10(日) 22:18:52 ID:D1K6AzYt.net]
- もっと盛り上がるのかと思ってたがサッパリだな
なんだこの雰囲気
- 320 名前：１３２人目の素数さん [2022/04/10(日) 22:19:10 ID:uvtM1upb.net]
- >>303
星が絡んでるせいか、説明はかなり良かったよ
「乗法的には同一視できるが加法的にはできない宇宙を区別する」という話だな
- 321 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:19:36 ID:rnDmqF5s.net]
- >>303
CFGUやるなら
それなりに自前で全部証明しないとダメだろうし
その慎重さがあるとは思えないどね
- 322 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:20:23 ID:rnDmqF5s.net]
- でもIUTのアイデアはかっこいいよね
超好き
好きなんだけどダメだろ
今のままでは
- 323 名前：１３２人目の素数さん [2022/04/10(日) 22:20:55 ID:D22Cs4Gb.net]
- f:R×R→R
f(a,b):=a+b
σ:R→R
σ(a+b):=c i.e. a+b=c
- 324 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:22:11 ID:mnE3e5qS.net]
- でもまじで数学の概念を根底から覆すような理論だったら受け入れられるまで本当に数十年掛かりそうだな
あのガロア理論だって40年くらいかかったわけだし
- 325 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:25:35 ID:ipR4Ksxv.net]
- >>306
>>312
素敵です…!
- 326 名前：１３２人目の素数さん [2022/04/10(日) 22:27:01 ID:uvtM1upb.net]
- >>313
いや、それは疑わしいな
異なる圏で考えている中で環構造をそれにつき同一視したり区別する、という考え自体は
別に難しくもなんともないからな。今の時代その程度でそんな時間かからんよ
勿論真偽はさておきな
- 327 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:33:09 ID:VLhc55My.net]
- まぁ等号原理を要求しない言語理論を構築したいならすればいい
それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
驚きなのはそれを今までやらずに議論してたのかって事だよ
よくそれでアクセプトしたもんだよ
バカじゃないの
- 328 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:33:55 ID:ipR4Ksxv.net]
- σ(2^2):=4 i.e. 2^2=4
σ(a+b):=c i.e. a+b=c
↑素敵です!
∧∞∧
(‖>ω<‖)
- 329 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:44:20 ID:0Ruma1mp.net]
- 対象に関する認識論
＞虚数の初出は16世紀だが、0 や負の数ですら架空のもの、役に立たないものと長らくされており、負の数の平方根である虚数はなおさらだった。
デカルトも否定的にとらえ、 「想像上の数」と名付けて、「虚数」の語源となった。
オイラーによる虚数単位 iの導入（1770年頃）、ガウスによる複素数平面の導入（1831年）を経て、徐々に多くの数学者、人々に受け入れられるようになっていった。
毎度おなじみのこと
どこにあるんだよ-1のルートとか 目の前に見せてみろ 気色悪い 役に立つまともな数学が出来るわけないだろ
- 330 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:47:21 ID:7Y4nhNuU.net]
- まぁabc予想の証明は間違ってたとしても何らかの役に立っててほしい理論だな
- 331 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 22:47:52 ID:1kKurBuw.net]
- 「ショルツの権威ガー」ってのがカッコ悪かった
- 332 名前：１３２人目の素数さん [2022/04/10(日) 22:53:50.66 ID:uvtM1upb.net]
- Woitは小物だが、その辺の平均的な院生よりは優秀だからな
- 333 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 23:32:11.82 ID:LZJVV5M9.net]
- ちなみに、今までの数学の歴史で、今回のように、画期的な数学理論に対して権威ある数学者に批判されたけど、やはりその理論が正しかったということはあったんですか？
- 334 名前：１３２人目の素数さん [2022/04/10(日) 23:44:27.34 ID:abaCLFcV.net]
- >>313
ガロア理論は埋もれていただけで、間違っていると言われたわけではないだろ。
それに情報の伝達が今とは比べ物にならない１９世紀前半とくらべてもな。
- 335 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 23:44:50.17 ID:7Y4nhNuU.net]
- 無理数の発見
- 336 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 23:53:39.93 ID:3MJJ/V4k.net]
- >>323
どっちかというとアーベル？
- 337 名前：１３２人目の素数さん mailto:sage [2022/04/10(日) 23:54:37.81 ID:Bg/+fFe+.net]
- abc理論よりもずっと簡単なもので望月教授の考え方
|
 |
