X



トップページ数学
1002コメント429KB
Inter-universal geometry とABC 予想48
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2022/03/02(水) 19:54:05.87ID:syaKskfd
未だにcontroversialなIU幾何やABC予想に関する会話の 

サロンとして使って下さい。 



荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

前スレ
Inter-universal geometry とABC 予想47
https://rio2016.5ch.net/test/read.cgi/math/1635332056
0290132人目の素数さん
垢版 |
2022/04/10(日) 12:27:04.55ID:8eW9N5+O
>>285
>>288
現在の数論に証明に必要な新しく使えるツール開発が必要
…ってコト!?
それかzフランチャィズに改良が必要
…ってコト!?
0291132人目の素数さん
垢版 |
2022/04/10(日) 12:32:42.03ID:8eW9N5+O
>>290
現在の数論での証明には
だたゾ。

ツール開発とzフランチャイズの改良両方とも必要な可能性もあるかも
…ってコト!?
∩„„∩
(・ω・)))
0292132人目の素数さん
垢版 |
2022/04/10(日) 12:34:58.86ID:8eW9N5+O
モッチャマゎ天才
モッチャマゎ天才
モッチャマゎ天才

…ョシッ!(現場係長)
0293132人目の素数さん
垢版 |
2022/04/10(日) 12:36:49.55ID:8eW9N5+O
本スルルェだたゾ…!(悲鳴)

僕が誤爆しちゃいました!

…赦し亭…赦して!(消滅)
0294132人目の素数さん
垢版 |
2022/04/10(日) 18:24:47.70ID:WD0niT1D
Dupuyによると
SSは望月が言ってもいないことから矛盾が生じたと主張しているとのことだな
0295132人目の素数さん
垢版 |
2022/04/10(日) 18:42:00.84ID:uvtM1upb
へえ、証明に必要な具体的な計算方法がわからないと自白したDupuyがねえ
0296132人目の素数さん
垢版 |
2022/04/10(日) 18:53:33.72ID:D22Cs4Gb
>>283
実体も無定義語だよね
その文章で実体という言葉を○○にしても
通じる(ようにして書いてある)
ソーカル事件と紙一重だとは思うけど
0297132人目の素数さん
垢版 |
2022/04/10(日) 19:02:34.29ID:D22Cs4Gb
自分で書いたものが自分でわからないという時代が来る
0299132人目の素数さん
垢版 |
2022/04/10(日) 21:24:39.40ID:RgZIeFZk
このスレのバカが粋がってたけど
結局「賛否両論」まで後退させられてて爆笑した
栗城、日木るなやらかしたNHKですら後退せざるを得ない状況w
まだ様子見だが証明したと言い切った時点でクソダニだろうな
0300132人目の素数さん
垢版 |
2022/04/10(日) 21:35:24.21ID:RgZIeFZk
中身知らせず
付帯情報だけ垂れ流して解いたアピールは昔から一貫してるな
Qアノン、神真都Qと同じ
0301132人目の素数さん
垢版 |
2022/04/10(日) 21:54:16.72ID:uvtM1upb
「対象に関する認識論」w
パワーワード過ぎる
0302132人目の素数さん
垢版 |
2022/04/10(日) 22:00:15.88ID:uvtM1upb
うわー15日完全版商法かよ
うざ
0303132人目の素数さん
垢版 |
2022/04/10(日) 22:08:53.76ID:QBNkdagM
賛否両論ってことはそれだけ常識を根本から覆す画期的な理論ってことさ
本当に数学に関して認識の変革を迫るような物なら理解されるのに100年かかってもおかしくない
0304132人目の素数さん
垢版 |
2022/04/10(日) 22:13:20.94ID:mnE3e5qS
本人が出演を断ってるのは残念だなぁ
ちゃんと表舞台に出て自分の正しさをアピールしてほしかった
0305132人目の素数さん
垢版 |
2022/04/10(日) 22:14:30.77ID:XPTTuNVK
アホか
番組で「コレで数学者は理論が正しいのか気をもまなくてよいとわかってホッとしたと思う」って言ってだけどまさにあのひと言に尽きるやろ
0306132人目の素数さん
垢版 |
2022/04/10(日) 22:17:42.68ID:D22Cs4Gb
改めて「対応させる」というのを考えさせられました
たとえば
2を4に対応させるとは
像f(x):=x^2
に対して

