トップページ⇒数学
1002コメント429KB
Inter-universal geometry とABC 予想48
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
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
0188１３２人目の素数さん
垢版 |
2022/04/05(火) 12:29:41.69ID:pqhBVIO3
セールは超秀才としての天才なのは確かだろう
独創性のレベルでは微妙だが、ショルツやファルティングスくらいには天才かな
0189１３２人目の素数さん
垢版 |
2022/04/05(火) 12:33:21.41ID:jfg0OTrz
モーデル予想の解決のファルディングスには近い
ショルツは独創性も強い
0190１３２人目の素数さん
垢版 |
2022/04/05(火) 13:27:08.06ID:kBfXSKK3
SGAの内容を学ぶのと拓郎の数学の背景にある幾何や代数解析を学ぶのなら、後者のほうがずっと大変でしょ。
拓郎の数学は解析を道具立てに使う面があるし。
0191１３２人目の素数さん
垢版 |
2022/04/05(火) 13:42:46.68ID:pqhBVIO3
解析といっても正則関数の範疇だからな
今は割と関連良書が出てるから近づきやすいんじゃないか
0192１３２人目の素数さん
垢版 |
2022/04/05(火) 14:21:25.30ID:QEB+pdIS
>>171
俺も思った。
公平な評価がされているんだろうか？
というか、数学の評価は難しい。
0193１３２人目の素数さん
垢版 |
2022/04/05(火) 16:35:21.54ID:4Ihp91rz
論文としてむりやり出したら無視されているという状況がはっきりしまうと思ったが、
その通りになったな
0195１３２人目の素数さん
垢版 |
2022/04/05(火) 16:56:16.44ID:F4cWioX0
>>194
「埋葬」の天才
0196１３２人目の素数さん
垢版 |
2022/04/05(火) 18:33:14.98ID:Uci1k9jl
しかし君たちパッとしない私大出身のくせに
よくそこまで上から目線になれるものだねえ
0198１３２人目の素数さん
垢版 |
2022/04/05(火) 18:51:49.81ID:SH13sU7T
IUT理論とか常温核融合みたいなもんだろ
0199１３２人目の素数さん
垢版 |
2022/04/05(火) 18:54:22.79ID:pqhBVIO3
常温核融合のほうがまだ現実的だろ
0200１３２人目の素数さん
垢版 |
2022/04/05(火) 22:05:20.13ID:o19/V9To
Dupuyが言っていたScholze/Stixの問題は恐らく、IUTTでは双曲線Xから始まりエタール基本群π1(X)に同一視して議論しているが、SSによればXの同型で解決できない図式の非可換性はπ1(X)の同型を使っても解決できないという話だろうか
特にSSはXの同型が図式の可換性を決めているとして、π1(X)の無限に多くの同型コピーをある固定されたX0に対するπ1(X0)で置き換えられるということだったと思うが、
確かにXがまず前提で、同一視したπ1(X)もXの同型で統制されるというのは、直感的にはSSが正しいように見える
このあたりはRIMSはどう説明しているのだろう？
0201１３２人目の素数さん
垢版 |
2022/04/06(水) 19:06:19.29ID:zgHg38x7
4月10日（日）NHK総合で21時から、NHKスペシャルが放送される。
まさに、IUT理論とABCをやるようだぜ。
どんな内容になるのかな？
0203１３２人目の素数さん
垢版 |
2022/04/06(水) 19:18:34.87ID:21uuO8ch
>>200
結局のところ望月の言う通りスキーム論的ではないが、Rの因子を見れば自明というSSが正しいという印象だな
議論が混乱しているように見えるのはそこがちょっとややこしいから
0204１３２人目の素数さん
垢版 |
2022/04/06(水) 19:27:10.09ID:BFWM7svZ
まさいはサイディか
emsと判断が分かれたな
0206１３２人目の素数さん
垢版 |
2022/04/06(水) 21:23:52.82ID:2i2YEL0i
最近マサイのレビューは質の低下が著しいね。
ポイント目当てで変な中国人や中東人がアブストやイントロコピペしたようなインチキレビューばかり。
0207１３２人目の素数さん
垢版 |
2022/04/06(水) 21:25:33.15ID:PzYF8t8g
>>206
ポイントって何？
0208１３２人目の素数さん
垢版 |
2022/04/06(水) 21:27:28.25ID:2i2YEL0i
レビューするとamsの本とか買えるポイントがもらえる
0209１３２人目の素数さん
垢版 |
2022/04/06(水) 21:56:31.49ID:kHBcxboE
>>196
https://www.youtube.com/watch?v=uJPenpkJH10
この数学者は東京理科大卒、ペンシルベニア大学PhDだけどな。
この人がNHKに出演して望月論文の国際評価について正直に発言したら、
ＮＨＫを評価するよ。たぶんそうはならないだろうけど。
0211１３２人目の素数さん
垢版 |
2022/04/07(木) 00:29:52.86ID:BZyijq31
まゆゆ
0214１３２人目の素数さん
垢版 |
2022/04/07(木) 09:28:48.56ID:7iJv7fsv
より一般に、日本の大学卒(院に進んだ人も含む)は全員ぱっとしない
0215１３２人目の素数さん
垢版 |
2022/04/07(木) 12:47:10.02ID:TqCffHBW
数学の難問「abc予想」証明をめぐる激論の背景とは？
NHKスペシャル「数学者は宇宙をつなげるか？abc予想証明をめぐる数奇な物語」

