- 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
- 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を経由せずにフェルマー予想の別証明ができるという話は
なかった
- 368 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 09:32:01 ID:BbeHwTpV.net]
- >>346
アホですか？
それこそまず真っ先にやらなあかん事やろ？
今までの数学の言語では使わない言葉使いする論文書く分にはいくらでも構わないしそんな論文いくらでも探せばあるやろ
超準解析なんかそれ
ヒルベルトの第20問題の弱い形の証明のアルティンの証明も広い意味で超準解析と言えなくはない、(使ってないけど)
しかしそれをやっていいのはその言葉使いによる証明が普通の数学の“保存拡大”である事の証明ができたあとだし、それができてないならそんなもんろんぶんになどならんわ
そもそもその作業に何十年もかからんし
なんも知らんのやったら黙っとけ
- 369 名前：１３２人目の素数さん [2022/04/11(月) 10:00:04.89 ID:dfLs5v3w.net]
- 山形の底辺准教の考える理系学問
「既知の証明済みの定理の順列組み合わせで新しい学問を作らなければならない」
「自分の信じる妄想に反する発言は、自分から見ると頭が悪く見えるから、黙っとけ」
現実の理系学問
「既知でも証明済みでもなくとも、予測や仮説を置いてそれに基づいて学問体系の拡張を試み、それが多くの部分で妥当性や新規の発見をもたらすなら
最初の予測や仮説に関する証明は数十年、数百年先に先送りしても支障はない」
- 370 名前：１３２人目の素数さん [2022/04/11(月) 10:01:21.56 ID:TKY3tNzR.net]
- >>355
そもそもお前は数学の勉強もしていなければ
医学研究科の学位論文研究すら完成させていない
還暦間際の底辺准教なのだから黙っとけ
- 371 名前：１３２人目の素数さん [2022/04/11(月) 10:07:41.17 ID:TKY3tNzR.net]
- > それができてないならそんなもんろんぶんになどならんわ
脳に異常が生じると言葉が平仮名表記になるんですね
判ります
医学研究科に、医学と無関係のラマン散乱実験報告を出した時も、脳に異常が生じて平仮名表記で論文を書いていそう
- 372 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 10:24:35 ID:SDXbLN9k.net]
- >>357
なんでオレが医学部の学位取らんとダメなんだよ
アホかバカ信者
もうオレが自分では太刀
- 373 名前：打ちできんくらいの数学経験持ってるのは感じでわかるんやろ？
それでも「レスバには負けん」の一心でアホなレスつけてくるとこが鬱陶しいんだよ
数学の話したいならまず教科書読め、論文読め [] - [ここ壊れてます]
- 374 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 10:34:37.76 ID:hHLBxVjR.net]
- Twitterでもさすがに懐疑論強くなってきたな
アクセプトされたあとでも疑われてる状態が続くとかえって怪しまれるよね
- 375 名前：１３２人目の素数さん [2022/04/11(月) 11:06:12 ID:TKY3tNzR.net]
- >>359
こんな廃墟スレで幼稚な書き込みで粘着する奇人は
医学研究科学位研究論文未提出の底辺准教しかいない
多重人格で別人格だと言い張っても時間の無駄
- 376 名前：１３２人目の素数さん [2022/04/11(月) 11:11:45.95 ID:TKY3tNzR.net]
- 底辺准教は数学基礎論のベースとなる非古典論理の学部教科書をちょっと読んだだけでIUTの全否定をし始めて、それ以外の数学知識は匿名掲示板の難癖付けの末に相手から聞き出した耳知識でしかないだろ
還暦間際にもなってフェルマーの最終定理の問題定義すら知らずに、全然違う式をフェルマー最終定理のバリエーションだと思い込んで延々と罵倒質問をしていた光景には大爆笑したぞ
身元も所属も学位論文取得経緯も現在の職場での日干し具合も容姿容貌コンプレックスや性的コンプレックスも失便癖とその原因もメンタル疾患も過去の犯罪履歴も全部バレているのに、猿芝居を繰り返すな
- 377 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 11:26:07 ID:YD/cjUeG.net]
- >>361
誰の話か知らんけどお前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね？
それすらわからんレベルの能無しか？
- 378 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 11:27:24 ID:YD/cjUeG.net]
- ああ、このスレで山形がどうこう言ってるキチ◯イか
- 379 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 11:40:26 ID:SQVmwMXh.net]
- NHK見て来たが、結局アカンのか？
- 380 名前：１３２人目の素数さん [2022/04/11(月) 11:51:52.85 ID:dfLs5v3w.net]
- >>363
匿名掲示板で数学力云々言い出す奴は
現実世界では誰にも相手にされていない日干し
ソースは数学板の書き込み全般
- 381 名前：１３２人目の素数さん [2022/04/11(月) 11:53:18.66 ID:dfLs5v3w.net]
- >>364
IUTスレの山形云々の底辺大准教がキ チ ガ イなのは
公知の事実だから伏字は不要
- 382 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 11:55:53.07 ID:aT6IgAdi.net]
- >>366
さよけ
そんなんだから落ちこぼれたんだよ能無し
- 383 名前：１３２人目の素数さん [2022/04/11(月) 11:58:31.62 ID:dfLs5v3w.net]
- 底辺准教が50過ぎにもなって
非古典論理の学部教科書をちょっと読んだだけで
「お前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね？」
と言い出した理由は、現実には統計物理の問題解決もできなければ、統計処理の基礎も理解しないまま27年間名前だけの教員を名乗りネット三昧で人格を荒廃させてきた黒歴史を隠すため
もしこの底辺准教に数学力が少しでもあったなら
自身の過去27年間の妄言の大半は無かった
- 384 名前：１３２人目の素数さん [2022/04/11(月) 12:01:12.46 ID:dfLs5v3w.net]
- >>368
底辺准教が学歴と知能と数学力と底辺大学職員としての落ちこぼれ履歴に強い劣等感を持っているから
小学生レベルの幼稚な言葉が次々と発せられる事はよく知ってるよ
現実に学歴と知能と数学力のあるひとは、赤の他人には興味がないからいちいち幼稚な罵詈雑言は吐かない
- 385 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 12:06:15.67 ID:YaTOK+4L.net]
- TV見て来たけど、スレは荒らされてて
特定の人間に関する書き込みばかり、このABC予想に関してはもう終わった事象なのだと悟った
- 386 名前：１３２人目の素数さん [2022/04/11(月) 12:11:47.66 ID:dfLs5v3w.net]
- >>371
匿名掲示板数学板の関連スレは
偏差値49の底辺大学の還暦間際の非数学系准教の
妄想と嫉妬と暴言のための落書き帳に過ぎないから
スレも准教も最初から終わっている
- 387 名前：１３２人目の素数さん [2022/04/11(月)
]
- [ここ壊れてます]
- 388 名前：12:16:45.10 ID:ZDR6apsE.net mailto: 否しかないものを極端な人の意見を探してきて「賛否両論」と言って中立ぶるのは、ほんと卑怯な論法だよな []
- [ここ壊れてます]
- 389 名前：１３２人目の素数さん [2022/04/11(月) 12:18:46.09 ID:ZDR6apsE.net]
- （望月とその取り巻きを除く）数学の専門家が誰も興味持ってない分野を、書籍にしたりテレビ番組にする価値は無い
ホメオパシーだのがん放置療法だのと同じ
- 390 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 12:19:20.02 ID:epCp8ZTQ.net]
- >>372
「あう」が昼間っから発狂してるな
働かないなら寝ろ
- 391 名前：１３２人目の素数さん [2022/04/11(月) 12:21:25.14 ID:ZDR6apsE.net]
- IUT理論なんて、わざわざNHKが特集を組むほどの内容ではない
京都の地方局が「京大にかわった先生がいる」程度でいいだろう
学者の地位を利用して、価値の無いものを価値があるように見せるのは、全く正義に反すること
恥を知れ
- 392 名前：１３２人目の素数さん [2022/04/11(月) 12:27:06.46 ID:ZDR6apsE.net]
- × 賛否両論
× 証明の正しさをめぐる議論が続いている
○ 本人とその取り巻き以外誰も相手にしていない
- 393 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 13:17:30.57 ID:JuOOdYeu.net]
- 「宇宙」なんて言葉を使ってしまうとあとでそれよりも大きなものを考えたくなる時に困らない？
super, hyper,ultraなんとかみたいに言葉のインフレになりそうな？
- 394 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 13:46:25 ID:j2yvbC9W.net]
- universeがそもそもグロータンディックの命名した奴をそのまま使ってるらしいから仕方ない
- 395 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 14:02:42.76 ID:Ryqo++fq.net]
- zfcなの？
zfcuなの？
- 396 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 14:06:38.00 ID:O/MA6m5h.net]
- >>853
のでは？じゃねぇよ何で関係者でもない人間が好意的に解釈してるんだよ？
等号の代わりに不等号で記すなら記すで一般に不等号で網羅しきれなきゃ駄目だろ
（それ込みで等号原理と言って良い気もするけどな)
だが、そのQp上での加算での振る舞いに於いて等号原理（不等号原理でもいいよ）を示すという
IUTが果すべき肝心な所で 且つ なのか 又は なのか怪しくなっている、て話だろ｡
abとbcの比較は出来るがa+bとb+cの比較が難儀、て言う｡
文系騙し的な要約だとこんな感じだろ
何でセタがこれしき書けないんだろ
- 397 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 14:26:58.45 ID:rPzq1VvD.net]
- AIにもバカにされるa_watcher
- 398 名前：１３２人目の素数さん [2022/04/11(月) 15:28:02.08 ID:HLDp6CaV.net]
- 文脈によって同じはずの対象が違って見えるというのは、まあ今後出てきてもおかしくない基礎論ではある
RとQpを区別するだけ、と言うが実際に区別しつつ代数体で統合して全体の歪みを評価したいのが
狙いだったわけだし。そのために縦と横で両立する因子を使っている
好意的に捉える必要はないが、ひとまず話を聞くのは重要よね
- 399 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 16:21:49.56 ID:uw+auT3v.net]
- もう何百回と行われたひとまずだわ。
- 400 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 17:37:10.07 ID:e3XMbBMA.net]
- IUTが出た最初の頃は「基礎論的にアヤシイ」という噂が立っていたが、
誰かが「そんなことはない。ZFCの中で完結する」みたいなコメントをしていたはず。
しかし、今となってはやっぱり「基礎論的にアヤシイ」ということか？
- 401 名前：１３２人目の素数さん [2022/04/11(月) 17:50:21 ID:ZNzP4S4o.net]
- >>371
アホか
5chなんて成功者に対する嫉妬と憎悪で出来てるんだから必然的にそうなる
このスレ見れば分かるだろ
- 402 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 18:20:55.90 ID:6qXzFM0T.net]
- ショルツ氏が実例を示したように、数学の証明は原理的にコンピュータで証明できるものであるというのが事実で、
10年前ならまだしも今ではショルツ氏やタオ氏など数学者たちの共通認識だろう
Cor 3.12の証明のFigure 3.8以降にギャップがあるのだから、証明を理解できたと主張する京大側は、この部分をコンピュータで証明できるように書けば良いだけ(もちろんコンピュータはかつとまたはを混同したりもしない)
ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
- 403 名前：１３２人目の素数さん [2022/04/11(月) 18:21:58.54 ID:g3Li4heo.net]
- >>386
逆に全く理解できてないのに何でそんな自信満々なんだ？
- 404 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 18:30:40.52 ID:6qXzFM0T.net]
- 2つ補足すると、Cor 3.12の証明は追加で解説されているという指摘があるが、求められているのは「コンピュータで証明できるように追加で書く」こと
SSレポートでショルツ氏とスティックス氏がやったことは、ギャップを埋めた上で矛盾しているということ
認識の違い云々はここでショルツ氏が行ったある種の単純化の話と思われるが、まずCor 3.12が証明できておらず、そこからショルツ氏がギャップを埋めようと単純化したという流れなので、ショルツ氏云々言っても証明できていないことは変わらない
- 405 名前：１３２人目の素数さん [2022/04/11(月) 18:37:53.35 ID:g3Li4heo.net]
- ちょうど京大には照井がいるのにな
- 406 名前：１３２人目の素数さん [2022/04/11(月) 18:40:09.53 ID:kHazKFoW.net]
- 通常の弱選言
∧ ∨
T T
F T
F T
F F
特別な弱選言
∨
T
F
F
F
強選言とは別にこれが考えられる
数学の命題とは(厳密な論理学的意味で)
TとFを指しこれに特別な意味はない
そこでこの2つの命題T,Fを表と裏としよう
このとき数学は常に表をとるべきだという思想があった場合にのみ
特別な選言を採用することになり∨と∧は命題として一致する
これを回避したい場合や数学が常に表をとるという思想に至らない場合
弱選言かあるいは強選言を選ぶことになる
私の実証だと強選言をとった場合
・論理和の冪等律が不成立
・それに伴い通常の束が定義できない
ということになる
これより通常の弱選言を選ぶ他ないという結論に至るのが普通かも知れないが
数学は常に正しいという妄言に付き合うとしたら
この弱選言に疑問をもつこともまた自然だろう
- 407 名前：１３２人目の素数さん [2022/04/11(月) 18:49:30.60 ID:kHazKFoW.net]
- 因みに自然演繹であれば
通常の弱選言でも∧と∨が一致するという論証も可能である
しかしそれでは∧と∨の違いがないので
どうするべきかを考え中である
便宜的には通常通り
∧から∨への導出は可能
∨から∧への導出はできない
と決めている
- 408 名前：１３２人目の素数さん [2022/04/11(月) 18:53:21.58 ID:kHazKFoW.net]
- 強選言(特別な弱選言)だと失うこともあるが
論理学的等号をきちんと定義することができる
A〜B:⇔[(A∧B)∨(¬A∧¬B)]
このとき等号と同値〜を同一視する
正直数理論理学とは何なのかわからない
- 409 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 20:22:52.13 ID:zlH2JgMQ.net]
- 認識の違いとか言うけどさ、ショルツも馬鹿じゃないから、そんなこと理解したうえで批判してるんじゃないの？恐ろしいのは、本来、科学的であるべき数学の世界が政治的になってること。
- 410 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 21:34:51.89 ID:TT6jLpw7.net]
- >>387
量子を使ったコンピューティングならできるんじゃね？
「量子コンピューター」ってことじゃないよ。
あれは量子をつかってこれまでの計算やってるだけだから。
- 411 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 21:39:59.85 ID:TT6jLpw7.net]
- 例えば、「正しいってことが認識できなかった」としても、工学的な進歩ののち「認識できるようになる
- 412 名前：」ってのは物理学ではいくらでもあるよな []
- [ここ壊れてます]
- 413 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 21:40:38.60 ID:8HAEwxO7.net]
- 普通のコンピュータでもできるしやらなあかんという話題はずっとこのスレで出てる
でもやらない
お金さえあればさして難しい話でもない
でもやらない
- 414 名前：１３２人目の素数さん [2022/04/11(月) 22:11:25.80 ID:rHmrbBff.net]
- .>>387
>ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という
「間違い」を明確に書いてしまっている
望月サンそんなこといってんの？
もうこれは完全な駄々っ子の開き直りだねｗ
ＮＨＫのいう「認識論」の違い何てものではない
そういやブンゲンが、望月の証明にはギャップはない「と思う」とかいっていたが、
「思う」ってなんだよｗ
ギャップがないなら機械で検証できるはずで、それができない=ギャップがあるってこと。
- 415 名前：１３２人目の素数さん [2022/04/11(月) 22:12:55.27 ID:/IMxI9vE.net]
- 鼻毛が出ているファルティングスが気になる。
「ノーと言える人間」って ｗ
望月は、指導教官の私からみると素直な学生でした。
私と意見が対立することはほとんどありませんでした。
望月が正しい場合が多かったですが、間違っていても、
彼は私の指摘を素直に受け入れました。
しかし、私はａｂｃ予想を、博士論文のテーマとしては与えませんでした。
学生に挑戦させたとしても、数年考えて何もできなかったということになるのが落ちですからね
インタビューと、その後のナレーションが、「さかしま」になっている。
ａｂｃ予想が博士論文のテーマとならなかったことを、望月青年が残念がったのかどうかは分かりません。
しかし博士課程修了後、望月青年は意外な行動に出ます。引く手あまただった欧米の大学のポストには目もくれず、
少年時代に数年間だけ過ごした日本に帰ることを決めたのです。
- 416 名前：１３２人目の素数さん [2022/04/11(月) 22:21:06.08 ID:dfLs5v3w.net]
- >>387
君の話は50年前とか30年前の楽観的な未来像を数十年遅れで主張しているだけで
その主張には根拠もなければ、ギャップを埋める作業を君自身全くやらない事も判明済みだからお話にならない
君が14年前に嘘だ詐欺だニセ科学だと喚いた
有名な未科学現象の統計力学的トリックの解明くらい10年もあれば君でも出来るだろうと10年間様子見をしてみたが
結局君は10年間何も成し遂げず、ただ目先のネタを否定するだけの反知性主義的な生活しかしていない
- 417 名前：１３２人目の素数さん [2022/04/11(月) 22:24:24.46 ID:dfLs5v3w.net]
- 数学者でも無ければ、学位論文すらまともに書けず
学問的成果も皆無のまま定年間際の泡沫教員が
ここまで大上段に虚勢を張るのは
自己愛性人格障害か誇大妄想狂以外の何者でもない
> ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
> とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
- 418 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 22:24:50.30 ID:yXc8LPa6.net]
- ギャップを埋める作業をやる責任があるのは>>387ではなく望月や支持者だろう
- 419 名前：１３２人目の素数さん [2022/04/11(月) 22:27:28.16 ID:TKY3tNzR.net]
- そもそもYamagata Universityに、コンピュータによる定理証明を研究しているアクティブな研究者なんてきっと居ないだろ
身の回りで誰もやっていないし当然自身も全くやっていない分野の仕事について
あたかもできて当たり前のような口の利き方をするのは痛々しいね
- 420 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 22:27:34.93 ID:ro0sNBqZ.net]
- >>401
キチガイa_watcherは寝てろよ
- 421 名前：１３２人目の素数さん [2022/04/11(月) 22:27:59.89 ID:TKY3tNzR.net]
- >>395
気狂いの妄想ばかりだな
- 422 名前：１３２人目の素数さん [2022/04/11(月) 22:30:30.67 ID:PaufHmS2.net]
- https://www.weblio.jp/content/%E6%B1%9A%E8%A8%80%E7%97%87
- 423 名前：１３２人目の素数さん [2022/04/11(月) 22:31:14.47 ID:TKY3tNzR.net]
- >>397
さして難しくないのであれば
Yamagata Universityでやって成果を出せよ
匿名掲示板で虚勢を張って自我が肥
- 424 名前：大しているだけで
現実にはYamagata Iniversityでその分野の成果など何も出していないだろ
現実と向き合えよ [] - [ここ壊れてます]
- 425 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 22:31:43.50 ID:SLB0iWV2.net]
- >>362
その底辺を退学になった人間の底辺以下のゴミに数学を学ぶ権利はない
- 426 名前：１３２人目の素数さん [2022/04/11(月) 22:33:44.27 ID:dfLs5v3w.net]
- おお、山形大学理学部旧物質生命化学研究室の准教が
IUTの自動定理証明に名乗りを上げたという事か
定年まであと10年あるのだから、必ず結果を出せるよな
期待してるぜ
- 427 名前：１３２人目の素数さん [2022/04/11(月) 22:34:50.69 ID:dfLs5v3w.net]
- >>408
匿名掲示板上の書き込み全てが底辺大関係者の物だと思い込む関係妄想障害は、専門医に相談しろ
- 428 名前：１３２人目の素数さん [2022/04/11(月) 22:37:52.84 ID:dfLs5v3w.net]
- すげぇよな、20年間何も成果を出さずにただ匿名掲示板で虚勢を張っていただけの教員は
自分が責められると、責めているのは自分の大学の関係者だという妄想を振り回して
底辺大内部のヒエラルキーに話題をすり替える
でもそんな底辺大にわざわざ関わる物好きは
件の教員ただ一人なのがこのスレの現状
- 429 名前：１３２人目の素数さん [2022/04/11(月) 22:40:27.69 ID:TKY3tNzR.net]
- >>408
とりあえず、君の底辺大内部のトラブルの話は
底辺大内部で解決しろと現学長と現学部長に
再三伝えてあるから
以降底辺大内部のトラブルの話は学長か学部長と議論しろ
ほんと毎回毎回妄想で底辺大内部トラブルの話を持ち出して、底辺大教員はどうしようもなく馬鹿だな
- 430 名前：１３２人目の素数さん [2022/04/11(月) 22:44:01.67 ID:NnURackA.net]
- おすすめのアルミホイル教えて
- 431 名前：１３２人目の素数さん mailto:sage [2022/04/11(月) 22:44:15.27 ID:vwTJ10On.net]
- セタとどっこいの能無しいるな
|
 |