σ(2^2):=4 i.e. 2^2=4

こういう解釈なんだと思いました
0307132人目の素数さん
垢版 |
2022/04/10(日) 22:17:47.26ID:rnDmqF5s
完全版っていうほどのネタがあるんだろうか?
今のでだいたい出てるよね
劇場版出ても見に行くけどw
0308132人目の素数さん
垢版 |
2022/04/10(日) 22:18:52.36ID:D1K6AzYt
もっと盛り上がるのかと思ってたがサッパリだな
なんだこの雰囲気
0309132人目の素数さん
垢版 |
2022/04/10(日) 22:19:10.67ID:uvtM1upb
>>303
星が絡んでるせいか、説明はかなり良かったよ
「乗法的には同一視できるが加法的にはできない宇宙を区別する」という話だな
0310132人目の素数さん
垢版 |
2022/04/10(日) 22:19:36.49ID:rnDmqF5s
>>303
CFGUやるなら
それなりに自前で全部証明しないとダメだろうし
その慎重さがあるとは思えないどね
0311132人目の素数さん
垢版 |
2022/04/10(日) 22:20:23.63ID:rnDmqF5s
でもIUTのアイデアはかっこいいよね
超好き
好きなんだけどダメだろ
今のままでは
0312132人目の素数さん
垢版 |
2022/04/10(日) 22:20:55.41ID:D22Cs4Gb
f:R×R→R
f(a,b):=a+b

σ:R→R
σ(a+b):=c i.e. a+b=c
0313132人目の素数さん
垢版 |
2022/04/10(日) 22:22:11.49ID:mnE3e5qS
でもまじで数学の概念を根底から覆すような理論だったら受け入れられるまで本当に数十年掛かりそうだな
あのガロア理論だって40年くらいかかったわけだし
0315132人目の素数さん
垢版 |
2022/04/10(日) 22:27:01.75ID:uvtM1upb
>>313
いや、それは疑わしいな
異なる圏で考えている中で環構造をそれにつき同一視したり区別する、という考え自体は
別に難しくもなんともないからな。今の時代その程度でそんな時間かからんよ

勿論真偽はさておきな
0316132人目の素数さん
垢版 |
2022/04/10(日) 22:33:09.95ID:VLhc55My
まぁ等号原理を要求しない言語理論を構築したいならすればいい
それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
驚きなのはそれを今までやらずに議論してたのかって事だよ
よくそれでアクセプトしたもんだよ
バカじゃないの
0317132人目の素数さん
垢版 |
2022/04/10(日) 22:33:55.31ID:ipR4Ksxv
σ(2^2):=4 i.e.  2^2=4

σ(a+b):=c i.e.  a+b=c


↑素敵です!

∧∞∧
(‖>ω<‖)
0318132人目の素数さん
垢版 |
2022/04/10(日) 22:44:20.18ID:0Ruma1mp
対象に関する認識論

>虚数の初出は16世紀だが、0 や負の数ですら架空のもの、役に立たないものと長らくされており、負の数の平方根である虚数はなおさらだった。
デカルトも否定的にとらえ、 「想像上の数」と名付けて、「虚数」の語源となった。

オイラーによる虚数単位 iの導入(1770年頃)、ガウスによる複素数平面の導入(1831年)を経て、徐々に多くの数学者、人々に受け入れられるようになっていった。


毎度おなじみのこと