4月10日（日）［総合］後9:00

2020年春、数学の難問 “abc予想” を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？　前代未聞の議論を追い、数学の魅力に迫る。

【語り】小倉久寛
0217１３２人目の素数さん
垢版 |
2022/04/07(木) 16:22:22.02ID:0uPPsb0p
>>210
>すくなくとも理科大は
>間違いなくパッとしない私大だなｗ

多分偏差値の事を言ってるんだと思うけど
偏差値とか何も関係ない
或る学生や卒業生なりがどれだけ「卒業してからも学ぶ姿勢で居続けている」かは
その個人次第
逆に偏差値の高い大量の人間も卒業したあとは
偏差値自慢や肩書き自慢以外に何も残らない連中など掃いて捨てるほどいる
0218１３２人目の素数さん
垢版 |
2022/04/07(木) 16:27:08.22ID:0uPPsb0p
>>215
>だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。

この表現は正しくない。ダメだコリャ
激論なんかない。ショルツとかごくごく一部のモノ好きが噛みついてあげただけ。
数学界からは「価値や興味を感じて貰ってない」という表現が正しい。
0219１３２人目の素数さん
垢版 |
2022/04/07(木) 16:58:30.56ID:4VKQ8qaV
理科大出身で数論ときてすぐ武田が浮かんだが
何でまたユーチューバーなんかやってんだ…
0220１３２人目の素数さん
垢版 |
2022/04/07(木) 20:14:54.51ID:5K+g8DdT
>>187
山形の便所虫の書き込みはキーワードで判るけど
コテを付けておいてくれ
コテが付いてればレスのスキップが楽になる
0221１３２人目の素数さん
垢版 |
2022/04/07(木) 20:18:09.69ID:ur1qWl0S
>>220
長野の便所虫の書き込みはキーワードで判るけど
うんちのしみを付けておいてくれ
うんちのしみが付いてればバカの炙り出しが楽になる
0222１３２人目の素数さん
垢版 |
2022/04/07(木) 20:34:29.04ID:5K+g8DdT
山形のクソ虫が関係妄想障害で意味不明の事を書いても
健常者には一切理解不能だから
今後は名前欄に「天羽優子」って書いとけよ
メール欄も埋めろよ
0223１３２人目の素数さん
垢版 |
2022/04/07(木) 20:36:42.09ID:5K+g8DdT
>>217
ちゃんと名前欄に「天羽優子」
メール欄には医学研究科学位研究未完にてラマン散乱測定報告を提出って書いとけよ

