[過去ログ] Inter-universal geometry とABC 予想48 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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
ちなみに、今までの数学の歴史で、今回のように、画期的な数学理論に対して権威ある数学者に批判されたけど、やはりその理論が正しかったということはあったんですか?
323
(2): 2022/04/10(日) 23:44:27 ID:abaCLFcV(1)調 AAS
>>313
ガロア理論は埋もれていただけで、間違っていると言われたわけではないだろ。
それに情報の伝達が今とは比べ物にならない19世紀前半とくらべてもな。
324: 2022/04/10(日) 23:44:50 ID:7Y4nhNuU(2/2)調 AAS
無理数の発見
325: 2022/04/10(日) 23:53:39 ID:3MJJ/V4k(1)調 AAS
>>323
どっちかというとアーベル?
326: 2022/04/10(日) 23:54:37 ID:Bg/+fFe+(1)調 AAS
abc理論よりもずっと簡単なもので望月教授の考え方を使えるものってないの?
327
(2): 2022/04/11(月) 00:01:17 ID:ZNzP4S4o(1/4)調 AAS
>>ウォイト 博士「ショルツは数論の分野で最も才能に満ちた数学者です。
>>そのため、ショルツが理解できないとしたことは重い意味を持ちます。
>>多くの数学者は、『もうこれでこの問題については悩まなくてもよくなった』
>>と思うようになったのではないでしょうか」

このコメントで、
結局アンチがただの権威主義でしかないことが判明したことの意義は
計り知れなく大きいな
328: 2022/04/11(月) 00:08:11 ID:546Jncis(1)調 AAS
>>327
じゃお前がギャップを解消して
329: 2022/04/11(月) 00:34:31 ID:IE8EuojO(1)調 AAS
>307
完全版の予告が最後にあったけど
「対象に関する認識論」について少し触れた。

シュルツェが「間違っている」に対して、望月が「誤解している」との見解で、
その差は「対象に関する認識論」が根本にあるとのあらすじだから、そこに入るならば「必見」だね。
330: 2022/04/11(月) 00:40:37 ID:dE0iqR6W(1)調 AAS
>>323
望月先生も間違ってるという指摘はされてませんよね
331
(1): 2022/04/11(月) 01:14:19 ID:FCw01L20(1/3)調 AAS
果たしてこの理論を理解できてる人はこのスレに何人いるんだろうか?
332: 2022/04/11(月) 01:17:55 ID:sirnYUPb(1)調 AAS
誰もおらんよ多分
おそらく世界中で一人もいない
333: 2022/04/11(月) 02:15:54 ID:MjeY+vmJ(1)調 AAS
>>259
コネだよな両津勘吉の声優の時と言い

>>309
RとQpの区別としか言えてないけどな

>>316
そこなんだよな
334
(1): 2022/04/11(月) 02:23:45 ID:dfLs5v3w(1/15)調 AAS
このスレでイキっているガイジは
医学研究科の学位論文研究ができずに
報告さえ出せば学位の出るラマン散乱実験報告(医学と無関係)で空学位を取ったガイジだから
相手にしても時間の無駄

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

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

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

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

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

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

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

結局、以前から指摘されてた証明にあるギャップはどうなったの
351: 2022/04/11(月) 07:02:11 ID:1eNwi6/i(1)調 AAS
選択公理みたいに認める認めないの立場によるもの違うの
352: 2022/04/11(月) 07:16:31 ID:uw+auT3v(1/2)調 AAS
歴史的にやっぱ本人の死後にいろいろ問題が発覚するんだろうね。
今はあまりに政治的な要因が大きいから。
353: 2022/04/11(月) 07:53:57 ID:FJ6tfu3Z(1)調 AAS
>>316
>まぁ等号原理を要求しない言語理論を構築したいならすればいい
>それがキチンと現数学の保存拡大になっててそこでキチンと意味ある成果が出せる事が確認して見せればいい
>驚きなのはそれを今までやらずに議論してたのかって事だよ

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

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

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

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

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


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

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

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

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

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