どこにあるんだよ-1のルートとか 目の前に見せてみろ 気色悪い 役に立つまともな数学が出来るわけないだろ
0319132人目の素数さん
垢版 |
2022/04/10(日) 22:47:21.26ID:7Y4nhNuU
まぁabc予想の証明は間違ってたとしても何らかの役に立っててほしい理論だな
0321132人目の素数さん
垢版 |
2022/04/10(日) 22:53:50.66ID:uvtM1upb
Woitは小物だが、その辺の平均的な院生よりは優秀だからな
0322132人目の素数さん
垢版 |
2022/04/10(日) 23:32:11.82ID:LZJVV5M9
ちなみに、今までの数学の歴史で、今回のように、画期的な数学理論に対して権威ある数学者に批判されたけど、やはりその理論が正しかったということはあったんですか?
0323132人目の素数さん
垢版 |
2022/04/10(日) 23:44:27.34ID:abaCLFcV
>>313
ガロア理論は埋もれていただけで、間違っていると言われたわけではないだろ。
それに情報の伝達が今とは比べ物にならない19世紀前半とくらべてもな。
0326132人目の素数さん
垢版 |
2022/04/10(日) 23:54:37.81ID:Bg/+fFe+
abc理論よりもずっと簡単なもので望月教授の考え方を使えるものってないの?
0327132人目の素数さん
垢版 |
2022/04/11(月) 00:01:17.88ID:ZNzP4S4o
>>ウォイト 博士「ショルツは数論の分野で最も才能に満ちた数学者です。
>>そのため、ショルツが理解できないとしたことは重い意味を持ちます。
>>多くの数学者は、『もうこれでこの問題については悩まなくてもよくなった』
>>と思うようになったのではないでしょうか」

このコメントで、
結局アンチがただの権威主義でしかないことが判明したことの意義は
計り知れなく大きいな
0329132人目の素数さん
垢版 |
2022/04/11(月) 00:34:31.80ID:IE8EuojO
>307
完全版の予告が最後にあったけど
「対象に関する認識論」について少し触れた。

シュルツェが「間違っている」に対して、望月が「誤解している」との見解で、
その差は「対象に関する認識論」が根本にあるとのあらすじだから、そこに入るならば「必見」だね。
0331132人目の素数さん
垢版 |
2022/04/11(月) 01:14:19.84ID:FCw01L20
果たしてこの理論を理解できてる人はこのスレに何人いるんだろうか?
0334132人目の素数さん
垢版 |
2022/04/11(月) 02:23:45.11ID:dfLs5v3w
このスレでイキっているガイジは
医学研究科の学位論文研究ができずに
報告さえ出せば学位の出るラマン散乱実験報告(医学と無関係)で空学位を取ったガイジだから
相手にしても時間の無駄

精神疾患と統合失調と人格障害のアラ還婆
0335132人目の素数さん
垢版 |
2022/04/11(月) 02:27:44.01ID:4IAj35lu
哲学者は物理学者に対して、今の物理学では脳(物質)から意識(非物質)が生まれる事になってるから
意識を物理的に定義して物理学を拡張しろと言ってるが、物理学者は無視しているか頑なに拒否している。
それに似ている。今までの考えを根本から覆すことにはみんな抵抗し、受け入れるまで数十年かかる。
だが提案されてから20年ぐらい経ってやっとまともにそういう研究分野が生まれて、理論めいた物も
提示されるようになってきた。認識論に転換を迫るような物は数十年単位で受け入れられるのに時間が掛かる。
0336132人目の素数さん
垢版 |
2022/04/11(月) 02:30:37.05ID:pOKjTyXL
もしこのような時代に、オイラー、ガウス、ガロア、ヒルベルト、
ノイマン、ゲーデル、が生きていたら、どう見るのだろう?
多分に存命のワイルズ、ペレルマンは、だろう?
彼らのコメントを聞きたいのぉ。
0337132人目の素数さん
垢版 |
2022/04/11(月) 02:45:07.12ID:dfLs5v3w
>>335
それ認識論というキーワードが共通しているだけで
数学とは直接関係ないし
物理系出身の底辺准教が「意識を物理的に定義しろ」などと言い出すのは、物理の方法論を理解していないポンコツの証明にしかなっていない

物理学の仕事は決して、哲学上の概念を物理学に取り込む事ではない
物理的現象を対象とした観察と仮説立案と実証を通じて、物理的現象がどのように(how)起きるのかを記述するのが物理学の仕事