そしたら落ちこぼれの虚勢だと一目でわかる
0224１３２人目の素数さん
垢版 |
2022/04/07(木) 20:37:46.71ID:6oPiORRi
望月拓郎さんが何でブレークスル−賞もらえたのかという話もあるが、
勿論Ｔ．ｍｏｃｈｉｚｕｋｉの業績もさることながら、
いまや世界では京大のモチズキの名が
証明の不備を指摘すると逆上した人として語られているので、
これじゃあんまり拓郎さんがかわいそうなので、
誤解を解くためにも太っ腹なブレークスルー財団が
一肌脱いであげたんじゃないの。
0225１３２人目の素数さん
垢版 |
2022/04/07(木) 20:40:17.96ID:1EFZZmtr
>>214,217
戦前の必死に徴兵逃れしてた連中は
欧米に渡航して誤魔化そうとしたり
公然と（入るまでのお勉強はそりゃあ必死で）帝大に進学在籍して（在籍中は当然全力でまったりと頭脳を休めて）やり過ごそうとしたり
もうちょい楽な優遇されてる理工系高等教育機関狙ってたりしてた。
0226１３２人目の素数さん
垢版 |
2022/04/07(木) 20:42:56.22ID:5K+g8DdT
>>224

お前の話って常に嫉妬と妄想ばかりで中身がないから
名前欄に天羽優子見習いって書いとけよ
そしたらNGに入るから処理が楽
0227１３２人目の素数さん
垢版 |
2022/04/07(木) 20:42:58.39ID:4oVV4l+t
a_watcherって頭悪いね
君の指示に誰か従うとでも思っているのかい？
0228１３２人目の素数さん
垢版 |
2022/04/07(木) 20:46:06.47ID:5K+g8DdT
>>227
お前、名前欄に天羽優子って書き忘れてるぞ
名前欄に名前も書けない知恵遅れは数学板に書き込みをすんな
0229１３２人目の素数さん
垢版 |
2022/04/07(木) 20:49:27.52ID:LFhtAE4e
ところでID消しのコテは死んだんか
自称数学科出身というから会話を試みたら
読んだことのない専門書の名前を挙げては
内容は読んでいないという言い訳ばかりして
空っぽの数学科学士詐称とすぐバレていたのが面白かったのにw
0230１３２人目の素数さん
垢版 |
2022/04/07(木) 21:16:32.03ID:Ulgczdt3
>>229
とかいうおまえも数学科出てない白痴だろ
0231１３２人目の素数さん
垢版 |
2022/04/07(木) 21:45:41.33ID:LFhtAE4e
IUTや数学とは直接的関係がないCategorical programming languageの専門書名を20年近く前の匿名掲示板過去ログから拾い集めて、しかも内容を読んでないと即座に言い出す気違いっぷりは常軌を逸脱している

そこは仮に読んでいなくても、Categories for the Working Mathematiciansを買って勉強し始めたくらい言っておけば
ああ30年前に勉強で挫折した学部卒の人なんだなと判断されて、門前の小僧程度の扱いはしてもらえるかもしれないのに
時代遅れの情弱バカにも程があるよな

