- 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
- 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理論よりもずっと簡単なもので望月教授の考え方
- 338 名前：を使えるものってないの？ []
- [ここ壊れてます]
- 339 名前：１３２人目の素数さん [2022/04/11(月) 00:01:17.88 ID:ZNzP4S4o.net]
- >>ウォイト 博士「ショルツは数論の分野で最も才能に満ちた数学者です。
>>そのため、ショルツが理解できないとしたことは重い意味を持ちます。
>>多くの数学者は、『もうこれでこの問題については悩まなくてもよくなった』
>>と思うようになったのではないでしょうか」
このコメントで、
結局アンチがただの権威主義でしかないことが判明したことの意義は
計り知れなく大きいな
- 340 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 00:08:11.18 ID:546Jncis.net]
- >>327
じゃお前がギャップを解消して
- 341 名前：１３２人目の素数さん [2022/04/11(月) 00:34:31.80 ID:IE8EuojO.net]
- >307
完全版の予告が最後にあったけど
「対象に関する認識論」について少し触れた。
シュルツェが「間違っている」に対して、望月が「誤解している」との見解で、
その差は「対象に関する認識論」が根本にあるとのあらすじだから、そこに入るならば「必見」だね。
- 342 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 00:40:37.71 ID:dE0iqR6W.net]
- >>323
望月先生も間違ってるという指摘はされてませんよね
- 343 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 01:14:19.84 ID:FCw01L20.net]
- 果たしてこの理論を理解できてる人はこのスレに何人いるんだろうか？
- 344 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 01:17:55.96 ID:sirnYUPb.net]
- 誰もおらんよ多分
おそらく世界中で一人もいない
- 345 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 02:15:54.67 ID:MjeY+vmJ.net]
- >>259
コネだよな両津勘吉の声優の時と言い
>>309
RとQpの区別としか言えてないけどな
>>316
そこなんだよな
- 346 名前：１３２人目の素数さん [2022/04/11(月) 02:23:45.11 ID:dfLs5v3w.net]
- このスレでイキっているガイジは
医学研究科の学位論文研究ができずに
報告さえ出せば学位の出るラマン散乱実験報告(医学と無関係)で空学位を取ったガイジだから
相手にしても時間の無駄
精神疾患と統合失調と人格障害のアラ還婆
- 347 名前：１３２人目の素数さん [2022/04/11(月) 02:27:44.01 ID:4IAj35lu.net]
- 哲学者は物理学者に対して、今の物理学では脳(物質)から意識(非物質)が生まれる事になってるから
意識を物理的に定義して物理学を拡張しろと言ってるが、物理学者は無視しているか頑なに拒否している。
それに似ている。今までの考えを根本から覆すことにはみんな抵抗し、受け入れるまで数十年かかる。
だが提案されてから20年ぐらい経ってやっとまともにそういう研究分野が生まれて、理論めいた物も
提示されるようになってきた。認識論に転換を迫るような物は数十年単位で受け入れられるのに時間が掛かる。
- 348 名前：１３２人目の素数さん [2022/04/11(月) 02:30:37.05 ID:pOKjTyXL.net]
- もしこのような時代に、オイラー、ガウス、ガロア、ヒルベルト、
ノイマン、ゲーデル、が生きていたら、どう見るのだろう？
多分に存命のワイルズ、ペレルマンは、だろう？
彼らのコメントを聞きたいのぉ。
- 349 名前：１３２人目の素数さん [2022/04/11(月) 02:45:07 ID:dfLs5v3w.net]
- >>335
それ認識論というキーワードが共通しているだけで
数学とは直接関係ないし
物理系出身の底辺准教が「意識を物理的に定義しろ」などと言い出すのは、物理の方法論を理解していないポンコツの証明にしかなっていない
物理学の仕事は決して、哲学上の概念を物理学に取り込む事ではない
物理的現象を対象とした観察と仮説立案と実証を通じて、物理的現象がどのように(how)起きるのかを記述するのが物理学の仕事
そして生物の脳の上の現象の一つと目される「意識」について物理学が関与できるのは、脳の活動状態の観測装置の物理的側面の基礎付けや拡張までであり
それ以上の仕事は、観測装置を使う生物・医学・心理学等諸分野の分担となる
- 350 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 02:49:40 ID:FCw01L20.net]
- この理論って圏論の分野ですか？
- 351 名前：１３２人目の素数さん [2022/04/11(月) 02:50:46 ID:dfLs5v3w.net]
- このポンコツ底辺准教は、脳の機能観察に関する物理学からの寄与を、学生時代の医学研究科学位論文研究で成し遂げる事ができずに逃げ出した落ちこぼれであり、それから27年間その分野に寄与していないにも関わらず
自身の身元を誤魔化し自分の過去の無力さを棚上げにし>>335のような恥知らずな要求をする破廉恥婆である
- 352 名前：１３２人目の素数さん [2022/04/11(月) 02:59:52.60 ID:TKY3tNzR.net]
- >>287
日本語版ウィキペディアの数学分野は
このスレで一人で騒いでいる底辺准教が
匿名管理者の一人(Su-no-G)だった時代
大学院学生をポータル管理者に仕立て上げて
うろ覚え知識の備忘録のような記事を量産させていた
底辺暗黒時代を引きずっているから
まともな人間は近寄らない
そもそも日本語版ウィキペディア自体が
悪名高い匿名掲示板の運用ボランティアのゴミどもが
日本語版創設者を匿名誹謗中傷で追い出して乗っ取ったゴミクズに過ぎないから
日本語版は読まないのがマナー
- 353 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 03:06:33.53 ID:ro0sNBqZ.net]
- 底辺連呼の書き込みは最近は夜中ばっかだから春の陽気で睡眠覚醒中なんだろ
- 354 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 03:07:41.52 ID:ExLtsirK.net]
- >>331
いる訳ねーだろ
- 355 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 03:10:30 ID:epCp8ZTQ.net]
- >>334は算数すらできないんだから(笑)
- 356 名前：１３２人目の素数さん [2022/04/11(月) 03:13:18 ID:TKY3tNzR.net]
- >>341>>343がIUTスレで毎日妄想罵倒連投をしている山形大学のアラ還准教
- 357 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 03:16:37 ID:FCw01L20.net]
- まぁあれだね・・
何年もかけた研究を無駄にするわけにもいかないからきっと望月先生も焦ってたんだろうね
- 358 名前：１３２人目の素数さん [2022/04/11(月) 03:20:18 ID:TKY3tNzR.net]
- >>316
それがすぐできればいいんだろうけど
それはもっと大きなテーマを含んでしまうから
遠い未来に解決される課題なのだろうな
それができると予測し仮説の元に
数学の諸問題を解決する体系を作ってみて
大きな齟齬はなく成立するようならば
仮説の確らしさが増すし
不具合が出てきたら仮説を手直しするか立て直す話になる
それは数学に限らず物理でも一般的な方法
- 359 名前：１３２人目の素数さん [2022/04/11(月) 03:22:40 ID:TKY3tNzR.net]
- >>308
普段、山形大学のアラ還准教氏が一人で暴れているからいまさらここを見にくる人は居ないだろう
嫌儲板でもスレを立てて、いつもの繰り言で埋め立てしてるし
- 360 名前：１３２人目の素数さん [2022/04/11(月) 03:23:14 ID:4IAj35lu.net]
- >>337
>>物理の方法論を理解していないポンコツの証明にしかなっていない
それがまさに過去の思考の枠組みから抜けられない認識転換できない態度だね
意識の物理化を主張しているのは必ずしも文系の哲学者ではないし、むしろ
中心人物は数学科出身だ
ペンローズのようなノーベル賞受賞者も意識の物理学にはチャレンジしている
- 361 名前：１３２人目の素数さん [2022/04/11(月) 03:29:13 ID:dfLs5v3w.net]
- 山形大学のアラ還准教の頭がおかしい原因の一つは
早朝から深夜まで匿名掲示板にしがみつく不眠症が原因だろうね
普通の人は毎日こんな時間に匿名掲示板に書き込みをしない
- 362 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 06:24:37 ID:HAOBPej8.net]
- NHKが一般市民向けに番組作れるくらいなのに、数学者が理解できないとかいうのがよく分からない
結局、以前から指摘されてた証明にあるギャップはどうなったの
- 363 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 07:02:11.4
]
- [ここ壊れてます]
- 364 名前：4 ID:1eNwi6/i.net mailto: 選択公理みたいに認める認めないの立場によるもの違うの []
- [ここ壊れてます]
- 365 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 07:16:31 ID:uw+auT3v.net]
- 歴史的にやっぱ本人の死後にいろいろ問題が発覚するんだろうね。
今はあまりに政治的な要因が大きいから。
- 366 名前：１３２人目の素数さん [2022/04/11(月) 07:53:57.20 ID:FJ6tfu3Z.net]
- >>316
＞まぁ等号原理を要求しない言語理論を構築したいならすればいい
＞それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
＞驚きなのはそれを今までやらずに議論してたのかって事だよ
Cor 3.1.2が等号でなく、不等号の式になっているのでは？
”足し算”と”掛け算”で、”掛け算”は等式の左辺abの情報が右辺cが系統的に反映するから容易に等号で証明できるが、
"足し算”は、左辺abの情報と右辺cの情報で系統立たなくて、等号での証明が困難であると主張していた。
”掛け算”だけ成立する２つの宇宙を定義すれば、”足し算”と”掛け算”が混じり合う式は、
”掛け算”だけ等号で解くことで等号理論でできるが、"足し算”は等号ではない数値を返す。
だけから等号ではない数値は、ある上限値以下となれば、不等号になる。
元々が、ABC予想は、数の遺伝に係る不等号の式なのだから、
等号の式による等号理論で答えないといけないという縛りは無いよね。
掛け算が成立する宇宙で、足し算を分離する目的だと意図が説明されているから、
その戦略を認めるか否か、そこで同じ値（掛け算的に？）と違う値(足し算の差分）で、
数学は違うものを同じで認識してきた、伝統に反する革新の概念という事は分かった
、
- 367 名前：１３２人目の素数さん [2022/04/11(月) 08:59:33.01 ID:ZftRK1y4.net]
- 昨日のNスぺでは
abcを経由せずにフェルマー予想の別証明ができるという話は
なかった
|
 |