そして生物の脳の上の現象の一つと目される「意識」について物理学が関与できるのは、脳の活動状態の観測装置の物理的側面の基礎付けや拡張までであり
それ以上の仕事は、観測装置を使う生物・医学・心理学等諸分野の分担となる
0339132人目の素数さん
垢版 |
2022/04/11(月) 02:50:46.25ID:dfLs5v3w
このポンコツ底辺准教は、脳の機能観察に関する物理学からの寄与を、学生時代の医学研究科学位論文研究で成し遂げる事ができずに逃げ出した落ちこぼれであり、それから27年間その分野に寄与していないにも関わらず
自身の身元を誤魔化し自分の過去の無力さを棚上げにし>>335のような恥知らずな要求をする破廉恥婆である
0340132人目の素数さん
垢版 |
2022/04/11(月) 02:59:52.60ID:TKY3tNzR
>>287
日本語版ウィキペディアの数学分野は
このスレで一人で騒いでいる底辺准教が
匿名管理者の一人(Su-no-G)だった時代
大学院学生をポータル管理者に仕立て上げて
うろ覚え知識の備忘録のような記事を量産させていた
底辺暗黒時代を引きずっているから
まともな人間は近寄らない

そもそも日本語版ウィキペディア自体が
悪名高い匿名掲示板の運用ボランティアのゴミどもが
日本語版創設者を匿名誹謗中傷で追い出して乗っ取ったゴミクズに過ぎないから
日本語版は読まないのがマナー
0341132人目の素数さん
垢版 |
2022/04/11(月) 03:06:33.53ID:ro0sNBqZ
底辺連呼の書き込みは最近は夜中ばっかだから春の陽気で睡眠覚醒中なんだろ
0344132人目の素数さん
垢版 |
2022/04/11(月) 03:13:18.16ID:TKY3tNzR
>>341>>343がIUTスレで毎日妄想罵倒連投をしている山形大学のアラ還准教
0345132人目の素数さん
垢版 |
2022/04/11(月) 03:16:37.21ID:FCw01L20
まぁあれだね・・
何年もかけた研究を無駄にするわけにもいかないからきっと望月先生も焦ってたんだろうね
0346132人目の素数さん
垢版 |
2022/04/11(月) 03:20:18.71ID:TKY3tNzR
>>316
それがすぐできればいいんだろうけど
それはもっと大きなテーマを含んでしまうから
遠い未来に解決される課題なのだろうな

それができると予測し仮説の元に
数学の諸問題を解決する体系を作ってみて
大きな齟齬はなく成立するようならば
仮説の確らしさが増すし
不具合が出てきたら仮説を手直しするか立て直す話になる

それは数学に限らず物理でも一般的な方法
0347132人目の素数さん
垢版 |
2022/04/11(月) 03:22:40.00ID:TKY3tNzR
>>308
普段、山形大学のアラ還准教氏が一人で暴れているからいまさらここを見にくる人は居ないだろう
嫌儲板でもスレを立てて、いつもの繰り言で埋め立てしてるし
0348132人目の素数さん
垢版 |
2022/04/11(月) 03:23:14.10ID:4IAj35lu
>>337
>>物理の方法論を理解していないポンコツの証明にしかなっていない
それがまさに過去の思考の枠組みから抜けられない認識転換できない態度だね
意識の物理化を主張しているのは必ずしも文系の哲学者ではないし、むしろ
中心人物は数学科出身だ
ペンローズのようなノーベル賞受賞者も意識の物理学にはチャレンジしている
0349132人目の素数さん
垢版 |
2022/04/11(月) 03:29:13.27ID:dfLs5v3w
山形大学のアラ還准教の頭がおかしい原因の一つは
早朝から深夜まで匿名掲示板にしがみつく不眠症が原因だろうね

普通の人は毎日こんな時間に匿名掲示板に書き込みをしない
0350132人目の素数さん
垢版 |
2022/04/11(月) 06:24:37.90ID:HAOBPej8
NHKが一般市民向けに番組作れるくらいなのに、数学者が理解できないとかいうのがよく分からない