やっぱ東北某県は時間の流れが30年くらい遅れているんじゃないかと
0233１３２人目の素数さん
垢版 |
2022/04/07(木) 22:56:21.95ID:5K+g8DdT
IUTと関係ない学位研究未完おばさんが暴れているから
梱包のぷちぷち潰しみたくぷちぷちしてるだ〜け〜
0241１３２人目の素数さん
垢版 |
2022/04/08(金) 13:16:59.54ID:NKkDQbdV
>>231
20年前の圏論的プログラミング言語って何？Haskellじゃなくて？
0242１３２人目の素数さん
垢版 |
2022/04/08(金) 14:26:04.82ID:zDifpRFh
>>204
やっぱこのくらいがマトモな判断だろうな理解できないなら近づかなければいいだけで
believer だけで勝手にやっていれば？くらいに落ち着くのが常識的な反応なんだよ
積極的に貶めてやろう！と行動したドイツ野郎は反省するべきである
0244１３２人目の素数さん
垢版 |
2022/04/08(金) 15:08:52.94ID:P3KoR13Q
長い論文を読み、森重文さんの招待に応じてわざわざ来日し、ある解釈のもとで成立しないことを示してくれた人が、貶めてやろうと思ってると思われるとか可愛そうだな
0246１３２人目の素数さん
垢版 |
2022/04/08(金) 17:33:58.80ID:9X9CdPpt
批判としてどうかは置いといても、解釈できないものを、外堀埋める程度には議論を進めてくれたわけだから、一つの貢献だよね
0247１３２人目の素数さん
垢版 |
2022/04/08(金) 17:34:14.91ID:zEflv34Z
アホか
普通の数学者が「こういう解釈したら成り立たなかった」ならもうそれは論文として通用してない
通常の数学者が普通に読んで“正しい解釈一択”しかあり得ない状態でなければ論文の体をなさない
ショルツは文句なく通常の数学力持つ数学者
0248１３２人目の素数さん
垢版 |
2022/04/08(金) 18:33:15.17ID:NKkDQbdV
というかショルツに苦言を呈する外部の数学者がいない時点で状況は明らか
0249１３２人目の素数さん
垢版 |
2022/04/08(金) 19:36:20.43ID:lebP1PRP
両論併記の罠ってやつだね。
実際には受け入れてる奴なんて取り巻きしかいないのに、
あたかも対等なように両論を取り上げる。
NHKはジャーナリスト失格だね。
0250１３２人目の素数さん
垢版 |
2022/04/08(金) 19:37:49.51
望月新一が「こう解釈すれば成り立つ」
というコメントができなかったから
アウトなわけだが
0251１３２人目の素数さん
垢版 |
2022/04/08(金) 19:41:36.68
＞「いや絶対に正しい」
でもなぜ正しいのかは示せない
望月新一は正気でないか噓つきかのいずれか
前者なら病院に入院したほうがいい
後者なら・・・死ね
0252１３２人目の素数さん
垢版 |
2022/04/08(金) 19:47:00.46
NHKはリーマン予想でも💩番組作ったから開き直ってんだろ