身元も所属も学位論文取得経緯も現在の職場での日干し具合も容姿容貌コンプレックスや性的コンプレックスも失便癖とその原因もメンタル疾患も過去の犯罪履歴も全部バレているのに、猿芝居を繰り返すな
363
(1): 2022/04/11(月) 11:26:07 ID:YD/cjUeG(1/2)調 AAS
>>361
誰の話か知らんけどお前オレがお前なんぞでは足元にも及ばん程度の数学力あるのわからんかね?
それすらわからんレベルの能無しか?
364
(1): 2022/04/11(月) 11:27:24 ID:YD/cjUeG(2/2)調 AAS
ああ、このスレで山形がどうこう言ってるキチ◯イか
365: 2022/04/11(月) 11:40:26 ID:SQVmwMXh(1)調 AAS
NHK見て来たが、結局アカンのか?
366
(1): 2022/04/11(月) 11:51:52 ID:dfLs5v3w(6/15)調 AAS
>>363
匿名掲示板で数学力云々言い出す奴は
現実世界では誰にも相手にされていない日干し

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

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

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

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

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

何でセタがこれしき書けないんだろ
382: 2022/04/11(月) 14:26:58 ID:rPzq1VvD(1)調 AAS
AIにもバカにされるa_watcher
383: 2022/04/11(月) 15:28:02 ID:HLDp6CaV(1)調 AAS
文脈によって同じはずの対象が違って見えるというのは、まあ今後出てきてもおかしくない基礎論ではある
RとQpを区別するだけ、と言うが実際に区別しつつ代数体で統合して全体の歪みを評価したいのが
狙いだったわけだし。そのために縦と横で両立する因子を使っている
好意的に捉える必要はないが、ひとまず話を聞くのは重要よね
384: 2022/04/11(月) 16:21:49 ID:uw+auT3v(2/2)調 AAS
もう何百回と行われたひとまずだわ。
385: 2022/04/11(月) 17:37:10 ID:e3XMbBMA(1)調 AAS
IUTが出た最初の頃は「基礎論的にアヤシイ」という噂が立っていたが、
誰かが「そんなことはない。ZFCの中で完結する」みたいなコメントをしていたはず。

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

Cor 3.12の証明のFigure 3.8以降にギャップがあるのだから、証明を理解できたと主張する京大側は、この部分をコンピュータで証明できるように書けば良いだけ(もちろんコンピュータはかつとまたはを混同したりもしない)
ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
388: 2022/04/11(月) 18:21:58 ID:g3Li4heo(1/4)調 AAS
>>386
逆に全く理解できてないのに何でそんな自信満々なんだ?
389: 2022/04/11(月) 18:30:40 ID:6qXzFM0T(2/2)調 AAS
2つ補足すると、Cor 3.12の証明は追加で解説されているという指摘があるが、求められているのは「コンピュータで証明できるように追加で書く」こと

SSレポートでショルツ氏とスティックス氏がやったことは、ギャップを埋めた上で矛盾しているということ
認識の違い云々はここでショルツ氏が行ったある種の単純化の話と思われるが、まずCor 3.12が証明できておらず、そこからショルツ氏がギャップを埋めようと単純化したという流れなので、ショルツ氏云々言っても証明できていないことは変わらない
390: 2022/04/11(月) 18:37:53 ID:g3Li4heo(2/4)調 AAS
ちょうど京大には照井がいるのにな
391: 2022/04/11(月) 18:40:09 ID:kHazKFoW(1/3)調 AAS
通常の弱選言
∧ ∨
T  T
F  T
F  T
F  F

特別な弱選言

T
F
F
F

強選言とは別にこれが考えられる
数学の命題とは(厳密な論理学的意味で)
TとFを指しこれに特別な意味はない
そこでこの2つの命題T,Fを表と裏としよう
このとき数学は常に表をとるべきだという思想があった場合にのみ
特別な選言を採用することになり∨と∧は命題として一致する

