[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
196(1): 2022/04/05(火) 18:33:14 ID:Uci1k9jl(1)調 AAS
しかし君たちパッとしない私大出身のくせに
よくそこまで上から目線になれるものだねえ
197(1): 2022/04/05(火) 18:41:45 ID:cSlb9g9q(1)調 AAS
エルデスシュトラウス予想を3日で解決しました(｀・ω・´)
198: 2022/04/05(火) 18:51:49 ID:SH13sU7T(1)調 AAS
IUT理論とか常温核融合みたいなもんだろ
199: 2022/04/05(火) 18:54:22 ID:pqhBVIO3(5/5)調 AAS
常温核融合のほうがまだ現実的だろ
200(1): 2022/04/05(火) 22:05:20 ID:o19/V9To(1)調 AAS
Dupuyが言っていたScholze/Stixの問題は恐らく、IUTTでは双曲線Xから始まりエタール基本群π1(X)に同一視して議論しているが、SSによればXの同型で解決できない図式の非可換性はπ1(X)の同型を使っても解決できないという話だろうか
特にSSはXの同型が図式の可換性を決めているとして、π1(X)の無限に多くの同型コピーをある固定されたX0に対するπ1(X0)で置き換えられるということだったと思うが、
確かにXがまず前提で、同一視したπ1(X)もXの同型で統制されるというのは、直感的にはSSが正しいように見える
このあたりはRIMSはどう説明しているのだろう？
201(1): 2022/04/06(水) 19:06:19 ID:zgHg38x7(1)調 AAS
4月10日（日）NHK総合で21時から、NHKスペシャルが放送される。
まさに、IUT理論とABCをやるようだぜ。
どんな内容になるのかな？
202: 2022/04/06(水) 19:17:50 ID:9ftcahqc(1)調 AAS
>>201
天羽さんが出演するらしい
203: 2022/04/06(水) 19:18:34 ID:21uuO8ch(1)調 AAS
>>200
結局のところ望月の言う通りスキーム論的ではないが、Rの因子を見れば自明というSSが正しいという印象だな
議論が混乱しているように見えるのはそこがちょっとややこしいから
204(1): 2022/04/06(水) 19:27:10 ID:BFWM7svZ(1)調 AAS
まさいはサイディか
emsと判断が分かれたな
205(1): 2022/04/06(水) 20:35:54 ID:CiIQY/ad(1)調 AAS
>>197 訂正
計算間違いが見つかりました
206(1): 2022/04/06(水) 21:23:52 ID:2i2YEL0i(1/2)調 AAS
最近マサイのレビューは質の低下が著しいね。
ポイント目当てで変な中国人や中東人がアブストやイントロコピペしたようなインチキレビューばかり。
207: 2022/04/06(水) 21:25:33 ID:PzYF8t8g(1)調 AAS
>>206
ポイントって何？
208: 2022/04/06(水) 21:27:28 ID:2i2YEL0i(2/2)調 AAS
レビューするとamsの本とか買えるポイントがもらえる
209: 2022/04/06(水) 21:56:31 ID:kHBcxboE(1)調 AAS
>>196
動画ﾘﾝｸ[YouTube]
この数学者は東京理科大卒、ペンシルベニア大学PhDだけどな。
この人がNHKに出演して望月論文の国際評価について正直に発言したら、
ＮＨＫを評価するよ。たぶんそうはならないだろうけど。
210(1): 2022/04/06(水) 22:59:15 ID:NqqRUz4j(1)調 AAS
すくなくとも理科大は
間違いなくパッとしない私大だなｗ
211: 2022/04/07(木) 00:29:52 ID:BZyijq31(1)調 AAS
まゆゆ
212(1): 2022/04/07(木) 02:46:47 ID:ZSqLc+WW(1)調 AAS
>>205 訂正
3時間前に計算間違いを修正しました
213: 2022/04/07(木) 04:57:18 ID:1EFZZmtr(1/2)調 AAS
関西の大学で学部卒どまりなら全員パッとしないに決まり切ってる
214(1): 2022/04/07(木) 09:28:48 ID:7iJv7fsv(1)調 AAS
より一般に、日本の大学卒(院に進んだ人も含む)は全員ぱっとしない
215(2): 2022/04/07(木) 12:47:10 ID:TqCffHBW(1)調 AAS
数学の難問「abc予想」証明をめぐる激論の背景とは？
NHKスペシャル「数学者は宇宙をつなげるか？abc予想証明をめぐる数奇な物語」
4月10日（日）［総合］後9:00
2020年春、数学の難問 “abc予想” を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？ 前代未聞の議論を追い、数学の魅力に迫る。
【語り】小倉久寛
216: 2022/04/07(木) 13:29:39 ID:jPOlDp66(1)調 AAS
激論ww
続いてますかねぇ？wwww
217(2): 2022/04/07(木) 16:22:22 ID:0uPPsb0p(1/2)調 AAS
>>210
>すくなくとも理科大は
>間違いなくパッとしない私大だなｗ
多分偏差値の事を言ってるんだと思うけど
偏差値とか何も関係ない
或る学生や卒業生なりがどれだけ「卒業してからも学ぶ姿勢で居続けている」かは
その個人次第
逆に偏差値の高い大量の人間も卒業したあとは
偏差値自慢や肩書き自慢以外に何も残らない連中など掃いて捨てるほどいる
218: 2022/04/07(木) 16:27:08 ID:0uPPsb0p(2/2)調 AAS
>>215
>だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。
この表現は正しくない。ダメだコリャ
激論なんかない。ショルツとかごくごく一部のモノ好きが噛みついてあげただけ。
数学界からは「価値や興味を感じて貰ってない」という表現が正しい。
219: 2022/04/07(木) 16:58:30 ID:4VKQ8qaV(1)調 AAS
理科大出身で数論ときてすぐ武田が浮かんだが
何でまたユーチューバーなんかやってんだ…
220(1): 2022/04/07(木) 20:14:54 ID:5K+g8DdT(1/6)調 AAS
>>187
山形の便所虫の書き込みはキーワードで判るけど
コテを付けておいてくれ
コテが付いてればレスのスキップが楽になる
221: 2022/04/07(木) 20:18:09 ID:ur1qWl0S(1)調 AAS
>>220
長野の便所虫の書き込みはキーワードで判るけど
うんちのしみを付けておいてくれ
うんちのしみが付いてればバカの炙り出しが楽になる
222: 2022/04/07(木) 20:34:29 ID:5K+g8DdT(2/6)調 AAS
山形のクソ虫が関係妄想障害で意味不明の事を書いても
健常者には一切理解不能だから
今後は名前欄に「天羽優子」って書いとけよ
メール欄も埋めろよ
223: 2022/04/07(木) 20:36:42 ID:5K+g8DdT(3/6)調 AAS
>>217
ちゃんと名前欄に「天羽優子」
メール欄には医学研究科学位研究未完にてラマン散乱測定報告を提出って書いとけよ
そしたら落ちこぼれの虚勢だと一目でわかる
224(1): 2022/04/07(木) 20:37:46 ID:6oPiORRi(1)調 AAS
望月拓郎さんが何でブレークスル−賞もらえたのかという話もあるが、
勿論Ｔ．ｍｏｃｈｉｚｕｋｉの業績もさることながら、
いまや世界では京大のモチズキの名が
証明の不備を指摘すると逆上した人として語られているので、
これじゃあんまり拓郎さんがかわいそうなので、
誤解を解くためにも太っ腹なブレークスルー財団が
一肌脱いであげたんじゃないの。
225: 2022/04/07(木) 20:40:17 ID:1EFZZmtr(2/2)調 AAS
>>214,217
戦前の必死に徴兵逃れしてた連中は
欧米に渡航して誤魔化そうとしたり
公然と（入るまでのお勉強はそりゃあ必死で）帝大に進学在籍して（在籍中は当然全力でまったりと頭脳を休めて）やり過ごそうとしたり
もうちょい楽な優遇されてる理工系高等教育機関狙ってたりしてた。
226: 2022/04/07(木) 20:42:56 ID:5K+g8DdT(4/6)調 AAS
>>224
お前の話って常に嫉妬と妄想ばかりで中身がないから
名前欄に天羽優子見習いって書いとけよ
そしたらNGに入るから処理が楽
227(1): 2022/04/07(木) 20:42:58 ID:4oVV4l+t(1)調 AAS
a_watcherって頭悪いね
君の指示に誰か従うとでも思っているのかい？
228: 2022/04/07(木) 20:46:06 ID:5K+g8DdT(5/6)調 AAS
>>227
お前、名前欄に天羽優子って書き忘れてるぞ
名前欄に名前も書けない知恵遅れは数学板に書き込みをすんな
229(2): 2022/04/07(木) 20:49:27 ID:LFhtAE4e(1/2)調 AAS
ところでID消しのコテは死んだんか
自称数学科出身というから会話を試みたら
読んだことのない専門書の名前を挙げては
内容は読んでいないという言い訳ばかりして
空っぽの数学科学士詐称とすぐバレていたのが面白かったのにw
230: 2022/04/07(木) 21:16:32 ID:Ulgczdt3(1)調 AAS
>>229
とかいうおまえも数学科出てない白痴だろ
231(2): 2022/04/07(木) 21:45:41 ID:LFhtAE4e(2/2)調 AAS
IUTや数学とは直接的関係がないCategorical programming languageの専門書名を20年近く前の匿名掲示板過去ログから拾い集めて、しかも内容を読んでないと即座に言い出す気違いっぷりは常軌を逸脱している
そこは仮に読んでいなくても、Categories for the Working Mathematiciansを買って勉強し始めたくらい言っておけば
ああ30年前に勉強で挫折した学部卒の人なんだなと判断されて、門前の小僧程度の扱いはしてもらえるかもしれないのに
時代遅れの情弱バカにも程があるよな
やっぱ東北某県は時間の流れが30年くらい遅れているんじゃないかと
232(1): 2022/04/07(木) 22:42:44 ID:zQePMGIX(1)調 AAS
なんでＩＵＴと全く関係ない人の話ばっかしてんの？
233(1): 2022/04/07(木) 22:56:21 ID:5K+g8DdT(6/6)調 AAS
IUTと関係ない学位研究未完おばさんが暴れているから
梱包のぷちぷち潰しみたくぷちぷちしてるだ〜け〜
234: 2022/04/08(金) 04:04:06 ID:PSjy1L4X(1)調 AAS
オブボーン博士もしらないモグリが人に指図するなんざ10万年早い
235: 2022/04/08(金) 07:16:15 ID:k+/WkZKV(1)調 AAS
>>212 訂正
間違いであることが判明
236: 2022/04/08(金) 08:40:28 ID:6/zsp/4y(1/3)調 AAS
>>231
…と圏論理解できない北朝鮮人の馬鹿LFhtAE4eが発狂してます
237(1): 2022/04/08(金) 09:18:41 ID:7FLjxlQQ(1)調 AAS
なぜ北朝鮮人って分かるの？
238: 2022/04/08(金) 09:28:06 ID:GjmFBEsD(1/2)調 AAS
>>233
暴れてるのは明らかにお前の方だろ。
239: 2022/04/08(金) 11:00:17 ID:6/zsp/4y(2/3)調 AAS
>>237
もちろん分からんｗ
ネトウヨが一番言われたくない国籍を上げてみただけ
240: 2022/04/08(金) 13:01:57 ID:GRnQrCSc(1)調 AAS
山形とか滋賀連呼するヤツは不逞鮮人しかいないでしょ
241: 2022/04/08(金) 13:16:59 ID:NKkDQbdV(1/2)調 AAS
>>231
20年前の圏論的プログラミング言語って何？Haskellじゃなくて？
242(1): 2022/04/08(金) 14:26:04 ID:zDifpRFh(1)調 AAS
>>204
やっぱこのくらいがマトモな判断だろうな理解できないなら近づかなければいいだけで
believer だけで勝手にやっていれば？くらいに落ち着くのが常識的な反応なんだよ
積極的に貶めてやろう！と行動したドイツ野郎は反省するべきである
243: 2022/04/08(金) 14:40:14 ID:6/zsp/4y(3/3)調 AAS
>>242
Deutschland ueber alles!!!
動画ﾘﾝｸ[ﾆｺﾆｺ動画]
244: 2022/04/08(金) 15:08:52 ID:P3KoR13Q(1/2)調 AAS
長い論文を読み、森重文さんの招待に応じてわざわざ来日し、ある解釈のもとで成立しないことを示してくれた人が、貶めてやろうと思ってると思われるとか可愛そうだな
245: 2022/04/08(金) 17:21:22 ID:eHWO9m8Z(1)調 AAS
「ある解釈のもとで成立しない」
それじゃ批判としてダメじゃん
246: 2022/04/08(金) 17:33:58 ID:9X9CdPpt(1)調 AAS
批判としてどうかは置いといても、解釈できないものを、外堀埋める程度には議論を進めてくれたわけだから、一つの貢献だよね
247(1): 2022/04/08(金) 17:34:14 ID:zEflv34Z(1)調 AAS
アホか
普通の数学者が「こういう解釈したら成り立たなかった」ならもうそれは論文として通用してない
通常の数学者が普通に読んで“正しい解釈一択”しかあり得ない状態でなければ論文の体をなさない
ショルツは文句なく通常の数学力持つ数学者
248: 2022/04/08(金) 18:33:15 ID:NKkDQbdV(2/2)調 AAS
というかショルツに苦言を呈する外部の数学者がいない時点で状況は明らか
249: 2022/04/08(金) 19:36:20 ID:lebP1PRP(1)調 AAS
両論併記の罠ってやつだね。
実際には受け入れてる奴なんて取り巻きしかいないのに、
あたかも対等なように両論を取り上げる。
NHKはジャーナリスト失格だね。
250: 2022/04/08(金) 19:37:49 AAS
望月新一が「こう解釈すれば成り立つ」
というコメントができなかったから
アウトなわけだが
251: 2022/04/08(金) 19:41:36 AAS
＞「いや絶対に正しい」
でもなぜ正しいのかは示せない
望月新一は正気でないか噓つきかのいずれか
前者なら病院に入院したほうがいい
後者なら・・・死ね
252: 2022/04/08(金) 19:47:00 AAS
NHKはリーマン予想でも💩番組作ったから開き直ってんだろ
TVなんかもう終わりだ 焼かれちまえ
253(1): 2022/04/08(金) 21:50:13 ID:GjmFBEsD(2/2)調 AAS
>>247
いや数学なら普通に場合分けするだろ。
ある条件付きで証明したって価値があることも多々あるってのに何言ってんだこいつ。
254: 2022/04/08(金) 22:14:08 ID:izV8x806(1/2)調 AAS
要は相手の反論を絞り込めるからな
実際に望月は反論レポートを出した。内容的には噛み合っていないのだが
255: 2022/04/08(金) 22:23:20 ID:H6F3SE9h(1)調 AAS
>>253
はぁ？
数学の勉強した事ないんやったらだまつとけや能無し
256: 2022/04/08(金) 22:50:40 ID:izV8x806(2/2)調 AAS
この言い争いもショルツが曲解した、狭い解釈として単純化したという誤解だよね
というより、有意味な部分を抽出したらこうなりましたという話であって、脚注に散々皮肉が書いてあるのだが
257: 2022/04/08(金) 22:50:54 ID:P3KoR13Q(2/2)調 AAS
ドイツでの取材を担当する会社が、ツイッターでNスペのabc予想にドイツ各地で参加させていただいたと述べていたけど、
ドイツということは御大出るかな？
258: 2022/04/09(土) 00:44:20 ID:J+m+AEz5(1)調 AAS
プーチンしかり平家然り秀吉しかり、
評判や権力だけでなんでも賞賛されるようになると
前頭葉が退化して人間狂っていくんだよなぁ。宇宙w
259(1): 2022/04/09(土) 01:46:41 ID:uGLQob3w(1)調 AAS
>>215
＞【語り】小倉久寛
ゴミ確定だろこれ・・・
260: 2022/04/09(土) 01:53:29 ID:wEL8D4Zv(1/2)調 AAS
本人は修士くらいの能力あれば間違いは明らかとか言ってるけどさ、
それを一流の数学者がわからないと言ってるんだから、もう頭がおかしくなってるのがどっちかは明らかだろ。
261(1): 2022/04/09(土) 01:59:34 ID:Vk3RVvU9(1/2)調 AAS
宇宙を繋げるかどうかではなくて、そもそもそんな異なる無限個の宇宙があるのかというのが
話の肝なんだけどな
Stixの最新コメントも取れたのかな？
262: 2022/04/09(土) 06:30:39 ID:8ggSR2VY(1)調 AAS
明日はこの程度では済まないだろうな
263: 2022/04/09(土) 06:34:51 ID:4PMvR07C(1/7)調 AAS
いよいよ明日ですね
264(2): 2022/04/09(土) 07:56:39 ID:g/U2FZ7o(1)調 AAS
そういえばRIMSの越川は、早くから3-12の証明に疑問を持ち望月に聞いてみたが、「自明」の一言で切り捨てられた、って話あったよね。
このｽﾚでその話をすると、必ず擁護派の人間が、
「越川もショルツの批判は初歩的な間違いがあると言っている」とか全然関係のない話持ちだして、
身内の越川ですら望月論文に疑問を持っていたという事実を抹殺しようとする。
これって何なんだろ。
RIMS内部じゃ望月論文を批判的に検討するという事が全く許されない雰囲気。
NHKはどうせ今度の番組で「東洋人の数学が認められない悲劇」とかいう方向にもっていくんだろうが、
もし日本数学に限界があるとするなら、権威者の言う事には黙って従ってろと言う体質だろう。
まあ、今回の番組でも越川は絶対登場しないだろうしねｗ
265(2): 2022/04/09(土) 07:59:57 ID:y2/2SkES(1/2)調 AAS
>>261
ロバーツもブログで文句言ってたわけだが、そもそもIUT論文中に出てくる"universe"が
学術用語としての宇宙なのか、それとも口語としての宇宙なのかすらはっきりしない。
前者なら、（拡大以外の）別の宇宙があるとか、宇宙を取り換えるとかナンセンス。
後者なら、単なる混乱の元。
更には『"宇宙際"についてのFAQ』には、どちらの解釈でもOKみたいなことが
書いてあって、開いた口がふさがらない。
266(2): 2022/04/09(土) 08:11:17 ID:4PMvR07C(2/7)調 AAS
意味を問うことなかれ
の精神はないのか？
射影幾何学の伝統からそうなっているはずなんだが
まあ東大様(小平)が形式主義批判をしていたから
これ定義なに？
とか
意味は何？
みたいなことが罷り通っているけど
本来の数学は形式主義なんだよ
単語に意味はない
その意味を知ればわかる
自明なんて言わせてたんだね
悲しいね
無知に説明しなければならないこの現代が
267: 2022/04/09(土) 08:12:59 ID:4PMvR07C(3/7)調 AAS
というか射影幾何学を知らない代数幾何学者も出始めている頃だから
おそらく形式主義すら理解していない
そうすると定義厨が発生するんだわ
でも形式主義の末路という感じも否めない
数学は何処に向かうのだろうか
268: 2022/04/09(土) 08:16:16 ID:4PMvR07C(4/7)調 AAS
形式主義を批判するなら点を定義してくれ
人様に概念の定義を訊くのはそれからだ
269: 2022/04/09(土) 08:21:40 ID:4PMvR07C(5/7)調 AAS
でもたしかブンゲンさんが代数幾何学における点の説明をしていた気がする
辛い時代だわ
270(2): 2022/04/09(土) 10:16:03 ID:llFTLR2i(1)調 AAS
>>265
より正確にはロバーツさんが指摘しているのは、グロタンディーク宇宙なのかトポスの比喩として使われる宇宙なのか分からないこと
山下さんのFAQはグロタンディーク宇宙で解釈しても良いとあるが、トポスと解釈できる部分があるというロバーツさんの見解から見ると誤り
一方査読が通ったときの望月さんからの回答をまとめたQAでは、宇宙が1960年代に定義されたとあるが、奇しくもグロタンディーク宇宙もトポスもSGA4で1960年代に定義されたので、望月さんが混同してるのかどうか分からない(望月さんは意識的に区別してるかもしれないというロバーツさんの指摘もある)
271: 2022/04/09(土) 10:45:01 ID:wEL8D4Zv(2/2)調 AAS
>>266
もう数学やめろ。てかお前がやってるのは普通の人が言うところの数学ではない。
272: 2022/04/09(土) 11:24:49 ID:e/w1U7uO(1)調 AAS
数学というかかの人は有名な算数もできない西暦もわからない人じゃないのかな？
273: 2022/04/09(土) 16:28:35 ID:Xf1mWqYA(1)調 AAS
>>264
そもそもそのエピソードもほんとうかどうか分からないし
望月なんて人嫌いの変人なんだから
越川も星に質問すればいいのに
274: 2022/04/09(土) 17:36:32 ID:Vk3RVvU9(2/2)調 AAS
>>270
少なくとも幾何学的な位相空間の射で収まるトポス理論の範疇ではない
トポスを対象にしているにせよ、モーダルというか拡張した設定なのは確かだろう
確率の期待値じゃないけども、無限の空間を区別しつつ足しあわせている感じだし
275: 2022/04/09(土) 18:57:58 ID:y2/2SkES(2/2)調 AAS
>>270
やはり"universe"がどういう意味で使われているか、
誰も理解してないわけだな。
そんな数学があってたまるか。
276(1): 2022/04/09(土) 20:19:46 ID:4PMvR07C(6/7)調 AAS
私たちは物自体を認識できず
ただ対象の徴表を知るだけである
たとえばここに100個のりんごがあったとする
このとき
赤いりんご
青いりんご
傷の付いたりんご
……
があるがこれらに別々のラベルを付けるとしたら
私たちは混乱してしまう
そこでこの「赤い」などといった性質を捨象した
「りんご」
という共通性を抽象するのである
このように私たちはりんごということばで
100個のりんごを認識するのである
私は決してりんごそれ自体を知っているわけではない
そしてりんごの意味を決めるのは書き手ではなく読み手である
解釈をするのはあくまでも読み手なのである
あなたのりんごはどんなりんごだろうか？
たとえばAIの認識論にも通ずると思われる
277(1): 2022/04/09(土) 20:24:23 ID:4PMvR07C(7/7)調 AAS
イデアがわかればイデアルもわかる(嘘)
278: 2022/04/10(日) 07:49:38 AAS
>>264
＞RIMSの越川は、早くから3-12の証明に疑問を持ち
＞望月に聞いてみたが、「自明」の一言で切り捨てられた
オボカタハルコも「200回以上セイコウしています！」と豪語してたか
実際にはSTAP細胞の生成に1回も成功しなかった
どうやらセイコウ＝成功ではなく、（S氏との）性交だったらしい
オボカタ ツラはともかく巨●だったし
279: 2022/04/10(日) 07:52:34 AAS
>>265
＞IUT論文中に出てくる"universe"が
＞学術用語としての宇宙なのか、
＞それとも口語としての宇宙なのか
後者（口語としての宇宙）は意味がない
数学科で数学を学んだ者なら疑いなくそう思う
こんな疑問を口にするのは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
280: 2022/04/10(日) 07:57:43 AAS
>>266
プラトニズムは数学界におけるフォークロアにすぎない
数学界におけるオーソドクシーはフォーマリズム
そうでなければ証明が意味を持たない
もちろん射影幾何学も完全にフォーマリズムの中で扱える
知らないヤツは数学科に入れなかったド素人だけだろう
ま、世の中の９９．９％はド素人なわけだが・・・
281(1): 2022/04/10(日) 08:03:52 AAS
>>276
4PMvR07Cは「ミュンヒハウゼンのトリレンマ」の話をしたいらしい
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ミュンヒハウゼンのトリレンマは
知識・論理などの確実な根拠が得られることはない
という懸念を提起する問題である。
１．どんなものでも正しいといえるためには根拠が必要である。
あるものAが正しいといえるにはその根拠Bが必要である。
また根拠Bが正しいといえるにはその根拠Cが必要である。
また根拠Cが正しいといえるにはその根拠Dが必要である…
と根拠を要求すれば無限に続くことになる（無限背進）のではないか
２．どこかで「原理」や「証明はなくても正しいとみなす」といった
それ以上根拠を問えないような理由（ナマの事実）を立てて
1の連鎖を止める場合、その理由自体は正否が保障されないので確実ではない
３．もしA→B→C→D→…の連鎖がどこかでAに戻ってくるならば
循環論法になり無効になる
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
282: 2022/04/10(日) 08:06:20 AAS
>>281
もちろん、フォーマリズムにおいて必ず無定義語が出てくるのは自明である
しかしそれはプラトニズムの正当化とは全く無関係である
また、宇宙のような高度に複雑な概念を無定義語として導入することは絶対にない
それは数学における論理の全面的な否定である
283(1): 2022/04/10(日) 08:10:58 AAS
>>277
＞イデアがわかれば…
しかしながら実際にはイデアというのはいわば妄想であって
決してわかりようがないものである
プラトンも洞窟の比喩で喝破している
「実体があるから影がある」のではない
影から実体とかいう”架空の存在”をデッチあげているのである
そしてそのデッチあげた”架空の存在”を前提とすれば
影の行動が何の矛盾もなく整合的に説明できるならば
そのときその”架空の存在”はもっともらしいとみなされるのである
外部ﾘﾝｸ:ja.wikipedia.org
284: 2022/04/10(日) 08:15:16 AAS
アインシュタインは物理現象から絶対的同時という実体が構成できないことを示した
つまり観測結果を整合的に解釈するためには光速の不変性を前提せざるを得ず
その結果同時の不変性は否定されるのである
285(1): 2022/04/10(日) 08:18:33 AAS
望月新一が成功したこと
・ABC予想を導く有望な前提として予想3.12を発見したこと
望月新一が失敗したこと
・予想3.12を現在の数論の前提から証明すること
286: 2022/04/10(日) 09:18:14 ID:JfaVaId9(1)調 AAS
今夜、お見逃し無く
4月10日(日)午後9:00
NHKスペシャル「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
30秒予告動画つき
外部ﾘﾝｸ:www.nhk.jp
初回放送日: 2022年4月10日
２０２０年春、数学の難問“ａｂｃ予想”を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？前代未聞の議論を追い、数学の魅力に迫る。▼語り・小倉久寛
287(1): 2022/04/10(日) 11:24:31 ID:vV+fd845(1)調 AAS
theHigherGeometerがNスペを前に考えをツイートしているが、
トーマスCヘイルズがケプラー予想を証明したときになかなか浸透せず、袖をまくってチームをアッセンブルし、より詳細な証明を与えた、
そして今回何故それができなかったというのは本当にその通りだな
次世代センターというのをわざわざ京都大学の研究所に作りながら、何故「自明」を埋める取り組みには入らないのか違和感を禁じえない
余談だがヘイルズ単独のwikipediaの記事が、英語、中国語、フランス語、ドイツ語などはあるのに日本語だけない
ケプラー予想をコンピュータを用いて証明した偉大な数学者の記事が、日本だけないのはなぜだろう？
288(1): 2022/04/10(日) 11:55:34 ID:PUjVMv57(1)調 AAS
自明を埋める取り組みは当然やったしやってるやろ
できなかったしできてないだけ
289: 2022/04/10(日) 12:22:09 ID:8eW9N5+O(1/5)調 AAS
>>232
語れるほど理解が追い付いて無いんでしょう…
お察しください。
290(1): 2022/04/10(日) 12:27:04 ID:8eW9N5+O(2/5)調 AAS
>>285
>>288
現在の数論に証明に必要な新しく使えるツール開発が必要
…ってｺﾄ!?
それかzﾌﾗﾝﾁｬｨｽﾞに改良が必要
…ってｺﾄ!?
291: 2022/04/10(日) 12:32:42 ID:8eW9N5+O(3/5)調 AAS
>>290
現在の数論での証明には
だたｿﾞ。
ツール開発とzﾌﾗﾝﾁｬｲｽﾞの改良両方とも必要な可能性もあるかも
…ってｺﾄ!?
∩„„∩
(・ω・)))
292: 2022/04/10(日) 12:34:58 ID:8eW9N5+O(4/5)調 AAS
ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
ﾓｯﾁｬﾏゎ天才
…ｮｼｯ!(現場係長)
293: 2022/04/10(日) 12:36:49 ID:8eW9N5+O(5/5)調 AAS
本ｽﾙﾙｪだたｿﾞ…!(悲鳴)
僕が誤爆しちゃいました!
…赦し亭…赦して!(消滅)
294: 2022/04/10(日) 18:24:47 ID:WD0niT1D(1)調 AAS
Dupuyによると
SSは望月が言ってもいないことから矛盾が生じたと主張しているとのことだな
295: 2022/04/10(日) 18:42:00 ID:uvtM1upb(1/6)調 AAS
へえ、証明に必要な具体的な計算方法がわからないと自白したDupuyがねえ
296: 2022/04/10(日) 18:53:33 ID:D22Cs4Gb(1/4)調 AAS
>>283
実体も無定義語だよね
その文章で実体という言葉を○○にしても
通じる(ようにして書いてある)
ソーカル事件と紙一重だとは思うけど
297: 2022/04/10(日) 19:02:34 ID:D22Cs4Gb(2/4)調 AAS
自分で書いたものが自分でわからないという時代が来る
298: 2022/04/10(日) 21:03:24 ID:Igee2D7R(1)調 AAS
おっ、天羽さん出てる！
299: 2022/04/10(日) 21:24:39 ID:RgZIeFZk(1/2)調 AAS
このスレのバカが粋がってたけど
結局「賛否両論」まで後退させられてて爆笑した
栗城、日木るなやらかしたNHKですら後退せざるを得ない状況w
まだ様子見だが証明したと言い切った時点でクソダニだろうな
300: 2022/04/10(日) 21:35:24 ID:RgZIeFZk(2/2)調 AAS
中身知らせず
付帯情報だけ垂れ流して解いたアピールは昔から一貫してるな
Qアノン、神真都Qと同じ
301: 2022/04/10(日) 21:54:16 ID:uvtM1upb(2/6)調 AAS
「対象に関する認識論」w
パワーワード過ぎる
302: 2022/04/10(日) 22:00:15 ID:uvtM1upb(3/6)調 AAS
うわー15日完全版商法かよ
うざ
303(2): 2022/04/10(日) 22:08:53 ID:QBNkdagM(1)調 AAS
賛否両論ってことはそれだけ常識を根本から覆す画期的な理論ってことさ
本当に数学に関して認識の変革を迫るような物なら理解されるのに100年かかってもおかしくない
304: 2022/04/10(日) 22:13:20 ID:mnE3e5qS(1/2)調 AAS
本人が出演を断ってるのは残念だなぁ
ちゃんと表舞台に出て自分の正しさをアピールしてほしかった
305: 2022/04/10(日) 22:14:30 ID:XPTTuNVK(1)調 AAS
アホか
番組で「コレで数学者は理論が正しいのか気をもまなくてよいとわかってホッとしたと思う」って言ってだけどまさにあのひと言に尽きるやろ
306(1): 2022/04/10(日) 22:17:42 ID:D22Cs4Gb(3/4)調 AAS
改めて「対応させる」というのを考えさせられました
たとえば
2を4に対応させるとは
像f(x):=x^2
に対して
σ(2^2):=4 i.e. 2^2=4
こういう解釈なんだと思いました
307(1): 2022/04/10(日) 22:17:47 ID:rnDmqF5s(1/3)調 AAS
完全版っていうほどのネタがあるんだろうか？
今のでだいたい出てるよね
劇場版出ても見に行くけどw
308(1): 2022/04/10(日) 22:18:52 ID:D1K6AzYt(1)調 AAS
もっと盛り上がるのかと思ってたがサッパリだな
なんだこの雰囲気
309(1): 2022/04/10(日) 22:19:10 ID:uvtM1upb(4/6)調 AAS
>>303
星が絡んでるせいか、説明はかなり良かったよ
「乗法的には同一視できるが加法的にはできない宇宙を区別する」という話だな
310: 2022/04/10(日) 22:19:36 ID:rnDmqF5s(2/3)調 AAS
>>303
CFGUやるなら
それなりに自前で全部証明しないとダメだろうし
その慎重さがあるとは思えないどね
311: 2022/04/10(日) 22:20:23 ID:rnDmqF5s(3/3)調 AAS
でもIUTのアイデアはかっこいいよね
超好き
好きなんだけどダメだろ
今のままでは
312(1): 2022/04/10(日) 22:20:55 ID:D22Cs4Gb(4/4)調 AAS
f:R×R→R
f(a,b):=a+b
σ:R→R
σ(a+b):=c i.e. a+b=c
313(2): 2022/04/10(日) 22:22:11 ID:mnE3e5qS(2/2)調 AAS
でもまじで数学の概念を根底から覆すような理論だったら受け入れられるまで本当に数十年掛かりそうだな
あのガロア理論だって40年くらいかかったわけだし
314: 2022/04/10(日) 22:25:35 ID:ipR4Ksxv(1/2)調 AAS
>>306
>>312
素敵です…!
315: 2022/04/10(日) 22:27:01 ID:uvtM1upb(5/6)調 AAS
>>313
いや、それは疑わしいな
異なる圏で考えている中で環構造をそれにつき同一視したり区別する、という考え自体は
別に難しくもなんともないからな。今の時代その程度でそんな時間かからんよ
勿論真偽はさておきな
316(3): 2022/04/10(日) 22:33:09 ID:VLhc55My(1)調 AAS
まぁ等号原理を要求しない言語理論を構築したいならすればいい
それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
驚きなのはそれを今までやらずに議論してたのかって事だよ
よくそれでアクセプトしたもんだよ
バカじゃないの
317: 2022/04/10(日) 22:33:55 ID:ipR4Ksxv(2/2)調 AAS
σ(2^2):=4 i.e. 2^2=4
σ(a+b):=c i.e. a+b=c
↑素敵です!
∧∞∧
(‖>ω<‖)
318: 2022/04/10(日) 22:44:20 ID:0Ruma1mp(1)調 AAS
対象に関する認識論
＞虚数の初出は16世紀だが、0 や負の数ですら架空のもの、役に立たないものと長らくされており、負の数の平方根である虚数はなおさらだった。
デカルトも否定的にとらえ、 「想像上の数」と名付けて、「虚数」の語源となった。
オイラーによる虚数単位 iの導入（1770年頃）、ガウスによる複素数平面の導入（1831年）を経て、徐々に多くの数学者、人々に受け入れられるようになっていった。
毎度おなじみのこと
どこにあるんだよ-1のルートとか 目の前に見せてみろ 気色悪い 役に立つまともな数学が出来るわけないだろ
319: 2022/04/10(日) 22:47:21 ID:7Y4nhNuU(1/2)調 AAS
まぁabc予想の証明は間違ってたとしても何らかの役に立っててほしい理論だな
320: 2022/04/10(日) 22:47:52 ID:1kKurBuw(1)調 AAS
「ショルツの権威ガー」ってのがカッコ悪かった
321: 2022/04/10(日) 22:53:50 ID:uvtM1upb(6/6)調 AAS
Woitは小物だが、その辺の平均的な院生よりは優秀だからな
322: 2022/04/10(日) 23:32:11 ID:LZJVV5M9(1)調 AAS
ちなみに、今までの数学の歴史で、今回のように、画期的な数学理論に対して権威ある数学者に批判されたけど、やはりその理論が正しかったということはあったんですか？
上下前次1-新書関写板覧索設栞歴
あと 680 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.019s