TVなんかもう終わりだ　焼かれちまえ
0253１３２人目の素数さん
垢版 |
2022/04/08(金) 21:50:13.06ID:GjmFBEsD
>>247
いや数学なら普通に場合分けするだろ。
ある条件付きで証明したって価値があることも多々あるってのに何言ってんだこいつ。
0254１３２人目の素数さん
垢版 |
2022/04/08(金) 22:14:08.59ID:izV8x806
要は相手の反論を絞り込めるからな
実際に望月は反論レポートを出した。内容的には噛み合っていないのだが
0256１３２人目の素数さん
垢版 |
2022/04/08(金) 22:50:40.81ID:izV8x806
この言い争いもショルツが曲解した、狭い解釈として単純化したという誤解だよね
というより、有意味な部分を抽出したらこうなりましたという話であって、脚注に散々皮肉が書いてあるのだが
0257１３２人目の素数さん
垢版 |
2022/04/08(金) 22:50:54.17ID:P3KoR13Q
ドイツでの取材を担当する会社が、ツイッターでNスペのabc予想にドイツ各地で参加させていただいたと述べていたけど、
ドイツということは御大出るかな？
0258１３２人目の素数さん
垢版 |
2022/04/09(土) 00:44:20.08ID:J+m+AEz5
プーチンしかり平家然り秀吉しかり、
評判や権力だけでなんでも賞賛されるようになると
前頭葉が退化して人間狂っていくんだよなぁ。宇宙w
0260１３２人目の素数さん
垢版 |
2022/04/09(土) 01:53:29.13ID:wEL8D4Zv
本人は修士くらいの能力あれば間違いは明らかとか言ってるけどさ、
それを一流の数学者がわからないと言ってるんだから、もう頭がおかしくなってるのがどっちかは明らかだろ。
0261１３２人目の素数さん
垢版 |
2022/04/09(土) 01:59:34.63ID:Vk3RVvU9
宇宙を繋げるかどうかではなくて、そもそもそんな異なる無限個の宇宙があるのかというのが
話の肝なんだけどな
Stixの最新コメントも取れたのかな？
0262１３２人目の素数さん
垢版 |
2022/04/09(土) 06:30:39.25ID:8ggSR2VY
明日はこの程度では済まないだろうな
0264１３２人目の素数さん
垢版 |
2022/04/09(土) 07:56:39.36ID:g/U2FZ7o
そういえばRIMSの越川は、早くから3-12の証明に疑問を持ち望月に聞いてみたが、「自明」の一言で切り捨てられた、って話あったよね。
このｽﾚでその話をすると、必ず擁護派の人間が、
「越川もショルツの批判は初歩的な間違いがあると言っている」とか全然関係のない話持ちだして、
身内の越川ですら望月論文に疑問を持っていたという事実を抹殺しようとする。
これって何なんだろ。
RIMS内部じゃ望月論文を批判的に検討するという事が全く許されない雰囲気。
NHKはどうせ今度の番組で「東洋人の数学が認められない悲劇」とかいう方向にもっていくんだろうが、
もし日本数学に限界があるとするなら、権威者の言う事には黙って従ってろと言う体質だろう。
まあ、今回の番組でも越川は絶対登場しないだろうしねｗ
0265１３２人目の素数さん
垢版 |
2022/04/09(土) 07:59:57.20ID:y2/2SkES
>>261
ロバーツもブログで文句言ってたわけだが、そもそもIUT論文中に出てくる"universe"が
学術用語としての宇宙なのか、それとも口語としての宇宙なのかすらはっきりしない。
前者なら、（拡大以外の）別の宇宙があるとか、宇宙を取り換えるとかナンセンス。
後者なら、単なる混乱の元。
更には『"宇宙際"についてのFAQ』には、どちらの解釈でもOKみたいなことが
書いてあって、開いた口がふさがらない。
0266１３２人目の素数さん
垢版 |
2022/04/09(土) 08:11:17.06ID:4PMvR07C
意味を問うことなかれ
の精神はないのか？
射影幾何学の伝統からそうなっているはずなんだが
まあ東大様(小平)が形式主義批判をしていたから
これ定義なに？
とか
意味は何？
みたいなことが罷り通っているけど
本来の数学は形式主義なんだよ
単語に意味はない
その意味を知ればわかる