結局、以前から指摘されてた証明にあるギャップはどうなったの
0352132人目の素数さん
垢版 |
2022/04/11(月) 07:16:31.28ID:uw+auT3v
歴史的にやっぱ本人の死後にいろいろ問題が発覚するんだろうね。
今はあまりに政治的な要因が大きいから。
0353132人目の素数さん
垢版 |
2022/04/11(月) 07:53:57.20ID:FJ6tfu3Z
>>316
>まぁ等号原理を要求しない言語理論を構築したいならすればいい
>それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
>驚きなのはそれを今までやらずに議論してたのかって事だよ

Cor 3.1.2が等号でなく、不等号の式になっているのでは?

”足し算”と”掛け算”で、”掛け算”は等式の左辺abの情報が右辺cが系統的に反映するから容易に等号で証明できるが、
"足し算”は、左辺abの情報と右辺cの情報で系統立たなくて、等号での証明が困難であると主張していた。

”掛け算”だけ成立する2つの宇宙を定義すれば、”足し算”と”掛け算”が混じり合う式は、
”掛け算”だけ等号で解くことで等号理論でできるが、"足し算”は等号ではない数値を返す。
だけから等号ではない数値は、ある上限値以下となれば、不等号になる。

元々が、ABC予想は、数の遺伝に係る不等号の式なのだから、
等号の式による等号理論で答えないといけないという縛りは無いよね。

掛け算が成立する宇宙で、足し算を分離する目的だと意図が説明されているから、
その戦略を認めるか否か、そこで同じ値(掛け算的に?)と違う値(足し算の差分)で、
数学は違うものを同じで認識してきた、伝統に反する革新の概念という事は分かった

0354132人目の素数さん
垢版 |
2022/04/11(月) 08:59:33.01ID:ZftRK1y4
昨日のNスぺでは
abcを経由せずにフェルマー予想の別証明ができるという話は
なかった
0355132人目の素数さん
垢版 |
2022/04/11(月) 09:32:01.68ID:BbeHwTpV
>>346
アホですか?
それこそまず真っ先にやらなあかん事やろ?
今までの数学の言語では使わない言葉使いする論文書く分にはいくらでも構わないしそんな論文いくらでも探せばあるやろ
超準解析なんかそれ
ヒルベルトの第20問題の弱い形の証明のアルティンの証明も広い意味で超準解析と言えなくはない、(使ってないけど)
しかしそれをやっていいのはその言葉使いによる証明が普通の数学の“保存拡大”である事の証明ができたあとだし、それができてないならそんなもんろんぶんになどならんわ
そもそもその作業に何十年もかからんし
なんも知らんのやったら黙っとけ
0356132人目の素数さん
垢版 |
2022/04/11(月) 10:00:04.89ID:dfLs5v3w
山形の底辺准教の考える理系学問
「既知の証明済みの定理の順列組み合わせで新しい学問を作らなければならない」
「自分の信じる妄想に反する発言は、自分から見ると頭が悪く見えるから、黙っとけ」

現実の理系学問
「既知でも証明済みでもなくとも、予測や仮説を置いてそれに基づいて学問体系の拡張を試み、それが多くの部分で妥当性や新規の発見をもたらすなら
最初の予測や仮説に関する証明は数十年、数百年先に先送りしても支障はない」
0357132人目の素数さん
垢版 |
2022/04/11(月) 10:01:21.56ID:TKY3tNzR
>>355
そもそもお前は数学の勉強もしていなければ
医学研究科の学位論文研究すら完成させていない
還暦間際の底辺准教なのだから黙っとけ
0358132人目の素数さん
垢版 |
2022/04/11(月) 10:07:41.17ID:TKY3tNzR
> それができてないならそんなもんろんぶんになどならんわ

脳に異常が生じると言葉が平仮名表記になるんですね
判ります