これを回避したい場合や数学が常に表をとるという思想に至らない場合
弱選言かあるいは強選言を選ぶことになる
私の実証だと強選言をとった場合
・論理和の冪等律が不成立
・それに伴い通常の束が定義できない
ということになる
これより通常の弱選言を選ぶ他ないという結論に至るのが普通かも知れないが
数学は常に正しいという妄言に付き合うとしたら
この弱選言に疑問をもつこともまた自然だろう
392: 2022/04/11(月) 18:49:30 ID:kHazKFoW(2/3)調 AAS
因みに自然演繹であれば
通常の弱選言でも∧と∨が一致するという論証も可能である
しかしそれでは∧と∨の違いがないので
どうするべきかを考え中である
便宜的には通常通り
∧から∨への導出は可能
∨から∧への導出はできない
と決めている
393: 2022/04/11(月) 18:53:21 ID:kHazKFoW(3/3)調 AAS
強選言(特別な弱選言)だと失うこともあるが
論理学的等号をきちんと定義することができる

A〜B:⇔[(A∧B)∨(¬A∧¬B)]

このとき等号と同値〜を同一視する

正直数理論理学とは何なのかわからない
394: 2022/04/11(月) 20:22:52 ID:zlH2JgMQ(1)調 AAS
認識の違いとか言うけどさ、ショルツも馬鹿じゃないから、そんなこと理解したうえで批判してるんじゃないの?恐ろしいのは、本来、科学的であるべき数学の世界が政治的になってること。
395
(1): 2022/04/11(月) 21:34:51 ID:TT6jLpw7(1/2)調 AAS
>>387
量子を使ったコンピューティングならできるんじゃね?

「量子コンピューター」ってことじゃないよ。
あれは量子をつかってこれまでの計算やってるだけだから。
396: 2022/04/11(月) 21:39:59 ID:TT6jLpw7(2/2)調 AAS
例えば、「正しいってことが認識できなかった」としても、工学的な進歩ののち「認識できるようになる」ってのは物理学ではいくらでもあるよな
397
(1): 2022/04/11(月) 21:40:38 ID:8HAEwxO7(1)調 AAS
普通のコンピュータでもできるしやらなあかんという話題はずっとこのスレで出てる
でもやらない
お金さえあればさして難しい話でもない
でもやらない
398: 2022/04/11(月) 22:11:25 ID:rHmrbBff(1)調 AAS
.>>387
>ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という
「間違い」を明確に書いてしまっている

望月サンそんなこといってんの?
もうこれは完全な駄々っ子の開き直りだねw
NHKのいう「認識論」の違い何てものではない
そういやブンゲンが、望月の証明にはギャップはない「と思う」とかいっていたが、
「思う」ってなんだよw
ギャップがないなら機械で検証できるはずで、それができない=ギャップがあるってこと。
399
(1): 2022/04/11(月) 22:12:55 ID:/IMxI9vE(1)調 AAS
鼻毛が出ているファルティングスが気になる。

「ノーと言える人間」って w

望月は、指導教官の私からみると素直な学生でした。
私と意見が対立することはほとんどありませんでした。
望月が正しい場合が多かったですが、間違っていても、
彼は私の指摘を素直に受け入れました。

しかし、私はabc予想を、博士論文のテーマとしては与えませんでした。
学生に挑戦させたとしても、数年考えて何もできなかったということになるのが落ちですからね

インタビューと、その後のナレーションが、「さかしま」になっている。

abc予想が博士論文のテーマとならなかったことを、望月青年が残念がったのかどうかは分かりません。
しかし博士課程修了後、望月青年は意外な行動に出ます。引く手あまただった欧米の大学のポストには目もくれず、
少年時代に数年間だけ過ごした日本に帰ることを決めたのです。
400: 2022/04/11(月) 22:21:06 ID:dfLs5v3w(11/15)調 AAS
>>387
君の話は50年前とか30年前の楽観的な未来像を数十年遅れで主張しているだけで
その主張には根拠もなければ、ギャップを埋める作業を君自身全くやらない事も判明済みだからお話にならない