自明なんて言わせてたんだね
悲しいね
無知に説明しなければならないこの現代が
0267１３２人目の素数さん
垢版 |
2022/04/09(土) 08:12:59.53ID:4PMvR07C
というか射影幾何学を知らない代数幾何学者も出始めている頃だから
おそらく形式主義すら理解していない
そうすると定義厨が発生するんだわ
でも形式主義の末路という感じも否めない
数学は何処に向かうのだろうか
0268１３２人目の素数さん
垢版 |
2022/04/09(土) 08:16:16.41ID:4PMvR07C
形式主義を批判するなら点を定義してくれ
人様に概念の定義を訊くのはそれからだ
0269１３２人目の素数さん
垢版 |
2022/04/09(土) 08:21:40.32ID:4PMvR07C
でもたしかブンゲンさんが代数幾何学における点の説明をしていた気がする
辛い時代だわ
0270１３２人目の素数さん
垢版 |
2022/04/09(土) 10:16:03.52ID:llFTLR2i
>>265
より正確にはロバーツさんが指摘しているのは、グロタンディーク宇宙なのかトポスの比喩として使われる宇宙なのか分からないこと
山下さんのFAQはグロタンディーク宇宙で解釈しても良いとあるが、トポスと解釈できる部分があるというロバーツさんの見解から見ると誤り
一方査読が通ったときの望月さんからの回答をまとめたQAでは、宇宙が1960年代に定義されたとあるが、奇しくもグロタンディーク宇宙もトポスもSGA4で1960年代に定義されたので、望月さんが混同してるのかどうか分からない(望月さんは意識的に区別してるかもしれないというロバーツさんの指摘もある)
0271１３２人目の素数さん
垢版 |
2022/04/09(土) 10:45:01.81ID:wEL8D4Zv
>>266
もう数学やめろ。てかお前がやってるのは普通の人が言うところの数学ではない。
0272１３２人目の素数さん
垢版 |
2022/04/09(土) 11:24:49.58ID:e/w1U7uO
数学というかかの人は有名な算数もできない西暦もわからない人じゃないのかな？
0273１３２人目の素数さん
垢版 |
2022/04/09(土) 16:28:35.94ID:Xf1mWqYA
>>264
そもそもそのエピソードもほんとうかどうか分からないし
望月なんて人嫌いの変人なんだから
越川も星に質問すればいいのに
0274１３２人目の素数さん
垢版 |
2022/04/09(土) 17:36:32.95ID:Vk3RVvU9
>>270
少なくとも幾何学的な位相空間の射で収まるトポス理論の範疇ではない
トポスを対象にしているにせよ、モーダルというか拡張した設定なのは確かだろう
確率の期待値じゃないけども、無限の空間を区別しつつ足しあわせている感じだし
0275１３２人目の素数さん
垢版 |
2022/04/09(土) 18:57:58.62ID:y2/2SkES
>>270
やはり"universe"がどういう意味で使われているか、
誰も理解してないわけだな。
そんな数学があってたまるか。
0276１３２人目の素数さん
垢版 |
2022/04/09(土) 20:19:46.67ID:4PMvR07C
私たちは物自体を認識できず
ただ対象の徴表を知るだけである
たとえばここに100個のりんごがあったとする
このとき
赤いりんご
青いりんご
傷の付いたりんご
……
があるがこれらに別々のラベルを付けるとしたら
私たちは混乱してしまう
そこでこの「赤い」などといった性質を捨象した
「りんご」
という共通性を抽象するのである
このように私たちはりんごということばで
100個のりんごを認識するのである
私は決してりんごそれ自体を知っているわけではない
そしてりんごの意味を決めるのは書き手ではなく読み手である
解釈をするのはあくまでも読み手なのである
あなたのりんごはどんなりんごだろうか？

たとえばAIの認識論にも通ずると思われる
0277１３２人目の素数さん
垢版 |
2022/04/09(土) 20:24:23.07ID:4PMvR07C
イデアがわかればイデアルもわかる(嘘)
0278１３２人目の素数さん
垢版 |
2022/04/10(日) 07:49:38.21
>>264
＞RIMSの越川は、早くから3-12の証明に疑問を持ち
＞望月に聞いてみたが、「自明」の一言で切り捨てられた
　オボカタハルコも「200回以上セイコウしています！」と豪語してたか
　実際にはSTAP細胞の生成に1回も成功しなかった
　どうやらセイコウ＝成功ではなく、（S氏との）性交だったらしい
　オボカタ　ツラはともかく巨●だったし
0279１３２人目の素数さん
垢版 |
2022/04/10(日) 07:52:34.76
>>265
＞IUT論文中に出てくる"universe"が
＞学術用語としての宇宙なのか、
＞それとも口語としての宇宙なのか
　後者（口語としての宇宙）は意味がない
　数学科で数学を学んだ者なら疑いなくそう思う
　こんな疑問を口にするのは数学科に入れなかったド素人だけだろう
　ま、世の中の９９．９％はド素人なわけだが・・・
0280１３２人目の素数さん
垢版 |
2022/04/10(日) 07:57:43.69
>>266
プラトニズムは数学界におけるフォークロアにすぎない
数学界におけるオーソドクシーはフォーマリズム
そうでなければ証明が意味を持たない

もちろん射影幾何学も完全にフォーマリズムの中で扱える
知らないヤツは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
0281１３２人目の素数さん
垢版 |
2022/04/10(日) 08:03:52.43
>>276
4PMvR07Cは「ミュンヒハウゼンのトリレンマ」の話をしたいらしい
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ミュンヒハウゼンのトリレンマは
知識・論理などの確実な根拠が得られることはない
という懸念を提起する問題である。