医学研究科に、医学と無関係のラマン散乱実験報告を出した時も、脳に異常が生じて平仮名表記で論文を書いていそう
0359132人目の素数さん
垢版 |
2022/04/11(月) 10:24:35.35ID:SDXbLN9k
>>357
なんでオレが医学部の学位取らんとダメなんだよ
アホかバカ信者
もうオレが自分では太刀打ちできんくらいの数学経験持ってるのは感じでわかるんやろ?
それでも「レスバには負けん」の一心でアホなレスつけてくるとこが鬱陶しいんだよ
数学の話したいならまず教科書読め、論文読め
0360132人目の素数さん
垢版 |
2022/04/11(月) 10:34:37.76ID:hHLBxVjR
Twitterでもさすがに懐疑論強くなってきたな
アクセプトされたあとでも疑われてる状態が続くとかえって怪しまれるよね
0361132人目の素数さん
垢版 |
2022/04/11(月) 11:06:12.06ID:TKY3tNzR
>>359
こんな廃墟スレで幼稚な書き込みで粘着する奇人は
医学研究科学位研究論文未提出の底辺准教しかいない
多重人格で別人格だと言い張っても時間の無駄
0362132人目の素数さん
垢版 |
2022/04/11(月) 11:11:45.95ID:TKY3tNzR
底辺准教は数学基礎論のベースとなる非古典論理の学部教科書をちょっと読んだだけでIUTの全否定をし始めて、それ以外の数学知識は匿名掲示板の難癖付けの末に相手から聞き出した耳知識でしかないだろ

還暦間際にもなってフェルマーの最終定理の問題定義すら知らずに、全然違う式をフェルマー最終定理のバリエーションだと思い込んで延々と罵倒質問をしていた光景には大爆笑したぞ

身元も所属も学位論文取得経緯も現在の職場での日干し具合も容姿容貌コンプレックスや性的コンプレックスも失便癖とその原因もメンタル疾患も過去の犯罪履歴も全部バレているのに、猿芝居を繰り返すな
0363132人目の素数さん
垢版 |
2022/04/11(月) 11:26:07.13ID:YD/cjUeG
>>361
誰の話か知らんけどお前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね?
それすらわからんレベルの能無しか?
0366132人目の素数さん
垢版 |
2022/04/11(月) 11:51:52.85ID:dfLs5v3w
>>363
匿名掲示板で数学力云々言い出す奴は
現実世界では誰にも相手にされていない日干し

ソースは数学板の書き込み全般
0367132人目の素数さん
垢版 |
2022/04/11(月) 11:53:18.66ID:dfLs5v3w
>>364
IUTスレの山形云々の底辺大准教がキ チ ガ イなのは
公知の事実だから伏字は不要
0369132人目の素数さん
垢版 |
2022/04/11(月) 11:58:31.62ID:dfLs5v3w
底辺准教が50過ぎにもなって
非古典論理の学部教科書をちょっと読んだだけで
「お前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね?」
と言い出した理由は、現実には統計物理の問題解決もできなければ、統計処理の基礎も理解しないまま27年間名前だけの教員を名乗りネット三昧で人格を荒廃させてきた黒歴史を隠すため

もしこの底辺准教に数学力が少しでもあったなら
自身の過去27年間の妄言の大半は無かった
0370132人目の素数さん
垢版 |
2022/04/11(月) 12:01:12.46ID:dfLs5v3w
>>368
底辺准教が学歴と知能と数学力と底辺大学職員としての落ちこぼれ履歴に強い劣等感を持っているから
小学生レベルの幼稚な言葉が次々と発せられる事はよく知ってるよ

現実に学歴と知能と数学力のあるひとは、赤の他人には興味がないからいちいち幼稚な罵詈雑言は吐かない
0371132人目の素数さん
垢版 |
2022/04/11(月) 12:06:15.67ID:YaTOK+4L
TV見て来たけど、スレは荒らされてて
特定の人間に関する書き込みばかり、このABC予想に関してはもう終わった事象なのだと悟った
0372132人目の素数さん
垢版 |
2022/04/11(月) 12:11:47.66ID:dfLs5v3w
>>371
匿名掲示板数学板の関連スレは
偏差値49の底辺大学の還暦間際の非数学系准教の
妄想と嫉妬と暴言のための落書き帳に過ぎないから
スレも准教も最初から終わっている
0373132人目の素数さん
垢版 |
2022/04/11(月) 12:16:45.10ID:ZDR6apsE
否しかないものを極端な人の意見を探してきて「賛否両論」と言って中立ぶるのは、ほんと卑怯な論法だよな
0374132人目の素数さん
垢版 |
2022/04/11(月) 12:18:46.09ID:ZDR6apsE
(望月とその取り巻きを除く)数学の専門家が誰も興味持ってない分野を、書籍にしたりテレビ番組にする価値は無い