君が14年前に嘘だ詐欺だニセ科学だと喚いた
有名な未科学現象の統計力学的トリックの解明くらい10年もあれば君でも出来るだろうと10年間様子見をしてみたが
結局君は10年間何も成し遂げず、ただ目先のネタを否定するだけの反知性主義的な生活しかしていない
401
(1): 2022/04/11(月) 22:24:24 ID:dfLs5v3w(12/15)調 AAS
数学者でも無ければ、学位論文すらまともに書けず
学問的成果も皆無のまま定年間際の泡沫教員が
ここまで大上段に虚勢を張るのは
自己愛性人格障害か誇大妄想狂以外の何者でもない

> ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
> とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
402
(1): 2022/04/11(月) 22:24:50 ID:yXc8LPa6(1/3)調 AAS
ギャップを埋める作業をやる責任があるのは>>387ではなく望月や支持者だろう
403: 2022/04/11(月) 22:27:28 ID:TKY3tNzR(9/17)調 AAS
そもそもYamagata Universityに、コンピュータによる定理証明を研究しているアクティブな研究者なんてきっと居ないだろ

身の回りで誰もやっていないし当然自身も全くやっていない分野の仕事について
あたかもできて当たり前のような口の利き方をするのは痛々しいね
404: 2022/04/11(月) 22:27:34 ID:ro0sNBqZ(2/2)調 AAS
>>401
キチガイa_watcherは寝てろよ
405: 2022/04/11(月) 22:27:59 ID:TKY3tNzR(10/17)調 AAS
>>395
気狂いの妄想ばかりだな
406: 2022/04/11(月) 22:30:30 ID:PaufHmS2(1)調 AAS
外部リンク:www.weblio.jp
407: 2022/04/11(月) 22:31:14 ID:TKY3tNzR(11/17)調 AAS
>>397
さして難しくないのであれば
Yamagata Universityでやって成果を出せよ

匿名掲示板で虚勢を張って自我が肥大しているだけで
現実にはYamagata Iniversityでその分野の成果など何も出していないだろ

現実と向き合えよ
408
(2): 2022/04/11(月) 22:31:43 ID:SLB0iWV2(1/3)調 AAS
>>362
その底辺を退学になった人間の底辺以下のゴミに数学を学ぶ権利はない
409: 2022/04/11(月) 22:33:44 ID:dfLs5v3w(13/15)調 AAS
おお、山形大学理学部旧物質生命化学研究室の准教が
IUTの自動定理証明に名乗りを上げたという事か
定年まであと10年あるのだから、必ず結果を出せるよな

期待してるぜ
410: 2022/04/11(月) 22:34:50 ID:dfLs5v3w(14/15)調 AAS
>>408
匿名掲示板上の書き込み全てが底辺大関係者の物だと思い込む関係妄想障害は、専門医に相談しろ
411
(1): 2022/04/11(月) 22:37:52 ID:dfLs5v3w(15/15)調 AAS
すげぇよな、20年間何も成果を出さずにただ匿名掲示板で虚勢を張っていただけの教員は

自分が責められると、責めているのは自分の大学の関係者だという妄想を振り回して
底辺大内部のヒエラルキーに話題をすり替える

でもそんな底辺大にわざわざ関わる物好きは
件の教員ただ一人なのがこのスレの現状
412: 2022/04/11(月) 22:40:27 ID:TKY3tNzR(12/17)調 AAS
>>408
とりあえず、君の底辺大内部のトラブルの話は
底辺大内部で解決しろと現学長と現学部長に
再三伝えてあるから
以降底辺大内部のトラブルの話は学長か学部長と議論しろ

ほんと毎回毎回妄想で底辺大内部トラブルの話を持ち出して、底辺大教員はどうしようもなく馬鹿だな
413: 2022/04/11(月) 22:44:01 ID:NnURackA(1)調 AAS
おすすめのアルミホイル教えて
414: 2022/04/11(月) 22:44:15 ID:vwTJ10On(1/3)調 AAS
セタとどっこいの能無しいるな
415: 2022/04/11(月) 22:45:25 ID:TKY3tNzR(13/17)調 AAS
単発IDの准教はほんとバカだなぁ
1-
あと 587 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.661s*