１．どんなものでも正しいといえるためには根拠が必要である。
　　あるものAが正しいといえるにはその根拠Bが必要である。
　　また根拠Bが正しいといえるにはその根拠Cが必要である。
　　また根拠Cが正しいといえるにはその根拠Dが必要である…
　　と根拠を要求すれば無限に続くことになる（無限背進）のではないか

２．どこかで「原理」や「証明はなくても正しいとみなす」といった
　　それ以上根拠を問えないような理由（ナマの事実）を立てて
　　1の連鎖を止める場合、その理由自体は正否が保障されないので確実ではない

３．もしA→B→C→D→…の連鎖がどこかでAに戻ってくるならば
　　循環論法になり無効になる
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
0282１３２人目の素数さん
垢版 |
2022/04/10(日) 08:06:20.80
>>281
もちろん、フォーマリズムにおいて必ず無定義語が出てくるのは自明である
しかしそれはプラトニズムの正当化とは全く無関係である

また、宇宙のような高度に複雑な概念を無定義語として導入することは絶対にない
それは数学における論理の全面的な否定である
0283１３２人目の素数さん
垢版 |
2022/04/10(日) 08:10:58.05
>>277
＞イデアがわかれば…

しかしながら実際にはイデアというのはいわば妄想であって
決してわかりようがないものである

プラトンも洞窟の比喩で喝破している
「実体があるから影がある」のではない
影から実体とかいう”架空の存在”をデッチあげているのである
そしてそのデッチあげた”架空の存在”を前提とすれば
影の行動が何の矛盾もなく整合的に説明できるならば
そのときその”架空の存在”はもっともらしいとみなされるのである

https://ja.wikipedia.org/wiki/%E6%B4%9E%E7%AA%9F%E3%81%AE%E6%AF%94%E5%96%A9
0284１３２人目の素数さん
垢版 |
2022/04/10(日) 08:15:16.89
アインシュタインは物理現象から絶対的同時という実体が構成できないことを示した
つまり観測結果を整合的に解釈するためには光速の不変性を前提せざるを得ず
その結果同時の不変性は否定されるのである
0285１３２人目の素数さん
垢版 |
2022/04/10(日) 08:18:33.54
望月新一が成功したこと
・ABC予想を導く有望な前提として予想3.12を発見したこと
望月新一が失敗したこと
・予想3.12を現在の数論の前提から証明すること
0286１３２人目の素数さん
垢版 |
2022/04/10(日) 09:18:14.97ID:JfaVaId9
今夜、お見逃し無く
4月10日(日)午後9:00
NHKスペシャル「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
30秒予告動画つき
https://www.nhk.jp/p/special/ts/2NY2QQLPM3/episode/te/PMMKK4872L/
初回放送日: 2022年4月10日
２０２０年春、数学の難問“ａｂｃ予想”を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？前代未聞の議論を追い、数学の魅力に迫る。▼語り・小倉久寛
0287１３２人目の素数さん
垢版 |
2022/04/10(日) 11:24:31.72ID:vV+fd845
theHigherGeometerがNスペを前に考えをツイートしているが、
トーマスCヘイルズがケプラー予想を証明したときになかなか浸透せず、袖をまくってチームをアッセンブルし、より詳細な証明を与えた、
そして今回何故それができなかったというのは本当にその通りだな
次世代センターというのをわざわざ京都大学の研究所に作りながら、何故「自明」を埋める取り組みには入らないのか違和感を禁じえない

余談だがヘイルズ単独のwikipediaの記事が、英語、中国語、フランス語、ドイツ語などはあるのに日本語だけない
ケプラー予想をコンピュータを用いて証明した偉大な数学者の記事が、日本だけないのはなぜだろう？
0288１３２人目の素数さん
垢版 |
2022/04/10(日) 11:55:34.25ID:PUjVMv57
自明を埋める取り組みは当然やったしやってるやろ
できなかったしできてないだけ
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況