23/10/31 22:13:24.38 rkyL65Wt.net
望月の要求はそもそも悪魔の証明だからな
502:１３２人目の素数さん
23/10/31 22:18:55.28 n7jfNoNQ.net
不正査読さんが何を言っても、もはや説得力ないわ
503:１３２人目の素数さん
23/10/31 22:23:48.27 MVWJwkhY.net
IUT論文の査読過程はお墓に持って行く
by 玉川RIMS教授
つまり墓場の玉川RIMS教授かあ
504:１３２人目の素数さん
23/10/31 22:24:48.50 gyuPtstc.net
IUT理論的の中に瑕疵が一つでもあるなら具体的に、かつ、明示的に数学の言葉で指摘すればいいじゃないか。
505:１３２人目の素数さん
23/10/31 22:28:50.82 MVWJwkhY.net
加藤文元IUT共同構築者によればIUTTは未完成。2022.4.10 Nスペ
「現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、
早急に作らなければいけないんじゃないか」
506:１３２人目の素数さん
23/10/31 23:46:00.57 gyuPtstc.net
>>488
それは違う。
普通、悪魔の証明とは、何かが存在しないことを証明せよ、というもの。
一方、もっちーが言っているのは、IUT理論の中に一つでも瑕疵があるなら指摘してみろや、というもの。
507:１３２人目の素数さん
23/11/01 01:03:04.44 nXi5zvJJ.net
>>418
僻み鮮人の夢
508:１３２人目の素数さん
23/11/01 07:29:24.40 aqGBkWqM.net
>>493 あるべき議論が存在していないんだから、悪魔の証明でしょ、
あるいは屏風の中にいる虎を倒せと言っているに等しい
ショルツさんはじゃあまず虎を屏風から出してくださいと言ったら
取り巻きともどもフリーズしたんだよな
509:１３２人目の素数さん
23/11/01 07:31:09.48 aqGBkWqM.net
>>490 地獄への手土産だな、この人も生き急いで名を落とした
数研維持の危機とか予算のプレッシャーとか色々あったんだろうけど、同情はしない
510:１３２人目の素数さん
23/11/01 07:34:44.11 FRQ9rdQB.net
正体不明なのでたわごとにしか思えない
511:１３２人目の素数さん
23/11/01 09:05:47.85 mS0xf9a8.net
皇天親無く惟徳を是輔く
512:１３２人目の素数さん
23/11/01 10:05:50.78 FRQ9rdQB.net
こうてんしんなくただとくあるをこれたすく【皇天親なくただ徳をこれ輔く】故事成語 ことば
身につければ自然とファッションに馴染んでくれる。
成城石井.com ことば 噺家 演目 志ん生 円朝迷�
513:{ 千字寄席 天はえこひいきすることなく、ひたすら徳をもった人にだけ援助するものだ、という意味。 「皇天」は広い天の意味で、天に敬称をつけた表現です。「皇」には「おおらかな」「広い」のニュアンスがあります。日本の「天皇」につながる語感です。 中国の「天」は、神のような意思をもちながらも茫漠とした存在です。天の仕業は人間には結果しか見えません。愛とか救済とかはないのです。人間の行いをたまに手伝うくらい(愚公山を移す、とか)。 初出は『書経(尚書とも)』から。孔子が編纂したとされる史書で五経の一。中国最古の書です。
514:１３２人目の素数さん
23/11/01 10:20:27.54 mS0xf9a8.net
相手を罵倒したりせず、もっと徳を積むべきです
515:１３２人目の素数さん
23/11/01 10:34:34.35 FRQ9rdQB.net
望月なら罵倒してよいのか
516:１３２人目の素数さん
23/11/01 11:25:31.81 qE/CUSX7.net
CCファルティングスで基地外長文メールドヤ顔で送りつけて
ガン無視されてるの笑える
517:１３２人目の素数さん
23/11/01 11:53:55.78 mS0xf9a8.net
>>501
望月さんは罵倒するべきではなかったと思いますよね
518:１３２人目の素数さん
23/11/01 11:56:55.37 Odb1U2Za.net
選挙で負けてテロに走ったグルと同じだね笑
519:１３２人目の素数さん
23/11/01 12:01:57.99 7Xa1KkJ+.net
>>502
ファルティングス氏には
MFO-RIMS23 Oberwolfach の意味が分かっているはず
ドイツでも、望月IUTを含む遠アーベルの研究が
進展しているってこと
520:１３２人目の素数さん
23/11/01 12:37:43.97 nXi5zvJJ.net
僻み鮮人の目標はRIMSを解体すること。
そのための工作活動をやってるつもりなんだろう。
521:１３２人目の素数さん
23/11/01 15:26:38.89 nXi5zvJJ.net
民団は韓国政府から資金援助を受けている。
韓国政府も関与している可能性がある。
522:１３２人目の素数さん
23/11/01 16:06:26.63 11Xq3i3Z.net
よほどフィールズ賞が精神的打撃だったとみえる
523:１３２人目の素数さん
23/11/01 16:12:22.24 u2vvfUi8.net
まあ極東の隔離地で信者に囲まれてヌルい世界で神様扱いされてた裸の王様が
本物の天才でイケメンで新理論構築に邁進中の気鋭の若手の実力者(フィールズ賞)に
致命的な箇所のダメ出し食らったら狂ってしまう気持ちもわからなくはない笑
524:１３２人目の素数さん
23/11/01 16:43:25.38 nXi5zvJJ.net
僻み鮮人によれば、SSはIUT理論の中に何か重大なギャップを発見した。
525:１３２人目の素数さん
23/11/01 16:49:30.97 nkfTwkUi.net
>>508
望月先生がフィールズ賞で打撃って言いたいわけ？
望月先生とフィールズ賞に何の関係が？
526:１３２人目の素数さん
23/11/01 23:04:34.85 nXi5zvJJ.net
Felipe Voloch
" Mochizuki is the Donald Trump of Mathematics and his followers are its QAnon, fashioning their own reality. Fortunately, in this case, they can be safely ignored (at least if you're not at RIMS). "
March 2021
527:１３２人目の素数さん
23/11/02 05:03:15.98 EqBB635V.net
IUT sect is not the Donald Trump of Mathematics、but cult of numerology ！
528:１３２人目の素数さん
23/11/02 06:05:25.84 KQ2KeMsL.net
シュルツは論証構造を変換して、否定してる。
望月はその返還が間違ってると言っている。
この点についてシュルツは反論してないから、
普通の、議論ではシュルツの負け判定だろ。
529:１３２人目の素数さん
23/11/02 07:23:37.07 viVqUBCX.net
平行線に持ってくために論点はぐらかして
逃げ続ける人を相手にし続ける必要はないよね
相対論は間違ってるおじさんや反ワクカルトに権威がついたのがIUT
530:１３２人目の素数さん
23/11/02 07:25:47.93 LmPPEWaM.net
Nature 2020, Proceedings of ICM 2022, Scientific American 2023
のいずれも、数学社会一般は証明なしと受け止めていることを報じています
さらにarxivで近年のabc予想関連の論文を見てみると、
ほとんどがIUTへの言及なし、少数がSSと合わせて不明と言及、
肯定的に言及してるのはJoshiだけ（それでも証明は認めていない）
これで望月側に分があるというのは客観的にいって無理でしょう
支持者は一般には知られていない特段の根拠でも持っているのでしょうか
Nature 2020, doi.org/10.1038/d41586-020-00998-2
>([SS]文書は) something many saw as death blow to his claims
> ...
>But several experts told Nature that much of the mathematical
>community considered the matter to be settled at that point.
Proceedings of ICM 2022, arXiv:2112.11598
>This proof has now been published in a serious research journal,
>however it is clear that it is not accepted by the mathematical
>community in general.
Scientific American 2023, $1 Million Will Go to the Mathematician...
>consensus in the field suggests his arguments do not prove
>the abc conjecture.
531:１３２人目の素数さん
23/11/02 08:32:49.92 y5+5KTpX.net
でも査読を通ったものは残る
532:１３２人目の素数さん
23/11/02 08:34:46.17 nCgtocfE.net
>>514
>シュルツは論証構造を変換して、否定してる。
望月はその返還が間違ってると言っている。
何を返還したの？
間違ってすらいない
533:１３２人目の素数さん
23/11/02 08:37:55.02 nCgtocfE.net
>>517
墓場の玉川RIMS教授らによる査読ね
534:１３２人目の素数さん
23/11/02 11:47:33.06 fcMyLDsX.net
それは事実としては残らない
535:１３２人目の素数さん
23/11/02 12:31:45.48 nCgtocfE.net
RIMS ちーん ♫〜
536:１３２人目の素数さん
23/11/02 14:37:03.72 vKfp2Xev.net
>>521
僻み鮮人の夢
RIMSは解体されなければならない。
537:１３２人目の素数さん
23/11/02 15:46:00.47 EqBB635V.net
悪徳RIMS ちーん ♫ チーン ♫
538:１３２人目の素数さん
23/11/02 17:44:20.39 1rQQ9XHs.net
土俵際幾何学w
539:１３２人目の素数さん
23/11/02 18:11:33.58 nCgtocfE.net
>>520
必死だねw
540:１３２人目の素数さん
23/11/02 19:42:55.91 vKfp2Xev.net
査読のプロセスでIUT論文全体をline-by-line で何回もチェックしたがギャップは見つからなかった。これだけでも十分だが、念の為、SSの話も聞いた。SSリポートを読んだRIMSの所員は、、、、
541:１３２人目の素数さん
23/11/02 20:32:10.75 90ZDq2wD.net
自分の博論も直せなかったゴーのザルチェックじゃな。。。笑
542:１３２人目の素数さん
23/11/02 21:27:55.61 vKfp2Xev.net
URLﾘﾝｸ(www.dailyshincho.jp)
” 19歳で米プリンストン大を卒業した望月教授。メディアの取材を拒絶しているが一体、どんな人物か。
「会ったことがある数学者はごく少ないはず。学会に顔を出した話は聞いたことがないし、研究会や懇親会に出るようなタイプでもない。今回、論文を検証するための4人の研究者チームが作られ、3年掛かりで確認作業をしてきましたが、望月さんは、“4人の貴重な時間を使ってしまい申し訳なかった。もう
543:十分だから、ご自分の研究をさせてあげてください”と語ったそうです」（飯高名誉教授）”
544:１３２人目の素数さん
23/11/02 23:24:13.43 NUR4RT+6.net
>>526
>SSリポートを読んだRIMSの所員は
墓場の玉川RIMS教授のこと？
545:１３２人目の素数さん
23/11/03 04:41:21.88 oDSkYTmT.net
根本的なことなんだけどさ
望月氏の高弟も同じコンセンサス持ってると思うけど
仮にIUTTが矛盾なく正しくて、（IUTT内部の論理で）ABC予想も証明できてるとしても
それが一体何なの？
546:１３２人目の素数さん
23/11/03 05:54:25.71 vAcDRVep.net
RIMSは、望月が不正査読を行った事実を隠蔽したいだけ
小保方と笹井を庇おうとした理研と同じ
その理由は、自分たちの組織の防衛
これが通ってしまう日本は、欧米よりも中国に近い非文明地域
547:１３２人目の素数さん
23/11/03 06:55:51.20 wVID2LZd.net
10年後には通ったかどうかが明らかになるだろう
548:１３２人目の素数さん
23/11/03 07:13:54.79 vAcDRVep.net
論文公開してからもう10年経った
今、明らかになってるよ ダメだって
2015年の段階でそうなるってわかってたけどね
549:１３２人目の素数さん
23/11/03 08:38:06.56 wVID2LZd.net
査読を経て公式に公開されてから10年
認められなければ忘れ去られるだけ
550:１３２人目の素数さん
23/11/03 09:36:37.64 PeSgzCzO.net
サギ
551:１３２人目の素数さん
23/11/03 09:47:12.38 IzKklKaR.net
>>528 > “4人の貴重な時間を使ってしまい申し訳なかった。もう十分だから、ご自分の研究をさせてあげてください”
耳触りのいいこと言ってるけど、検証されることから逃げただけだな、シンイチ
残念ながらそもそも数学の文章として成立していないとのことです、IUT
SSはじゃあまず虎を屏風から出してくださいと言ったら、
取り巻きもご本尊もフリーズして陰で誹謗中傷に走るようになったんだよな
552:１３２人目の素数さん
23/11/03 10:04:31.04 wVID2LZd.net
放っておけない理由は？
553:１３２人目の素数さん
23/11/03 14:50:44.55 eJb34bzj.net
多くの数学者にとって、IUTはabc予想の証明の他に何ができるのか分からなかったから、何年もかけてIUTを真剣に勉強しようという意欲が湧かなかったのだろう。
そしたらこないだ、もっちーが突然に、IUTの改良版を使ってセクション予想の証明と、ジーゲル零点が存在しないことの証明と、より強いabcを一気に詰め合わせで出すぞ、と言った。
554:１３２人目の素数さん
23/11/03 15:15:53.71 9jU7M9g0.net
虚構の上に何を積もうが虚構だよ
文字通り砂上の楼閣
555:１３２人目の素数さん
23/11/03 15:28:40.70 eJb34bzj.net
IUTを真剣に勉強する研究者が増えるとすれば、IUT理解の前提となるAnabelian Geometry の研究者が増えるはずだ。特に若い研究者。
556:１３２人目の素数さん
23/11/03 15:30:30.30 rvhmUSPE.net
もう、あやつのことを信じてる奴なんていねーよ
557:１３２人目の素数さん
23/11/03 15:48:00.51 j3c1yNcn.net
検証されることから逃げ続けたIUT
美辞麗句と詭弁だけが空疎に舞う
質問したら罵詈雑言浴びせられて公開誹謗中傷受けるんだから
若手は怖くて何も言えないよな
科研費審査や弟子の人事で嫌がらせ受けるかもしれないから大人も何も言えないわ。
558:１３２人目の素数さん
23/11/03 15:57:22.63 vAcDRVep.net
RIMSが組織防衛を優先して望月新一をかばった瞬間
RIMSは数学の研究機関として完全に終わった、といっていい
559:１３２人目の素数さん
23/11/03 15:59:47.31 eJb34bzj.net
欧州でも北米でも若手研究者がこれからアカポスと研究費を狙うなら、Anabelian Geometryを専門分野として選ぶのが良さそうだ、と思うだろう。それが自然。今はちょうどその転換点のように見える。
560:１３２人目の素数さん
23/11/03 16:26:49.33 rvhmUSPE.net
視力検査にいきましょう
561:１３２人目の素数さん
23/11/03 16:34:17.66 ADzEMjXl.net
>>530
ヒゲー
562:１３２人目の素数さん
23/11/03 16:44:42.77 eJb34bzj.net
志村五郎はスキーム論を勉強しなかった。
転換点で古い数学に留まる人はいる。
563:１３２人目の素数さん
23/11/03 17:25:30.06 +VFQf9ov.net
論文が日本のコネジャーナルにしか出ない分野じゃ
やってもまともな就職先はないでしょう
564:１３２人目の素数さん
23/11/03 17:44:50.25 rvhmUSPE.net
査読はちゃんとやらんとあかんよ
565:１３２人目の素数さん
23/11/03 19:27:27.41 eJb34bzj.net
IUTが暗号とか量子コンピューティングへの応用ができそうだ、となれば、NSAとかDARPA のgrant を貰ってウハウハだ、嫁ももらえる、と考える人も出てくるだろう。
566:１３２人目の素数さん
23/11/03 23:06:49.27 eJb34bzj.net
URLﾘﾝｸ(www.mi.fu-berlin.de)
Dr. Giulio Bresciani
” Some of the anabelian conjectures have been proved, most notably by Mochizuki. Among the anabelian conjectures, the so called section conjecture remains largely open. We show how the section conjecture implies a much stronger anabelian statement, from which every other anabelian statement follows immediately. ”
セクション予想の証明は大事件のようだ。
567:１３２人目の素数さん
23/11/03 23:32:40.28 dmGwNsmF.net
>>538
>そしたらこないだ、もっちーが突然に、IUTの改良版を使ってセクション予想の証明と、ジーゲル零点が存在しないことの証明と、より強いabcを一気に詰め合わせで出すぞ、と言った。
kwsk
568:１３２人目の素数さん
23/11/04 00:44:10.10 sfj3y5al.net
>>542
沈黙が答え
569:１３２人目の素数さん
23/11/04 00:56:51.80 0W+oH0g5.net
>>547
志村多様体の数学は過去の遺物？
570:１３２人目の素数さん
23/11/04 01:22:42.42 AwimJ0rO.net
メザシはいくらつついてもメザシ。
571:１３２人目の素数さん
23/11/04 08:55:02.90 0W+oH0g5.net
メザシ
日本の創作文化等においては、「貧しい食卓」の象徴として、「目刺一尾のみが白米のおかず」という演出が多くなされる。また「目刺」は春の季語のひとつでもある。
572:１３２人目の素数さん
23/11/06 02:03:17.20 x5hkirTi.net
>>539
ショルツの否定論拠に対する望月の反論は
正当に思えるが。
再反論をショルツはしてないけど、
あんたはできんの?
573:１３２人目の素数さん
23/11/06 04:48:31.23 L9xYogbW.net
仏リール大学ってどんな大学か知らなかったけど、AHGTはいつの間にかÉcole normale supérieureも提携してるんだな。
ENSは超一流だよ。
574:１３２人目の素数さん
23/11/06 05:21:00.56 5FF6x0AU.net
モッチッチの名は
575:１３２人目の素数さん
23/11/06 08:04:58.16 33CdbYoA.net
>>557
>>516のように世の中の大半の数学者はそう思ってないみたいだけどねー
さてはて間違ってるのはどっちなんだろうね
576:１３２人目の素数さん
23/11/06 08:15:17.12 DN7G53u1.net
「間違っているとすればここだ」ということさえ
分からないというのは異常だ
577:１３２人目の素数さん
23/11/06 08:40:01.00 oKyjkhXU.net
所員ですら、白い目...
578:１３２人目の素数さん
23/11/06 12:00:10.72 M7U+LBFt.net
>>557
どうして正当に思えたの？
579:１３２人目の素数さん
23/11/06 12:35:00.24 DN7G53u1.net
その点は重要
580:１３２人目の素数さん
23/11/06 12:57:54.10 L9xYogbW.net
SSは、fabricated version of IUT の中にギャップがあると指摘した。
581:１３２人目の素数さん
23/11/06 14:28:40.53 vlVlsI5k.net
疑義に答えず例え話と罵倒に終始した長文怪文書が「正当」ねえ・・・w
ショルツ「じゃあまず虎を屏風から出してみてください
総フリーズした宇宙利権者笑
まあゴーを数件に捩じ込んだ時点で
あの界隈はもう信頼されていないと思う、まさに裸の王様
582:１３２人目の素数さん
23/11/06 14:30:00.57 hCYYrxgM.net
>>557
お墓さんですか？
583:１３２人目の素数さん
23/11/06 14:37:46.47 L9xYogbW.net
SSは、もっちーに、SSリポートへの反論を早く出せ、と急かしていた。ところが、もっちーの反論文書ができあがると、その文書の公表は待ってくれ、と言った。
584:１３２人目の素数さん
23/11/06 15:05:15.09 orHmX39P.net
だから何？笑
印象操作に必死だよねブンゲンクン笑
585:１３２人目の素数さん
23/11/06 15:11:19.75 L9xYogbW.net
フェセンコによれば、SSリポートは "ridiculously wrong" 。
586:１３２人目の素数さん
23/11/06 16:16:15.03 L9xYogbW.net
フランスのYves Andréの弟子のEmmanuel Lepage はIUTに懐疑的、否定的だったが、2017年からもっちーとのやり取りを通じて2021年に漸く自分の疑念は誤解に基づくものであったと理解した。
587:１３２人目の素数さん
23/11/06 16:17:18.65 yUs3ptkq.net
フランスのYves Andréの弟子のEmmanuel Lepage はIUTに懐疑的、否定的だったが、2017年からもっちーとのやり取りを通じて2021年に漸く自分の疑念は誤解に基づくものであったと理解した。
588:１３２人目の素数さん
23/11/06 17:41:29.26 hQKCuknd.net
Yves Andréに論文投稿したことあるけどクソ野郎だったな
死んで欲しい
589:１３２人目の素数さん
23/11/06 20:37:29.37 hlQkT8qW.net
ドイツでは、いつかJ. Stixがセクション予想を証明するだろうという期待があったのかな。
590:１３２人目の素数さん
23/11/06 23:40:41.16 hlQkT8qW.net
Emmanuel Lepage は、IUTに関する疑義についてもっちーとやり取りしていた2017から2021にかけて、SSリポートともっちーの反論についても当然読んでいたはずだ。
591:１３２人目の素数さん
23/11/07 13:26:31.11 zcvAsCei.net
>>573
何があったw
592:１３２人目の素数さん
23/11/07 20:41:30.81 9U5ytD0F.net
東大とその植民地の大学が惨め。
593:１３２人目の素数さん
23/11/07 21:15:29.57 iX/agdmt.net
望月予想ってことにして
これを解くか否定できた人の功績100％扱いでいいんじゃね
594:１３２人目の素数さん
23/11/07 22:03:10.80 wDocIDXo.net
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Oct 3, 2023
[visit] Autumn in Paris 2023 - Four researchers of RIMS, Kyoto University visits ENS Paris and other AHGT French researchers , Oct. 03-29, 2023 -- B. Collas, Y. Hoshi, A. Minamide, K. Sawada.
ENS Paris カッコいい。
595:１３２人目の素数さん
23/11/07 22:58:15.92 wDocIDXo.net
IUT を理解し、使いこなす研究者は、まずフランスで増える。
然る後、他の国の研究者も追随する。
596:１３２人目の素数さん
23/11/07 23:02:37.55 ESdSxmzh.net
IUT 特殊fakeネットワーク
597:１３２人目の素数さん
23/11/08 01:36:50.21 zOlz6iKM.net
>>581
ENS Paris も含めてか?
598:１３２人目の素数さん
23/11/08 02:06:59.35 oyN+qL7t.net
>>578
いや論証に穴がないなら、論証は成功してる。
穴があることは示されてないから、証明は終わってる。
599:１３２人目の素数さん
23/11/08 04:56:16.58 tlscQ287.net
>>583
だからなんなの？って話ではある
600:１３２人目の素数さん
23/11/08 04:56:39.00 tlscQ287.net
IUTT文学で証明されたからって数学とは無関係でしょ
601:１３２人目の素数さん
23/11/08 05:01:50.29 4im5a55o.net
>>583
そもそも論証になってない 素人はそれすら分からんらしい 大馬鹿野郎だな
602:１３２人目の素数さん
23/11/08 05:38:11.81 tlscQ287.net
>>586
IUTT語では論証されてるんだよ
これは間違いない
問題なのは数学語で論証すること
603:１３２人目の素数さん
23/11/08 05:44:57.42 cui+Byks.net
>>577
その辺にもまだ
Scholze派でないのはそれなりにいるよ
604:１３２人目の素数さん
23/11/08 07:02:40.34 Ts2tSyrE.net
>>582
いつもの京大数理研のIUTとりまき4名がおとづれた、
>AHGT
なぜ京大数理研のIUTSECTはAHGTと改名したのだろう？
統一教会cultが権威にしがみつき世界平和統一家庭連合」と改名したこととたぶん同じ理由なのだろう、
605:１３２人目の素数さん
23/11/08 16:21:50.21 oyN+qL7t.net
>>586
査読通ったってことは査読者からみて論証が成功してるということ。
どこの馬の骨かもわからないお前の言葉よりさ読者を信じるよ。それが嫌なら少なくとも実名で書いてみ。
>>587
数学は定義で言語をつくっていくので、それに
矛盾がなければ新たな言語であってもなんら問題はない。
606:１３２人目の素数さん
23/11/08 16:42:21.70 FpdU7zHQ.net
[GSCsp] S. Mochizuki, Y. Hoshi, Arithmetic cuspidalization of Galois sections of hyperbolic curves, manuscript in preparation.
[AnPf] S. Mochizuki, Y. Hoshi, S. Tsujimura, G. Yamashita, Anabelian geom-etry over complete discrete valuation rings with perfect residue fields, manuscript in preparation.
これら、いつリリースされるのかな？
607:１３２人目の素数さん
23/11/08 17:01:37.67 sLZ2+525.net
メモ
URLﾘﾝｸ(ja.wikipedia.org)
絶対ガロア群
体 K の絶対ガロア群 GK（ぜったいガロアぐん、英: absolute Galois group）とは、数学の用語で、K の分離閉包 Ksep の K 上のガロア群のことである。あるいは、K の代数的閉包の自己同型であって K を固定するもの全てからなる群と言っても同じことである。絶対ガロア群は副有限群であり、内部自己同型による違いを除いて well-defined である。
K が完全体であれば Ksep は K の代数的閉包 Kalg と等しい。K が標数0の場合や、K が有限体の場合がこれにあたる。
未解決問題
有理数体の絶対ガロア群を直接的に記述する方法が知られていない。有理数体の絶対ガロア群の元で他の元と区別できるよう名前が付けられているのは単位元と複素共役だけである[9]。ベールイの定理によりこの絶対ガロア群はグロタンディークの子供のデッサン（曲面上の地図）に忠実に作用するので、代数体のガロア理論を"見る"ことはできる。
有理数体の最大アーベル拡大 K の絶対ガロア群は自由副有限群であろうと予想されている（シャファレヴィッチの予想）[10]。
URLﾘﾝｸ(en.wikipedia.org)
Absolute Galois group
Problems
An interesting problem is to settle Ján Mináč and Nguyên Duy Tân's conjecture about vanishing of
n- Massey products for n ≥ 3.[10][11]
608:１３２人目の素数さん
23/11/08 17:40:24.65 Ts2tSyrE.net
↑
0426 １３２人目の素数さん
2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
609:１３２人目の素数さん
23/11/08 18:28:23.31 ClgwFlUH.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
610:１３２人目の素数さん
23/11/08 18:28:29.81 EwBYKwz4.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
611:１３２人目の素数さん
23/11/08 21:18:41.88 a7UswvUK.net
>>594-595
さあ？
まあ、それもこれから分かってくるでしょ
川上論文賞ネタだろう
612:１３２人目の素数さん
23/11/08 21:37:24.53 uWYIxuaI.net
何だよセクション予想ちゃんと解けたんじゃなかったのか、びっくりした
613:１３２人目の素数さん
23/11/08 22:29:45.87 EwBYKwz4.net
Daniel Litt 氏によれば、
" There is near-universal consensus among mathematicians that the abc conjecture is still open. "
URLﾘﾝｸ(twitter.com)
614:529 つまり、もっちーのIUT論文はabc予想の証明になっていない、と。 しかし、具体的にIUT論文のどこに瑕疵があるのか何も言っていない。 (deleted an unsolicited ad)
615:１３２人目の素数さん
23/11/08 23:17:50.37 uWYIxuaI.net
ちゃんとした数学者が意味わからない論文というのは受容されないから当たり前
サーベイすら意味不明ということ
616:１３２人目の素数さん
23/11/08 23:43:51.74 a7UswvUK.net
>>594-595
>グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
まあ、下記でも
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS 2011/08/11
Grothendieckによる遠アーベルセクション予想について
星裕一郎∗ 京都大学数理解析研究所
本稿は,筆者が2011年8月11日に第56回代数学シンポジウムで行った講演“Grothendieckによる遠アーベル*1*2セクション予想について”の内容をまとめたものである.
§1では数論的基本群という概念についての解説,
§2では遠アーベルセクション予想についての解説,
§3では[Hsh]の主結果の解説が与えられている.
P7
AlexanderGrothendieck氏による遠アーベルセクション予想とは,以下のような予想である[[Letter]を参照].
予想2.5. kをQの有限生成拡大体,Xをk上の固有な双曲的曲線とする.このとき,写像ΦPrimes X/k :X(k)－→SectPrimes(X/k)は全単射である.
617:１３２人目の素数さん
23/11/09 00:02:20.99 r2tnycls.net
多くの数学者にとってIUT論文はチンプンカンプンである
は
多くの数学者にとってIUT論文はabc予想の証明になっていない
を意味するのだろか？
618:１３２人目の素数さん
23/11/09 01:53:21.06 5kw28V9R.net
>>509
数学者が新しく開拓された領域が理解できないって
いうのは恥ずかしいのかなあ。
物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
人種的偏見とは言わんけど、日本人が完全に新しい理論を出すのがひっかかるのかしら。
619:１３２人目の素数さん
23/11/09 01:53:54.30 5kw28V9R.net
>>601
ちんぷんかんぶんは真偽判定不明でしょう。
620:１３２人目の素数さん
23/11/09 05:57:57.74 yTQqiQ4s.net
>物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
デマ
621:１３２人目の素数さん
23/11/09 06:56:52.80 r2tnycls.net
今IUTを深く理解している人が10人とか15人くらいとか言われているが、これが50人くらいになったら、もう十分に理解されたと言っていいだろう。
622:１３２人目の素数さん
23/11/09 07:25:45.86 yTQqiQ4s.net
この応援スレはデマスレですが、
>日本人が完全に新しい理論を出す
数学でも物理でも完全に新しい理論=
トンデモ理論を理解できないのだろう
623:１３２人目の素数さん
23/11/09 09:39:48.79 E5h+19Iu.net
>>604
アインシュタインの相対論か提出された時、
物理学は哲学と完全に分離してなかったので、
完全に置いてかれた人が山ほど出たんやで。
当時、理解できた人が両手で数えられたとかいうのは、わりかし本当に近い。
ということもわからんくらいの、常識のない奴が書いてるのか。なる。
624:１３２人目の素数さん
23/11/09 09:40:22.73 E5h+19Iu.net
>>606
お前は何を言ってるのだ。
625:１３２人目の素数さん
23/11/09 09:42:42.95 E5h+19Iu.net
>>605
まあIUTで新しい結果が、出始めたら、
受容するかきちんと否定するかを迫られるわな。
それで、否定ができなかったら、
受容されたと言っていいんでしょうね。
626:１３２人目の素数さん
23/11/09 11:23:26.57 YUOP9IYT.net
お互い意見が平行線な場合に何が起きるかというと
たいがい並行なままになる
あとは次世代以降に支持者の割合が増えるか減るかして
片方が勝ったように見える状態に落ち着く
本当の決着じゃ無いけどな
627:１３２人目の素数さん
23/11/09 11:24:14.72 YUOP9IYT.net
ただ、IUTからの歩み寄りがない超不健全な状態なので
税金カットしていいと個人的には思うけど
628:１３２人目の素数さん
23/11/09 12:52:30.43 SKg8CNgz.net
IUT側の眼にはIUTしか入っていないのではないか
629:１３２人目の素数さん
23/11/09 16:49:20.15 r2tnycls.net
T. Dupuyは、このままIUT理論が誰にも相手にされず、忘れ去られてしまうのはもったいない、と言った。
IUT理論はabc予想の証明を目的とし、その目的に特化した理論で、他の用途には使えない、ゆえに、多大の労力と時間を注ぎ込んで勉強する価値はない、と考えていたのだろか。
630:１３２人目の素数さん
23/11/09 17:15:24.29 sRDig52X.net
IUTは単遠アーベル幾何学による大域体の理論を標榜するが、ショルツの
位相線形空間に対応したcondensed理論などとは双曲曲線でリンクするんだろうか
Joshiや加藤がそういう解説ができれば良かったんだけどね
外部の人気のある理論と接続しないと上がり目はないよ
631:１３２人目の素数さん
23/11/09 17:25:52.94 sRDig52X.net
ショルツの理論は明らかにラングランズ対応のコホモロジー理論を意識しているけど
IUTのそもそもの動機は、代数体に対するコホモロジーをHA理論の拡張としつつ、
その代替として遠アーベル幾何学による小平S変形理論の一般化を試みるという
ものだったはず
なら代数体の楕円曲線での幾何学的ラングランズ対応を記述するモジュライ空間を
IUTから解釈する方法もあるはず
そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう
632:１３２人目の素数さん
23/11/09 17:41:50.68 yTQqiQ4s.net
>Joshiや加藤がそういう解説ができれば良かったんだけどね
シバ神が踊るとかポストモダンなんでしょ
IUTはなんでもありの便利な道具だから
633:１３２人目の素数さん
23/11/09 20:21:17.85 r2tnycls.net
IUTのエッセンスは、足し算と掛け算を切り離して環構造を一旦解体し、ゆるさを持たせた形で環構造を再構成して、不等式を導き出す、だろ。
今回の3つの改良版IUTも似たようなことをするのだろう。
オリジナルのIUTを応用して練習問題を解く、みたいな。
634:１３２人目の素数さん
23/11/09 21:58:06.59 h9hAZINa.net
>>611 数件取り潰し、関係者は懲戒解雇
このくらいすべき
霊長類研はそうなった
635:１３２人目の素数さん
23/11/09 22:01:12.94 1ZwzN0Uh.net
>>618
どんな法律を適用すればよいと思う？
636:１３２人目の素数さん
23/11/09 22:15:03.30 r2tnycls.net
もっちーはラングランズ プログラムに批判的。
637:１３２人目の素数さん
23/11/09 22:42:17.86 udnfSwAI.net
ラングランズ プログラムを連呼する仲間褒め集団が気色悪い。
あのビジネスモデルでいつまでもアカポスと研究費を獲得できると思っているのだろか。
638:１３２人目の素数さん
23/11/09 23:05:29.12 Ay44L5ff.net
IUTのビジネスモデル
↓
加藤文元×川上量生×東浩紀「数とはなにか-IUT理論と数学の立ち位置」
この表題はIUTの立ち位置をよく表している。
・IUTはポストモダン類似の物語で数学ではない。
望月新一監修.川上量生あとがき.加藤文元著「宇宙と宇宙をつなぐ数学」では、
IUTTをトマスクーン流の科学革命
639:でパラダイムシフトと位置付け 「IUT語。IUT理論は、一般的な数学のパラダイム(の枠内では語れない、 全く新しいフレームワークと言語・概念体系を基盤として構築されている」 と明言した。 またIUT「Alien」ではガタリと類似していると指摘されていたし 東浩紀はデリタを自認している。 トマスクーンもガタリもデリタもフランスポストモダン。
640:１３２人目の素数さん
23/11/09 23:35:05.29 I5AVeeGx.net
ポスト構造主義というより
アカデミックポスト確保ありきの政治構造の主義主張。
641:１３２人目の素数さん
23/11/09 23:54:43.93 udnfSwAI.net
30年もワイルズ、谷山-志村と言い続けていれば、流石に飽きられる。
642:１３２人目の素数さん
23/11/10 00:02:11.45 6GxPNQA8.net
>>624
オカルトIUT信者乙
643:１３２人目の素数さん
23/11/10 01:30:42.59 IarZHppj.net
>>606
恥知らずな嘘吐きドクズに生まれつくってどんな気持ち？
644:１３２人目の素数さん
23/11/10 02:43:51.28 o/OkDkNK.net
>>619
嘘で叩いてるやつに侮辱罪や名誉毀損の
適用可能性があるわな。
アベガーみたいな奴らに適用されてるやつ。
645:１３２人目の素数さん
23/11/10 02:54:55.89 4tEfDYEy.net
URLﾘﾝｸ(ahgt.math.cnrs.fr)
AHGT
" With the support of CNRS, JSPS-Kakenhi, the Leibniz-Gemeinschaft, and the National Science Foundation (DMS-1641185). "
おおお、NSFも金を出している。
646:１３２人目の素数さん
23/11/10 03:04:19.96 6GxPNQA8.net
>>627
まず京大教授に放送法違反
647:１３２人目の素数さん
23/11/10 03:28:28.68 4tEfDYEy.net
ラングランズ プログラムを連呼する仲間褒め集団は乞食と詐欺師を兼業しているようなもの。
648:１３２人目の素数さん
23/11/10 03:44:19.58 5RCTXK/o.net
>>629
放送見てないけど
それもしかすると特定できるんじゃね。
ギリギリアウトかもよ。
名誉毀損や侮辱はやんなよ。
普通にアウトだと思ったら
何も言わずに通報するし。
649:１３２人目の素数さん
23/11/10 03:49:29.23 GdmUBxbE.net
違法な侮辱の放置はさらなる犯罪を誘発するから
叩き潰すべき
650:１３２人目の素数さん
23/11/10 03:53:07.15 rvggUN9r.net
>>629
誰のこと言ってるの?
なんの放送?
651:１３２人目の素数さん
23/11/11 05:53:28.40 67Jttq/W.net
>>590
IUTT語は矛盾が矛盾でなくなる言語だから
652:１３２人目の素数さん
23/11/11 09:16:47.54 F73CQlIp.net
一つの矛盾が矛盾でなくなれば
すべての矛盾が矛盾でなくなると言ったのは
ラッセルだったか
653:１３２人目の素数さん
23/11/11 14:05:35.87 D90EtwDB.net
>>615
>そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう
IUTの発展形のHATと
バーチ・スウィンナートン＝ダイアー予想が関連しているという
//ivanfesenko.org/wp-content/uploads/adtbs.pdf
Higher adelic approach to the Tate-BSD conjecture, talk July 2023
The discreteness of global elements in geometric adeles is a crucial property to use.
This discreteness was established in positive characteristic and recently in characteristic zero.
This is closely related to the higher adelic Riemann–Roch theorem.
URLﾘﾝｸ(ja.wikipedia.org)
バーチ・スウィンナートン＝ダイアー予想（バーチ・スウィンナートン＝ダイアーよそう、英語: Birch and Swinnerton-Dyer conjecture）は、数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれ
予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている[1]。
654:１３２人目の素数さん
23/11/11 14:11:16.61 MmQJcEZZ.net
>>635
IUTはなんでもあり、さ
655:１３２人目の素数さん
23/11/11 14:20:42.97 +fo9ICJw.net
>>637 矛盾している理論はいかなる命題も証明可能
656:１３２人目の素数さん
23/11/11 14:30:26.01 MmQJcEZZ.net
こっそりdefinitionallyもあるしねえ
657:１３２人目の素数さん
23/11/11 18:55:00.91 SSa4jAuV.net
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
658:１３２人目の素数さん
23/11/12 01:26:07.93 P+Qsv7nr.net
セクション予想の証明はモーデル予想の別証明にもなっている？
659:１３２人目の素数さん
23/11/12 02:29:40.33 MlNI5+1c.net
わかってないやつほど えらそうにせつめいするんだよ
これは大先生のお言葉だ
660:１３２人目の素数さん
23/11/12 06:43:37.90 AqzTvpKt.net
TikTok LiteでPayPayやAmazonギフトなどに変換可能な4000円分のﾎﾟｲﾝﾄをプレゼント中！
※既存TikTokユーザーの方はTikTokアプリからログアウトしてアンインストールすればできる可能性があります
1.SIMの入ったスマホ・タブレットを用意する
2.以下のTikTok Litのサイトからアプリをダウンロード（ダウンロードだけでまだ起動しない）
URLﾘﾝｸ(lite.tiktok.com)
3.ダウンロード完了後、もう一度上記アドレスのリンクからアプリを起動
4.アプリ内でTikTok未使用の電話番号かメールアドレスを使用して登禄
5.10日間連続のチェックインで合計で4000円分のﾎﾟｲﾝﾄゲット
ﾎﾟｲﾝﾄはPayPayやAmazonギフト券に変換可能！
家族・友人に紹介したり通常タスクをこなせば更にﾎﾟｲﾝﾄを追加でゲットできます。
661:１３２人目の素数さん
23/11/12 08:38:20.60 VZrFDCrS.net
>>643
簡単で良いな
662:１３２人目の素数さん
23/11/12 09:26:16.88 ucyGcHHh.net
>>622
ソーカル事件じゃん
663:１３２人目の素数さん
23/11/12 10:14:13.59 JikZcPFG.net
IUTは量子計算のほか意識の科学にも応用できたりして
【日本発の数学理論 IUT理論とABC予想】
ようつべ/watch?v=Q1DUocqDYWU
茂木健一郎×加藤文元×川上量生
>＜目次＞
>0:00 ダイジェスト
>1:24 数学界の超難問 ABC予想
>11:37 IUT理論とABC予想の歴史
>17:28 なぜABC予想は論争的になっているのか
>33:09 IUT理論と意識の科学
>56:03 IUT理論とABC予想を徹底解説
>1:35:22 IUT理論の拡張と普及
>1:50:24 論理と音楽は似ている
>1:53:25 ファイナルコメント
664:１３２人目の素数さん
23/11/12 11:23:18.58 ucyGcHHh.net
>>646
意識とか言い始めたらオカルト
665:１３２人目の素数さん
23/11/12 11:24:39.59 ucyGcHHh.net
そもそも茂木が喋ることに耐えられる時点で科学者の思考をしてない
666:１３２人目の素数さん
23/11/12 11:40:49.71 EJx9wgXJ.net
>>643
こういう方法もあるんだな
667:１３２人目の素数さん
23/11/12 11:49:13.15 ucyGcHHh.net
>>638
爆発律ね
668:１３２人目の素数さん
23/11/12 15:31:33.12 hntX1qJg.net
>>646
東 浩紀の次はモギケンか
カトブンも完全に数学者や
669:めちゃって ただの芸人になっちゃったんだな
670:１３２人目の素数さん
23/11/12 16:01:40.63 /Drsaocq.net
IUTは数学ない、
望月文元が焼肉パーティー上で騒いだよたばなしだが、
とりまき共々ばらまいた責任は重い
671:１３２人目の素数さん
23/11/12 16:04:07.82 /Drsaocq.net
IUT≠数学
672:１３２人目の素数さん
23/11/12 18:10:06.06 7ERUsa56.net
日本語不自由で草
673:１３２人目の素数さん
23/11/12 18:28:45.74 /Drsaocq.net
>>628
フランス検察､電通のパートナー企業を捜査 東京五輪含めスポーツビジネスの汚職にメス
URLﾘﾝｸ(www.newsweekjapan.jp)
674:１３２人目の素数さん
23/11/12 18:29:17.81 ViVxd15A.net
茂木は自己が否定も肯定も場合言及の仕方を心得てる時点で、普通。
わかりもしないことを否定するだけじゃなく、侮辱したり、名誉毀損したり犯罪に片足突っ込んでるこのスレにいるバカがあたおか。
675:１３２人目の素数さん
23/11/12 18:33:16.82 hntX1qJg.net
>>656 モギケンは普通に芸人だね 俳優としては大根だったけどｗ
676:１３２人目の素数さん
23/11/12 19:13:53.21 HbXy4xA9.net
誰かグロタンディークの遠アーベル セクション予想について解説してくれ。
677:１３２人目の素数さん
23/11/12 19:44:36.06 ucyGcHHh.net
クオリアとか言ってる時点でオカルト
678:１３２人目の素数さん
23/11/12 20:59:03.58 HbXy4xA9.net
Zen大学は、セクション予想の一般人向けの説明ができなくて、IUTで金儲けという企みは失敗するだろう。
679:１３２人目の素数さん
23/11/12 22:11:30.70 DMW9jWow.net
あれで完全解説っていうのは流石に羊頭狗肉だろう
680:１３２人目の素数さん
23/11/13 00:47:29.07 vxGj9BOD.net
the essential content of anabelian geometry
は、
addition reconstructed from multiplication
[i.e., addition “dominated by” multiplication!]
ということでよいか。
681:１３２人目の素数さん
23/11/13 02:39:37.11 Kjwp9CaE.net
>>652
責任も何もないよ
そういう学問なんだから究めたい人は究めたら良いそれだけ
682:１３２人目の素数さん
23/11/13 02:44:40.25 SXGyS+T/.net
数学の「復元」なら証明が必要だ。
>>630
復元復元と連呼しあやしい復元装置を作り振り回す、
矛盾点を高次元のお話にしたり、ではもはや数学ではない！
683:１３２人目の素数さん
23/11/13 16:07:14.15 8bfY/bui.net
>>659
その認識は古い
IIT知らないのか
684:１３２人目の素数さん
23/11/13 18:24:22.91 XeiqPc7U.net
>>665
ほぼオカルトだろw
685:１３２人目の素数さん
23/11/13 21:11:55.16 8bfY/bui.net
>>666
圏論の本書いてる西郷甲矢人とか計算神経科学の研究者がプロジェクトやってる
くらいには数学になってきてる。豊穣圏やヒルベルト空間とかを使った
確率論になるらしい
686:１３２人目の素数さん
23/11/13 21:58:48.75 Q++RkXqp.net
>>665
低学歴みーっけ
IITは形而上学を仮定してるから論理学を満たさないオカルトだよ
あまりにも無知すぎる
687:１３２人目の素数さん
23/11/13 21:59:18.15 Q++RkXqp.net
>>667
全く意味がない
形而上学を仮定してる時点でオカルト
バカすぎて形而上学の意味すらわかってないのだろうけどw
688:１３２人目の素数さん
23/11/13 22:00:40.11 Q++RkXqp.net
>>667
あの本読んでマトモだと感じる時点でヤバすぎるよお前
論理学の対象になるのは集合のみであることを理解しておらず
適当な言葉を当てはめたら論理が成り立つという妄想を開示してるからな
これラッセルのパラドックスとその解決からして理解出来てない底辺層
689:１３２人目の素数さん
23/11/13 22:02:06.81 Q++RkXqp.net
言葉を並べて論理になると思えてしまうのは素朴集合論の話で
ラッセルのパラドックスを引き起こすから
「私は数学基礎論の知識が0で論理を全く理解してません」
と自白してるに等しい
690:１３２人目の素数さん
23/11/13 22:02:34.12 Q++RkXqp.net
100年前の数学基礎論すらわかってない無知が意識とかウケるね
691:１３２人目の素数さん
23/11/13 22:03:50.58 Q++RkXqp.net
形而上学の意味もわかってなさそう
形而上学が問題とされるのはある概念が言及されるたびに内容が変わり
使う人により内容が変わることで爆発律が成り立つことだ
爆発律が成り立つならその論理には全く予測能力が無い
692:１３２人目の素数さん
23/11/13 22:05:54.54 Q++RkXqp.net
マトモな科学者が書く論文には意識などという言葉は出てこない
なぜならそれが何を指すのか人によって変わるから論理の対象にならないし科学の対象になりようがないからだ
ちなみにIITの論文をちゃんと読めば前提として意識の存在を導入しながら
結論はその意識とやらがただの石ころや金属塊にも当てはまってしまうようになる
マトモな思考力があるなら仮定が間違っているとして仮説を棄却する
IIT界隈は数学基礎論の知識が0なので間違ってる仮説を正しいと言い張ってる
693:１３２人目の素数さん
23/11/13 22:06:19.41 Q++RkXqp.net
論文の初めと終わりで指す内容が変わってる時点で形而上学なんだよ
そんな事もわかんねー低レベルな界隈
694:１３２人目の素数さん
23/11/13 22:07:44.71 Q++RkXqp.net
数学・論理学・科学の対象になるのは言及するたびに指す内容が変わったりしない言葉だよ
指す内容が変わるなら明示的に表記を変える
たったこれだけの事すらわかってないからIIT界隈やクオリア界隈と関わったら終わりだよ
数学基礎論わからん奴に数学基礎論教えたとして
時間の無駄
695:１３２人目の素数さん
23/11/13 22:08:20.22 Q++RkXqp.net
マトモな科学者が論文のタイトルに意識とか書かないのはそういう視点なのに
理解してないから入れちゃうんだろうな
696:１３２人目の素数さん
23/11/13 22:09:32.48 Q++RkXqp.net
触れるたびに内容が変わる記号なんかで論理が成り立つと思えてしまう時点で更生不可能
教えても意味がない
697:１３２人目の素数さん
23/11/13 22:10:06.14 Q++RkXqp.net
これを教えてもらうまでわからない奴は論理的思考力が無い
698:１３２人目の素数さん
23/11/13 22:14:45.57 Q++RkXqp.net
頭が悪い人たちには永久にわからない事だろうけど
論理学は曖昧さを扱えないのではない
曖昧なものは確率分布など幾らでも扱う方法がある
論理学としてあってはならないのは「どのような曖昧さなのか」という曖昧な対象の指す内容を断りなく変更すること
指す内容を変えるなら表記を明示的に変えなければならない
人によって指す内容が変わるならそれも表記として別のものにする
たったこれだけのことがわかってない奴に何も成し遂げられるわけがない
時間の無駄
教えても意味ないよ
世の中のほとんどは15歳くらいでこのくらいのことわかって奴らなんだから
オッサンになってから理解しても意味ない
699:１３２人目の素数さん
23/11/13 22:15:40.99 Q++RkXqp.net
こんな簡単な事すら考えてないのにIUTとか意識とか究極的に難しいことを考えようとする時点でヤバい
700:１３２人目の素数さん
23/11/13 22:17:02.23 Q++RkXqp.net
クオリア界隈はとにかく数学の基礎をやってないので
「曖昧さを扱えるけどその曖昧さは断りなく変わらない」
という状態を考えることができない
701:１３２人目の素数さん
23/11/13 22:17:40.31 Q++RkXqp.net
本人たちは最先端をやってるつもりなのだが
100年前の論理学すら学んでないのでお笑いでしかない
702:１３２人目の素数さん
23/11/13 22:19:46.57 Q++RkXqp.net
論文の最初と最後で指す内容が変わる言葉とか
マトモなジャーナルならエディターレベルでリジェクトしてブラックリスト入りだよ
それをマトモじゃないジャーナルとマヌケなレビュワーを探し続けてガチャを引いて科学だと思い込んでる状況
703:１３２人目の素数さん
23/11/13 22:23:12.29 Q++RkXqp.net
素朴集合論の問題点すら把握してないレベルの奴らが「悩んで」その解決に圏論が使えると妄想してるの
絶対に笑ってはいけないシリーズだよ
704:１３２人目の素数さん
23/11/13 22:26:08.53 Q++RkXqp.net
クオリア界隈は間違いなく素朴集合論という言葉を聞いた事すらないし爆発律も知らないまま死ぬ
705:１３２人目の素数さん
23/11/13 22:26:46.26 Q++RkXqp.net
もし知ったらクオリア界隈で居続けることは不可能だろうからな
706:１３２人目の素数さん
23/11/13 22:28:14.27 Q++RkXqp.net
こいつら今の数学や科学には形而上学が足りてないとまで妄想してそうだからタチが悪い
足りてないんじゃなくて否定されてるんだよ
707:１３２人目の素数さん
23/11/13 22:41:56.85 Q++RkXqp.net
>>667
これ素朴集合論と命題論理しか理解してないと自白してますわ
述語論理すら知らんし適当な言葉を論理に当てはめられると思ってるので公理的集合論を知らない
このレベルのことを表すのにトポスなんて全く必要ではないし意味がない
この界隈はこのレベルのおかしさを周りが誰も指摘できないレベルの奴しか居ない
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
708:１３２人目の素数さん
23/11/13 22:43:48.28 Q++RkXqp.net
常に論理が成り立つような量化子を書けば良いだけだが
これが「クオリア」の本質よ
とっくに解決されてることを学ぶ気もないので「新発見」しちゃうという
709:１３２人目の素数さん
23/11/13 22:45:36.08 Q++RkXqp.net
この本は本当に酷くて
代数学なんて見た事すらなくて「圏論なら構造を分析できる！」みたいな無意味な思い込みが並んでるだけ
これを見てすごいと思える奴も相当ヤバい
710:１３２人目の素数さん
23/11/13 22:47:20.01 Q++RkXqp.net
普通の論理学はどういう範囲で当てはまる論理式なのか指定できるのだがw
それを見た事も考えた事もない自白というのは凄すぎる
711:１３２人目の素数さん
23/11/13 23:15:09.67 Q++RkXqp.net
もっと言えばIIT論文の何がヤバいかと言えば
なんの根拠もない思いつきを「公理」として掲げて否定しようがないなどと強弁しているところ
これは数学基礎論を学んだことがないと自白してるに等しい
712:１３２人目の素数さん
23/11/13 23:18:57.26 Q++RkXqp.net
量子力学の公理化なんて文脈で公理という言葉を使うことがあるが
それはどこまで仮定減らせるかという文脈で減らせずに残るものを公理と呼んでるにすぎない
否定不可能な前提を公理と呼び自分にの思いつき通りに論理展開できるなどという発想はマトモな自然科学には存在しない
物理学ではむしろ否定可能な仮定を公理と呼んでいる
公理という言葉は既にどういう意味を持つか定められているのに
証明責任を逃れる目的で前提を公理と言い張るのは自然科学ではあり得ない
自然科学をマトモに学んでない集団だとそこから伝わってしまう
713:１３２人目の素数さん
23/11/13 23:20:40.66 Q++RkXqp.net
数学でもそうだが
公理という言葉はどの公理系を採用するかは自由であり公理系ごと否定され得ることを前提にしている
そういう背景を学ぼうとも理解しようともしたことがない浅い人たちの妄想
完全なオカルトだよ
714:１３２人目の素数さん
23/11/13 23:22:12.29 Q++RkXqp.net
IITは疑似科学だという批判があるらしいが
全くの見当はずれだ
疑似科学どころか論理学を満たしてない
非論理的だから非科学そのものであり疑似科学みたいに科学っぽさを兼ね備えていたりしない
疑似科学の段階にすら達してないよ
論理を満たさない
715:１３２人目の素数さん
23/11/13 23:22:54.21 Q++RkXqp.net
ある言葉が指してる内容に論文の始めと終わりで変化があるとか
疑似科学でもやらない愚行
疑似科学に失礼だよ
716:１３２人目の素数さん
23/11/13 23:23:57.80 Q++RkXqp.net
異なる内容に同一の記号を与えたら爆発律が成り立ち結論が無意味になるってことすらわかっていない
疑似科学はそのくらいはクリアしてるぞ
717:１３２人目の素数さん
23/11/13 23:32:57.75 Q++RkXqp.net
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
718:１３２人目の素数さん
23/11/13 23:41:01.22 Q++RkXqp.net
たぶんアドホックな仮説というものが何故許されないのかわからないんだろうな
本気で
そういうことを理解できるだけの知性が備わってない
証明責任とか考えた事も無いのだろう
719:１３２人目の素数さん
23/11/13 23:45:56.05 Q++RkXqp.net
まあオカルトはどうでも良いので
IUTについて
IUTは
・公理から導かれるロジックとその結論に欠陥はあるか？
・ロジックに欠陥がなくても予言能力や応用可能性の点で有用か？
の様々なレベルの疑義があるわな
正しいには正しいけど全く使い道のない定理とか体系は無数にあるからな
720:１３２人目の素数さん
23/11/14 01:21:18.74 wdJblonV.net
公理の意味すらわからずに卒業して何の証拠もない思いつきを公理と言い張るの
教育の失敗だろ
そんな妄想抱いているなら他の何を丸暗記してても全く価値がない
721:１３２人目の素数さん
23/11/14 01:23:11.94 wdJblonV.net
部分点を合計して試験の単位を認定してる時点で
「量としては少ないが致命的な影響を及ぼす欠陥思考」
を防ぐことができない
722:１３２人目の素数さん
23/11/14 01:34:19.23 wdJblonV.net
東大卒なのに東大から相手にされてない人って
その辺を二言三言やり取りするだけで見抜かれて弾かれちゃうんだよね
相手の承諾なく言葉の意味をコロコロ変える奴とかな
723:１３２人目の素数さん
23/11/14 01:36:07.70 wdJblonV.net
言葉の指す意味はもちろん探っていいし変えても良い
ただし相手と合意をして明示的にだ
ここが全くわかってない
確かに大学の必修科目にそれを学ぶ項目は無いのかもしれないが
過学習すぎるし汎化性能が低すぎる
殆どの学生は汎化できるし学べること
特殊スキルでもなんでもなくて学べない奴が特殊
724:１３２人目の素数さん
23/11/14 02:34:17.82 rzIaxIT8.net
基礎論屋と圏論屋は出ていけ。
気色悪い。
725:１３２人目の素数さん
23/11/14 06:06:50.81 KnubwXxQ.net
Wikipedia
Section Conjecture
異様にスカスカなんだが。
726:１３２人目の素数さん
23/11/14 06:07:18.97 KnubwXxQ.net
URLﾘﾝｸ(en.m.wikipedia.org)
727:１３２人目の素数さん
23/11/14 08:17:27.12 CzWoFyuH.net
>>701
>オカルトはどうでも良いので IUTについて
IUTは数学ではない。
数学の遠アーベル幾何学からIUT語のIUTへ転落した。
728:１３２人目の素数さん
23/11/14 08:25:25.31 CzWoFyuH.net
>>706
このIUT応用スレはIUT信者のサティアンだったな。
729:１３２人目の素数さん
23/11/14 08:28:23.90 CzWoFyuH.net
>>710
応用→応援
730:１３２人目の素数さん
23/11/14 08:36:45.74 wdJblonV.net
>>709
どのあたりが数学じゃないのか部外者にもわかりやすく頼む
731:１３２人目の素数さん
23/11/14 09:10:33.71 CzWoFyuH.net
望月新一監修.川上量生あとがき.加藤文元著.宇宙と宇宙をつなぐ数学.では、
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」と明言している。
732:１３２人目の素数さん
23/11/14 10:42:13.95 wdJblonV.net
>>713
それだけなら一般的じゃない数学なだけであって数学に含まれちゃうじゃん
数学の中に一般的なのと特殊なのがあるだけだよな？
733:１３２人目の素数さん
23/11/14 10:44:26.95 wdJblonV.net
そんなことはどうでも良いからIUTの論理的おかしさとかIUTが何故使えないかについて具体的に頼むわ
734:１３２人目の素数さん
23/11/14 11:00:57.32 KnubwXxQ.net
もっちーは、” 単なる「新しく発見された一数学的現象」として理解し、淡々と論理的に受け入れればよいはずのものですが、” と言っている。
it is important to remember that, just like SGA, IUT is formulated entirely in the framework of
“ZFCG”
(i.e., ZFC + Grothendieck’s axiom on the existence of universes),
とも言っている。
735:１３２人目の素数さん
23/11/14 11:03:22.77 CzWoFyuH.net
>数学の中に一般的なのと特殊なのがあるだけだよ
736: 数学がクーンの意味でパラダイムシフトして特殊なIUT語のIUTになった。 一方加藤文元はIUT語が未だに未完成とのべている。
737:１３２人目の素数さん
23/11/14 11:06:24.66 CzWoFyuH.net
>>716
あら、>>713
738:１３２人目の素数さん
23/11/14 11:19:55.82 wdJblonV.net
文元ってIUTわかってるんか？
怪しいな
739:１３２人目の素数さん
23/11/14 11:23:11.82 wdJblonV.net
10年経っても本人すら応用できない以上
たとえ論理的に正しかったとしても使い道がないと言えそう
740:１３２人目の素数さん
23/11/14 11:40:53.92 KnubwXxQ.net
たった10年で、
遠アーベル セクション予想の証明
ジーゲル零点の非存在の証明
エラい強いeffective abc不等式
741:１３２人目の素数さん
23/11/14 11:48:48.81 lN6dthQw.net
やっぱzfcgなんか
742:１３２人目の素数さん
23/11/14 11:50:27.69 CzWoFyuH.net
>>719
>文元ってIUTわかってるんか？
加藤文元氏はIUTTは望月加藤の2人セミナーよりIUTの主定理まで構築したし
今やIUT研究の所長を公言している。
望月新一IUTT提唱者は、明らかに望月新一監修の>713と>716が矛盾している。
ただし未完成のIUT語からは矛盾していないかも？
私はIUT信奉者でないから全体がよくわからんし、
RIMSか文科省へ問い合わせてみたらいかが？
743:１３２人目の素数さん
23/11/14 12:54:37.59 Mz6vJbyQ.net
>>691
何だかんだ西郷の本読んでんの？w
でも君基礎論の研究者っぽくないな。トートロジーの不変性を強調してるっぽいが、
ヒルベルト空間の（非可換）確率論みたいな設定には十分圏論を適用できるだろ
何故なら非可換な測度という数学的構造があるからだ
圏論が関係の不変性や合成を扱う理論ということくらい彼らはわかってるよ
あと、IITについてはM.Marcolliも多分関心を持ってる。統合情報に言及したはず
それで情報のコホモロジー理論とか提唱してる。非可換モチーフの研究者だから
744:１３２人目の素数さん
23/11/14 13:04:57.86 KnubwXxQ.net
アデレードの圏論の人はポスドクを20年くらいやるのかな。
745:１３２人目の素数さん
23/11/14 13:22:11.87 CzWoFyuH.net
圏論を量子力学や場の量子論で用いるなら、
まず数学の圏論とIUT語の「圏論」を分離が必要だ。
そのためにもRIMSを解体すべきだな。
746:１３２人目の素数さん
23/11/14 13:26:01.48 KnubwXxQ.net
圏論でアカポスゲットはエラい厳しい。
747:１３２人目の素数さん
23/11/14 13:52:49.18 nSXFV0ri.net
>>726
頭悪い書き込みすんなよ
他人の思考に介入するとか
独裁者の思考だわ
748:１３２人目の素数さん
23/11/14 13:56:52.05 CzWoFyuH.net
>>728
あ、このスレはIUT信者のためのIUT応援スレだったな
749:１３２人目の素数さん
23/11/14 13:59:29.44 KnubwXxQ.net
圏論屋と基礎論屋は乞食。
750:１３２人目の素数さん
23/11/14 18:09:15.53 qNSYu4+B.net
>>724
何言ってんのお前
こんな数学基礎論は必修だよ必修
述語論理すら知らねーなら自.殺しろマジで
751:１３２人目の素数さん
23/11/14 18:10:21.56 qNSYu4+B.net
>>724
ただの群論と構造主義すら知らねーんだもん
あまりにも教養なさすぎて論外
ただただ大学教育の失敗
752:１３２人目の素数さん
23/11/14 18:10:49.80 qNSYu4+B.net
>>724
論理学を満たさないと言われてんのに意味を理解できないわけ？
753:１３２人目の素数さん
23/11/14 18:11:55.74 qNSYu4+B.net
>>730
基礎論屋って何？
述語論理すら知らずに数学語ってるなら死ぬべきだよ
必修だろ
754:１３２人目の素数さん
23/11/14 18:22:53.02 Ite+vgTi.net
脳科学の連中は、意識と脳の対応関係だけでクオリアが分かると決めつける
要するに対応関係という刀でクオリアというゴルディアスの結び目を断ち切れる
とほざく２１世紀のアレキサンダー大王
まあ、それ以外やりようがないからな
でも、それって難問でもなんでもないだろ ただ開き直ってるだけだから
755:１３２人目の素数さん
23/11/14 18:25:42.92 62ugfuer.net
>>735
そもそもクオリアとか形而上学で論理学を満たさないから意味ないよ
形而上学語る奴は論理を知らない低学歴だと自白してるようなもん
爆発律すら知らねーんだもん
756:１３２人目の素数さん
23/11/14 18:26:11.22 62ugfuer.net
>>724
トートロジーの不変性って何？
また低学歴脳障害が知ったかぶりしてるの？
757:１３２人目の素数さん
23/11/14 18:27:06.99 62ugfuer.net
>>735
意識もクオリアも人によって解釈が違う以上論理学を満たさない
全く意味がない
人によって変わらない定義すら書けないんだからバカしか居ない
758:１３２人目の素数さん
23/11/14 18:27:21.85 62ugfuer.net
論理の意味すら理解してないってことだ
759:１３２人目の素数さん
23/11/14 18:30:30.17 meOEe3mL.net
>>735
IITはそういう理論ではないだろ
単なる脳機能マップ論ではない
760:１３２人目の素数さん
23/11/14 18:31:23.61 62ugfuer.net
>>724
ぽいってなんだよ知ったかぶり
お前理解してない言葉並べてるだけだな？
俺が指摘したことを1文字も読めてない
脳障害だよ
761:１３２人目の素数さん
23/11/14 18:31:59.21 Ite+vgTi.net
>>736
科学は何らかの意味で独断が入ってる
独断の無い学問は何も語らない
762:１３２人目の素数さん
23/11/14 18:32:42.31 62ugfuer.net
>>740
IITは因果関係の強さが意識の大きさとかほざいてるんだが
数学も物理もやったことない知恵遅れが考えた妄想なので
因果関係は生物関係ないただの物理で成り立つことだとわかってない
生まれてから因果関係の理論を一度も学んだことすらないバカどもの空想だよ
763:１３２人目の素数さん
23/11/14 18:33:23.31 62ugfuer.net
>>742
独断かどうかはどうでもよい
形而上学は論理的であることが不可能
そして物証がない妄想
764:１３２人目の素数さん
23/11/14 18:35:08.70 Ite+vgTi.net
>>740
>IITは…単なる脳機能マップ論ではない
まあ、でもマッピングすらできないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
765:１３２人目の素数さん
23/11/14 18:36:04.50 62ugfuer.net
因果関係の大きさ=意識の大きさ とかほざいたら
マトモに勉強してきた学生に突っ込まれてすぐに撤回するのが健常者
この集団は周囲の疑問とか理解するだけの知能ないから相手にするだけ時間の無駄だよ
766:１３２人目の素数さん
23/11/14 18:36:45.45 62ugfuer.net
>>745
マッピングなんて出来るようなハイレベルなものじゃないよ
因果関係が強ければ意識っていう意味不明な妄想を前提にしてる
767:１３２人目の素数さん
23/11/14 18:37:26.04 62ugfuer.net
それアメリカンクラッカーでも球の数増やすと意識芽生えることになるんですけどwwwwwww
因果関係の意味すらわからないとかバカすぎる
768:１３２人目の素数さん
23/11/14 18:37:31.19 Ite+vgTi.net
＞意識の大きさ
何を測ってるのか知らんけど、直感できるものなのかね？でないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
769:１３２人目の素数さん
23/11/14 18:39:19.21 62ugfuer.net
>>749
そうなんだよ
因果関係の大きさとやらを意識の大きさだと仮定したから
アメリカクラッカーの球を数百万個並べたら人間より意識が大きくなるwwwmwww
独断どころじゃない
770:１３２人目の素数さん
23/11/14 18:40:09.72 62ugfuer.net
因果関係は決定論的システム全てに成り立つ性質であることを理解してない
高校レベルの物理すら理解してないぞあいつら
771:１３２人目の素数さん
23/11/14 18:42:46.53 meOEe3mL.net
>>736
悪いけど時間の無駄だわ
色々ずれすぎてる。反証可能性と述語論理の関係すらわかってなさそうだし、
IITを形而上学とか言ってる割に爆発律がどうとか批判の軸が無くなってる
ただ確かなのは、意識の理論に関してはちゃんと査読論文書いてるIIT連中のが
論理論理喚いてるあんたよりは有望だろう
772:１３２人目の素数さん
23/11/14 18:44:41.64 62ugfuer.net
>>752
反証可能性とか低学歴丸出しだよお前
反証可能性が科学と関係あると妄想してそうだけど
反証可能性は証明責任を果たす議論の必要条件でしかないよ
あまりにも無知すぎる
773:１３２人目の素数さん
23/11/14 18:45:05.82 62ugfuer.net
>>752
形而上学だから爆発律が成り立つんだよ
死ぬほど頭悪いなお前
774:１３２人目の素数さん
23/11/14 18:45:40.81 62ugfuer.net
>>752
査読論文なんて意味ないよ
低レベルジャーナルとバカなレビュワー引き当てれば良いだけの話
775:１３２人目の素数さん
23/11/14 18:46:08.47 62ugfuer.net
>>752
本当に意識の理論ならCNS乗るよ
形而上学だからエディターリジェクト
776:１３２人目の素数さん
23/11/14 18:46:41.81 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
777:１３２人目の素数さん
23/11/14 18:47:31.73 62ugfuer.net
>>752
本当にバカすぎて形而上学の問題を理解できてないのウケる
同じ言葉が複数の意味を持ったら爆発律ってことすらわからん低知能が意識とか笑えるwwwwwww
778:１３２人目の素数さん
23/11/14 18:47:49.69 meOEe3mL.net
>>750
それも散々研究者から論理的に否定されてんのにどうしようもないなあんた
意識はただの大規模な力学系じゃねえよ
脳障害とかブーメラン過ぎて自爆してくれて有り難いわw まあ頑張ってな
779:１３２人目の素数さん
23/11/14 18:48:32.26 62ugfuer.net
>>752
こういうバカって反証可能性を科学の必要条件だと妄想してそうでウケる
780:１３２人目の素数さん
23/11/14 18:49:29.70 62ugfuer.net
>>759
論理的に否定されてないよ
どこにこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
781:１３２人目の素数さん
23/11/14 18:50:04.36 62ugfuer.net
知恵遅れって科学哲学者が科学の内容を決めてると思ってそう
教養が無さすぎる
782:１３２人目の素数さん
23/11/14 18:51:22.81 62ugfuer.net
>>759
神経回路の接続をめちゃくちゃにしてΦが変わらないまま意識を失わせることができる
はい完全論破
反論してみ？
絶対無理だから
指摘したケースだけを禁じるアドホックな仮説しか出さない
さらに指摘は無限に増やせるぞ？
783:１３２人目の素数さん
23/11/14 18:51:28.82 meOEe3mL.net
>>754
いやそれ間違ってるぞ。形而上学＝爆発律ではない
論理わかってないって、あんたのブーメランだよ
ちなみにIITは観測データも参照する理論なので、反証可能性はそれとセットになる
色々視野が狭すぎる。基礎論の研究者っぽくない、が気にくわないなら研究者では
まずないな。まあ改めて頑張ってくれ
784:１３２人目の素数さん
23/11/14 18:52:54.74 62ugfuer.net
その定義からしてΦには「どういう主体が何を目的として行動するか」という情報が入ってないので
Φを維持したまま殺して意識を失わせることができる変換が無限に存在する
785:１３２人目の素数さん
23/11/14 18:53:30.80 62ugfuer.net
>>764
形而上学=爆発律だよ
間違ってると感想を書いても意味ない
異なることを同一扱いしたら即時に爆発律が成立する
爆発律知らないんだろ？
786:１３２人目の素数さん
23/11/14 18:54:08.96 62ugfuer.net
>>764
反証可能性の話など一切してない
アドホックな仮説の意味知らないから今ググってんの？
死にたくならんの？それ
787:１３２人目の素数さん
23/11/14 18:54:26.71 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
788:１３２人目の素数さん
23/11/14 18:55:04.98 62ugfuer.net
>>764
間違ってるという文字には意味がない
反例書けないなら自殺しな
789:１３２人目の素数さん
23/11/14 18:55:50.71 62ugfuer.net
>>764
そもそも形而上学がウィトゲンシュタインに完全否定された事すら知らないとか
教養が無いにも程がある
790:１３２人目の素数さん
23/11/14 18:56:08.35 62ugfuer.net
大学で合コンしかしてなさそう
791:１３２人目の素数さん
23/11/14 18:58:05.30 62ugfuer.net
不勉強な奴がバカな事言って恥晒しても
自己責任だよな？
形而上学がなぜ完全否定されたかすらわかってないとかwwww
792:１３２人目の素数さん
23/11/14 18:58:28.27 62ugfuer.net
なぜ歴史を知ろうとすらしないのか
793:１３２人目の素数さん
23/11/14 19:00:02.79 62ugfuer.net
論理学を破っていてもこういう低学歴シンパを騙せれば飯食えるってか
生きてて恥ずかしく無いのか？
794:１３２人目の素数さん
23/11/14 19:00:20.43 62ugfuer.net
疑似科学だなんて疑似科学に失礼だよ
795:１３２人目の素数さん
23/11/14 19:01:13.42 62ugfuer.net
疑似科学は論理学は満たしてるので
IITを疑似科学扱いするのは疑似科学に対して失礼
論理学すら満たしてないんだから無意味なポエムだよ
796:１３２人目の素数さん
23/11/14 19:04:56.45 62ugfuer.net
反証可能性を科学の基準にするのは低学歴バレちゃうからやめような？
反証可能性は相手が適切に証明責任を果たせるようにするフェアな議論のために必要なことだから
政治学だろうが社会学だろうがフェアな議論には必須の概念
ポパーは無学だから科学特有だと思い込んだだけで全く意味がない主張だ
何が科学なのかを科学やった事ない素人に任せるとか
死んだ方がマシじゃね？
なんでそんな恥ずかしいことして息をしてられるのか
プロ野球選手がボールを握ったことすらない素人の解説者の妄想に従わなきゃいけないらしいwwww
797:１３２人目の素数さん
23/11/14 19:05:47.90 62ugfuer.net
古代ローマから連綿と続く証明責任論を学んでいればポパーはあんな恥ずかしい珍説を披露せずに済んだ
不勉強なバカの空想でしかないし
それに気づけない奴も同類
798:１３２人目の素数さん
23/11/14 19:06:26.68 62ugfuer.net
まあ学問の話する時にポパーとかクーンとか持ち出す奴は五流以下だよ
聞き齧っただけで中身を見てないし自分で考えてない
799:１３２人目の素数さん
23/11/14 19:06:55.27 62ugfuer.net
科学哲学者は科学をやったことがない
なんでこんな事すらわかんねーのかねwwwwww
800:１３２人目の素数さん
23/11/14 19:08:09.60 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
アドホックな仮説を指摘されてんのに逃げたから非科学確定な？
801:１３２人目の素数さん
23/11/14 19:10:00.69 62ugfuer.net
間抜けな奴の間抜けな状態を言い表す目的には
バカな科学哲学者(科学未経験の素人)の造語を使ってやるのも良い
ただしそれは科学の基準ではない
ただの照明責任論の範疇がほとんど
科学素人のくせに科学に意見するようなバカが
古代ローマ法学に端を発する証明責任論を学んでいるわけがないのよなあw
802:１３２人目の素数さん
23/11/14 19:20:46.36 62ugfuer.net
証明責任の意味すらわかってないのに「ハンショーカノーセー」とか意味もわからずに念仏唱えてるのマジウケるね
803:１３２人目の素数さん
23/11/14 19:21:16.20 62ugfuer.net
論理学満たしてないからそもそも反証可能性なんて関係ねーよ脳障害が
804:１３２人目の素数さん
23/11/14 19:22:20.89 62ugfuer.net
IITは疑似科学だとか批判した人！
疑似科学に謝ってください
疑似科学は論理学は満たしてますがIITは論理学を満たしてません
いくらなんでも疑似科学に失礼すぎますっ！
805:１３２人目の素数さん
23/11/14 19:23:21.84 62ugfuer.net
疑似科学→論理学は満たすが証明責任を果たしてない
IIT→論理学を満たさないし証明責任も果たしてない
一緒にするのは失礼すぎる
806:１３２人目の素数さん
23/11/14 19:30:31.82 62ugfuer.net
>>759
論理的に否定されてないよ
この世界のどこにもこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
807:１３２人目の素数さん
23/11/14 20:06:56.13 fIkUPXJp.net
Anabelian Arithmetic Geometry – A new Geometry of Forms and Numbers:
Inter-universal Teichm¨uller theory or “beyond Grothendieck’s vision”
B. Collas
As already reported in [Hos21b], a “Galois orbit Inter-universal Teichm¨uller” theory is expected to establish decisive progress in the birational local-to-global Grothendieck section conjecture (for an introduction, see [Sa¨ı12] and [Hos14]).
One can thus only expect Mochizuki’s Inter-universal Teichm¨uller geometry and philosophy to act as one of the long-term beacons in the present general harmonization process of arithmetic and homotopic Galois theory.
今度証明が発表されるセクション予想は、birationalバージョンだと思われていたようだ。
808:１３２人目の素数さん
23/11/14 20:54:39.87 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
809:１３２人目の素数さん
23/11/14 20:57:21.52 wdJblonV.net
>>759
ただの大規模な力学系だとIITは定義してるよ
脳障害は因果関係の意味すらわかってないから恥晒し
810:１３２人目の素数さん
23/11/14 21:05:39.88 wdJblonV.net
因果関係が生物と関係ない事が分かってないのって
大学で遊び呆けて物理一切やってない自白だよな
811:１３２人目の素数さん
23/11/14 21:08:19.44 fIkUPXJp.net
URLﾘﾝｸ(scholar.google.co.jp)
812:１３２人目の素数さん
23/11/14 21:46:42.02 TbgJpCn0.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
813:１３２人目の素数さん
23/11/14 21:47:23.87 DStQyjN/.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
814:１３２人目の素数さん
23/11/14 21:56:46.39 CzWoFyuH.net
>>794
嘘だよ
>>713 監修が望月新一！
グロタンデュークのZFCGから異世界の
815:IUTへ転落した
816:１３２人目の素数さん
23/11/14 22:49:07.26 TbgJpCn0.net
The new geometry of monoids furnished by IUT may be understood as the result of a seminal encounter between Grothendieck’s principle of resolving the tension between the discrete and continuous realms, on the one hand, and p-adic Hodge theory and height theory, on the other, and opens a new research frontier that goes beyond the Grothendieck geometry of rings-schemes by providing a unifying framework for Diophantine and anabelian arithmetic geometry.
817:１３２人目の素数さん
23/11/14 22:55:26.95 TbgJpCn0.net
IUTが提供するモノイドの新しい幾何学は、一方では離散領域と連続領域の間の緊張を解決するというグロタンディークのプリンシプルと、他方ではp進ホッジ理論とheight理論との間の画期的な出会いの結果として理解され、ディオファントス幾何学と遠アーベル数論幾何学に統一的な枠組みを提供することによって、環-スキームのグロタンディーク幾何学を超える新しい研究フロンティアを開くものである。
818:１３２人目の素数さん
23/11/14 23:19:03.66 +Bb//qj/.net
2021年
京大RIMS 訪問滞在型研究 「宇宙際タイヒミュラー理論の拡がり」
望月新一監修川上量生あとがき加藤文元著
「宇宙と宇宙をつなぐ数学」はHPに掲載された公式本。>>713
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
は公式見解。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
819:１３２人目の素数さん
23/11/14 23:27:07.67 TbgJpCn0.net
>>798
>>716
820:１３２人目の素数さん
23/11/14 23:33:20.53 +Bb//qj/.net
望月新一の、
>>716 と >>713 「全く新しいフレームワークと言語・概念体系を基盤として構築」は矛盾している。
IUTはその場しのぎの類だから、
821:１３２人目の素数さん
23/11/14 23:40:24.69 TbgJpCn0.net
>>800
事実はどうなんだ？
IUTはZFCGから逸脱しているのか？
822:１３２人目の素数さん
23/11/14 23:52:40.62 +Bb//qj/.net
望月監修川上量生あとがき加藤文元の
IUT本はscholze.stixレポートへの回答だね。
何処の方向へお逃げになったのだろうか？
823:１３２人目の素数さん
23/11/15 00:24:00.49 O1VxE2ny.net
>>789
なにそれ
824:１３２人目の素数さん
23/11/15 01:03:44.96 0wu1F69C.net
>>803
IIT
825:１３２人目の素数さん
23/11/15 01:06:41.45 0wu1F69C.net
>>803
IIT4.0とかいうプレプリント出してるけどもう1年経つのにどこも査読通ってないの笑えるやろ
仮定に形而上学入れてる時点でエディターリジェクトされてる事すら理解出来てない
マトモな教育受けてないエディターしかいないレベルの低いジャーナル探してんだろな
そしてマトモない教育受けてないレビュアーに当たるまでジャーナルガチャ回してる
これ科学って呼ぶの？
826:１３２人目の素数さん
23/11/15 01:09:34.32 0wu1F69C.net
掲載拒否されて指摘された点を直さない
あり得ないだろ
827:１３２人目の素数さん
23/11/15 01:13:12.89 0wu1F69C.net
リジェクト履歴と理由を公開すべきだよな
低レベルなジャーナルを探して科学に見せかけるという行為が横行してる
ほならね？？CNSに投稿してみなさいよ
公理とか吠えてデカルトを根拠にした噴飯物のポエムをよ
828:１３２人目の素数さん
23/11/15 01:14:11.87 0wu1F69C.net
科学論文の体裁で仮定に形而上学入れたものを載せた時点でそのジャーナルは終わりだよ
査読プロセスが機能してない
低レベルなエディターと低レベルなレビュアーだらけのザル
829:１３２人目の素数さん
23/11/15 01:16:45.52 0wu1F69C.net
ガチでIIT3.0には「デカルトが「我思う故に我あり」と言ったから意識は1つに統合されていなければならない」という「公理」が書かれてる
マトモなエディターやレビュアーなら即リジェクト
レビュアーがちゃんと読んでない低質ジャーナルを探して投稿しまくったんだろうな
830:１３２人目の素数さん
23/11/15 01:17:20.91 0wu1F69C.net
疑似科学だなんて疑似科学に失礼だよ
疑似科学は論理学は守ってるからな
831:１３２人目の素数さん
23/11/15 01:41:09.39 FoPSXnZg.net
IUTに文句言ってる奴は、
圏論屋、基礎論屋、crank
言い換えると、
乞食と統失
832:１３２人目の素数さん
23/11/15 06:48:49.81 +CJ+qARo.net
>>809
該当箇所提示して
833:１３２人目の素数さん
23/11/15 07:43:19.04 0wu1F69C.net
>>812
もうこの時点で形而上学だから論理学を満たさない
Axioms.
The central axioms, which are taken to be immediately evident, are as follows:
EXISTENCE: Consciousness exists – it is an undeniable aspect of reality. Paraphrasing Descartes, “I experience therefore I am”.
URLﾘﾝｸ(journals.plos.org)
834:１３２人目の素数さん
23/11/15 07:44:47.48 0wu1F69C.net
>>812
これも100%形而上学
INTEGRATION: Consciousness is integrated: each experience is (strongly) irreducible to non-interdependent components. Thus, experiencing the word “SONO” written in the middle of a blank page is irreducible to an experience of the word “SO” at the right border of a half-page, plus an experience of the word “NO” on the left border of another half page – the experience is whole. Similarly, seeing a red triangle is irreducible to seeing a triangle but no red color, plus a red patch but no triangle.
こんなもん書いてあったらマトモなジャーナルではエディターリジェクト
835:１３２人目の素数さん
23/11/15 07:47:05.04 0wu1F69C.net
で>>814のように「我々の認識はこうなってる」などという公理をスタートにしたら
決定論的相互作用(因果関係)のある全ての物質塊に対して計算されるΦなる数値が定義される
それが死んでようが物質塊だろうが区別しないので論文の初めと終わりで「意識」の指す内容が変化してる
836:１３２人目の素数さん
23/11/15 07:48:40.07 0wu1F69C.net
ただの物質塊でも当てはまることを批判されたら「その場合は該当しない」「神経系のサイズに限る」などと後からアドホックな仮説を垂れ流すだけ
この「理論」は意識の要素とやらが全く含まれてない
837:１３２人目の素数さん
23/11/15 07:49:54.85 0wu1F69C.net
なお「この範囲がΦという数値を計算できる対象である」という完全版はこの世界に未だに存在したことがない
完全な「アドホックな仮説」
証明責任の放棄だってわかってない
838:１３２人目の素数さん
23/11/15 07:55:19.46 0wu1F69C.net
Φを維持したまま神経回路をランダムに入れ替えれば
一般的には意識など無いとされる状態に出来るが
Φはそれを測れない
この可能性を排除するような条件はアドホックな仮説でも出すことは不可能だから逃げ続けるしかない
ほんの少しでも意識の理論なんて考えようとしたらこのくらい考えてから構築するもんだが
最も思慮が浅いので最も愚かな珍説を最も先に出しただけというね
839:１３２人目の素数さん
23/11/15 07:59:40.09 0wu1F69C.net
信号が情報としてやり取りされてて因果関係の「大きさ」さえ測れれば意識の大きさが測れるという妄想なので
脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る
このグループは因果関係というものの意味を全く理解していないらしい
840:１３２人目の素数さん
23/11/15 08:01:50.94 0wu1F69C.net
つまり理論の対象が脳神経細胞に限るという後だしジャンケン(アドホックな仮説)を追加しても
「脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る」
という批判には一切対応できてないし
841:対応できる可能性も無い
842:１３２人目の素数さん
23/11/15 08:04:07.21 0wu1F69C.net
つまりパソコンの消費電力でパソコンの性能を測ろう程度の極めて幼稚な空想に過ぎない
CPUが壊れてて消費電力は大きいのに全く計算できないみたいな状況すらカバーしてない
理論になってない役立たずの妄想
843:１３２人目の素数さん
23/11/15 08:05:07.67 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
844:１３２人目の素数さん
23/11/15 08:15:57.51 0wu1F69C.net
人によって解釈が異なる単語を論理学の対象に出来ると思ってる時点で100年前の論理学のレベルにすら達してない
教育制度の失敗であるし
論文査読制度の失敗でもある
基本を身につけてない奴が基本を身につけてないレビュアーを
多数回様々なジャーナルに投稿し続けて引き当てれば「サドクズミ論文」になれる
中身を読まない素人はそれで騙されるという寸法
845:１３２人目の素数さん
23/11/15 08:17:29.95 0wu1F69C.net
なおIIT4.0なるプレプリントがあるが未だにジャーナルガチャを引き終えていないらしい
846:１３２人目の素数さん
23/11/15 08:19:46.26 0wu1F69C.net
マトモな科学って人によって解釈が異なる単語に対して
誰がみても変わらない定義をとりあえず与えてから論理を始めるんだけど
普段から論文を読めてないんだろうな
斜め読みというか
読んだつもりになってるだけ
847:１３２人目の素数さん
23/11/15 08:21:32.84 0wu1F69C.net
なぜ論理の対象に出来るのは集合に限られるのか考えた事すらないんだろうなあ
848:１３２人目の素数さん
23/11/15 08:24:12.16 0wu1F69C.net
・爆発律を防ぐには言及するたびに内容が変化する言葉は禁止しなければならない
・集合論的パラドックスを防ぐには自己そのものを自己言及と区別できるよう型理論や集合族の概念などの仕組みを用いなければならない
たったこれだけのことすら学んでない奴らが意識ねえ…
大学で何学んだの？
849:１３２人目の素数さん
23/11/15 12:53:56.83 0wu1F69C.net
消費電力でPCの性能測れるぜ！
↓
ほな電気ストーブの方が「高性能」ですなぁw
↓
じゃあ電気ストーブは禁止してCPUやメモリを積んだコンピューターに制限するぜ！
↓
ほなCPU壊れてても「高性能」ですなぁw
↓
逃亡
因果関係の大きさで意識の強さ測れるぜ！
↓
ほな塩化ナトリウム結晶の方が「高性能」ですなぁw
↓
じゃあただの物質は禁止して脳神経細胞に制限するぜ！
↓
ほな神経回路の接続壊れてても「高性能」ですなぁw
↓
逃亡
どれだけ頭悪いんだこいつら
誰もこれを指摘しないというのがヤバすぎる
850:１３２人目の素数さん
23/11/15 12:54:32.52 0wu1F69C.net
十分条件という概念を知らないレベルだこれ
851:１３２人目の素数さん
23/11/15 13:19:39.46 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
852:１３２人目の素数さん
23/11/15 17:49:33.66 0wu1F69C.net
例えばディープニューラルネットワークを持ってきたとして
そのAIの性能指標に「ノード間の因果関係の強さの総計」を採用したとしよう
この数値にどんな意味があるか？
そのAIがどれだけ学習不足でどれだけ正解率が低くても内部ノードの因果関係が強い状態など無数にあり得るということだ
無意味な情報を無意味なループで内部で回すだけで因果関係など幾らでも強くすることが出来る
せめて因果関係を意味ある指標にしたいならそのAIにやってほしいタスクの正解を結果として
そのAIへの入力を原因としたときだろ
でもそれで取れる情報は正解率と同じだからやる価値は無いんだけどねw
因果関係なんてもんに着目した時点であり得ないくらいに頭が悪い
853:１３２人目の素数さん
23/11/15 18:18:12.08 0wu1F69C.net
結局のところ人間の意識の強さ・大きさとやらを測りたければ
「人間ならば出来るはずのこと」を結果として正解率を見ればいいので
それはチューリングテストそのものなんだよなあw
基礎論を知り尽くしたチューリングが「これで必要十分」と考え抜いたものを
なんで大学時代に遊び呆けて100年前の論理学すら学んでない怠け者の馬鹿どもが楯突いてるのか
全く意味がわからない
学んでないから思慮が浅いだけってわからんところがすごい
854:１３２人目の素数さん
23/11/15 20:22:51.15 N7aYaa9r.net
>>832
チューリングが考察したのはネカマネナベ行為のピュアジェンダーやで。
855:１３２人目の素数さん
23/11/15 20:35:28.11 0wu1F69C.net
>>833
知能が低過ぎてチューリングテストの意味を理解できてないんだろうなお前は
テストするべきは「全ての問題」だ
この世に存在するありとあらゆる理論上想定し得る全ての問いが人間の意識を測る指標となる
そして有限の問題数では確率的にそれがわかるということ
バカどもは量化子という概念を知らないのでテキトーに並べた言葉が「全ての」なのか「ある」なのか読めてない
まあ発達障害も混じってるんだろうな
当然ながらチューリングテストが意味するのは「全ての」であり、リソースが有限なので「確率的にわかる」しか論理的にあり得ない