ホメオパシーだのがん放置療法だのと同じ
0376132人目の素数さん
垢版 |
2022/04/11(月) 12:21:25.14ID:ZDR6apsE
IUT理論なんて、わざわざNHKが特集を組むほどの内容ではない
京都の地方局が「京大にかわった先生がいる」程度でいいだろう
学者の地位を利用して、価値の無いものを価値があるように見せるのは、全く正義に反すること
恥を知れ
0377132人目の素数さん
垢版 |
2022/04/11(月) 12:27:06.46ID:ZDR6apsE
× 賛否両論
× 証明の正しさをめぐる議論が続いている
○ 本人とその取り巻き以外誰も相手にしていない
0378132人目の素数さん
垢版 |
2022/04/11(月) 13:17:30.57ID:JuOOdYeu
「宇宙」なんて言葉を使ってしまうとあとでそれよりも大きなものを考えたくなる時に困らない?
super, hyper,ultraなんとかみたいに言葉のインフレになりそうな?
0379132人目の素数さん
垢版 |
2022/04/11(月) 13:46:25.14ID:j2yvbC9W
universeがそもそもグロータンディックの命名した奴をそのまま使ってるらしいから仕方ない
0381132人目の素数さん
垢版 |
2022/04/11(月) 14:06:38.00ID:O/MA6m5h
>>853
のでは?じゃねぇよ何で関係者でもない人間が好意的に解釈してるんだよ?
等号の代わりに不等号で記すなら記すで一般に不等号で網羅しきれなきゃ駄目だろ
(それ込みで等号原理と言って良い気もするけどな)
だが、そのQp上での加算での振る舞いに於いて等号原理(不等号原理でもいいよ)を示すという
IUTが果すべき肝心な所で 且つ なのか 又は なのか怪しくなっている、て話だろ。
abとbcの比較は出来るがa+bとb+cの比較が難儀、て言う。

文系騙し的な要約だとこんな感じだろ

何でセタがこれしき書けないんだろ
0383132人目の素数さん
垢版 |
2022/04/11(月) 15:28:02.08ID:HLDp6CaV
文脈によって同じはずの対象が違って見えるというのは、まあ今後出てきてもおかしくない基礎論ではある
RとQpを区別するだけ、と言うが実際に区別しつつ代数体で統合して全体の歪みを評価したいのが
狙いだったわけだし。そのために縦と横で両立する因子を使っている
好意的に捉える必要はないが、ひとまず話を聞くのは重要よね
0385132人目の素数さん
垢版 |
2022/04/11(月) 17:37:10.07ID:e3XMbBMA
IUTが出た最初の頃は「基礎論的にアヤシイ」という噂が立っていたが、
誰かが「そんなことはない。ZFCの中で完結する」みたいなコメントをしていたはず。

しかし、今となってはやっぱり「基礎論的にアヤシイ」ということか?
0386132人目の素数さん
垢版 |
2022/04/11(月) 17:50:21.00ID:ZNzP4S4o
>>371
アホか
5chなんて成功者に対する嫉妬と憎悪で出来てるんだから必然的にそうなる
このスレ見れば分かるだろ
0387132人目の素数さん
垢版 |
2022/04/11(月) 18:20:55.90ID:6qXzFM0T
ショルツ氏が実例を示したように、数学の証明は原理的にコンピュータで証明できるものであるというのが事実で、
10年前ならまだしも今ではショルツ氏やタオ氏など数学者たちの共通認識だろう

Cor 3.12の証明のFigure 3.8以降にギャップがあるのだから、証明を理解できたと主張する京大側は、この部分をコンピュータで証明できるように書けば良いだけ(もちろんコンピュータはかつとまたはを混同したりもしない)
ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
0388132人目の素数さん
垢版 |
2022/04/11(月) 18:21:58.54ID:g3Li4heo
>>386
逆に全く理解できてないのに何でそんな自信満々なんだ?
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況