Inter-universal geometry と ABC予想 (応援スレ) 69at MATH
Inter-universal geometry と ABC予想 (応援スレ) 69 - 暇つぶし2ch500:132人目の素数さん
23/10/31 19:22:56.19 gyuPtstc.net
SSの指摘があまりにも幼稚なレベルの誤解だったのでRIMSの所員は呆れ果てて笑ったという。

501:132人目の素数さん
23/10/31 20:25:24.01 nQPGK/5I.net
>>480
これはほんまよ

502:132人目の素数さん
23/10/31 21:05:01.35 ZXL76TJN.net
>>477
平行線の平行移動とホロノミー

503:132人目の素数さん
23/10/31 21:24:26.47 gyuPtstc.net
この動画の57分頃、
URLリンク(youtu.be)

フェセンコによれば、RIMSの所員は "smiling, becasuse Scholze was ridiculously wrong" と言っている。

504:132人目の素数さん
23/10/31 21:31:46.81 CuKZT9E1.net
でも、何がridiculously wrongなのかは誰も指摘できないんだよね
望月の言ってることってダブルスタンダードじゃないの?

505:132人目の素数さん
23/10/31 21:36:31.54 gyuPtstc.net
>>484

ショルツェの over simplicity と言ってるじゃん。

506:132人目の素数さん
23/10/31 21:37:49.95 CuKZT9E1.net
>>485 具体的には?

507:132人目の素数さん
23/10/31 22:04:53.42 KCXEawVq.net
越川もギャップをみつけたよね

508:132人目の素数さん
23/10/31 22:13:24.38 rkyL65Wt.net
望月の要求はそもそも悪魔の証明だからな

509:132人目の素数さん
23/10/31 22:18:55.28 n7jfNoNQ.net
不正査読さんが何を言っても、もはや説得力ないわ

510:132人目の素数さん
23/10/31 22:23:48.27 MVWJwkhY.net
IUT論文の査読過程はお墓に持って行く
by 玉川RIMS教授
つまり墓場の玉川RIMS教授かあ

511:132人目の素数さん
23/10/31 22:24:48.50 gyuPtstc.net
IUT理論的の中に瑕疵が一つでもあるなら具体的に、かつ、明示的に数学の言葉で指摘すればいいじゃないか。

512:132人目の素数さん
23/10/31 22:28:50.82 MVWJwkhY.net
加藤文元IUT共同構築者によればIUTTは未完成。2022.4.10 Nスペ
「現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、
早急に作らなければいけないんじゃないか」

513:132人目の素数さん
23/10/31 23:46:00.57 gyuPtstc.net
>>488

それは違う。

普通、悪魔の証明とは、何かが存在しないことを証明せよ、というもの。

一方、もっちーが言っているのは、IUT理論の中に一つでも瑕疵があるなら指摘してみろや、というもの。

514:132人目の素数さん
23/11/01 01:03:04.44 nXi5zvJJ.net
>>418

僻み鮮人の夢

515:132人目の素数さん
23/11/01 07:29:24.40 aqGBkWqM.net
>>493 あるべき議論が存在していないんだから、悪魔の証明でしょ、
あるいは屏風の中にいる虎を倒せと言っているに等しい
ショルツさんはじゃあまず虎を屏風から出してくださいと言ったら
取り巻きともどもフリーズしたんだよな

516:132人目の素数さん
23/11/01 07:31:09.48 aqGBkWqM.net
>>490 地獄への手土産だな�


517:Aこの人も生き急いで名を落とした 数研維持の危機とか予算のプレッシャーとか色々あったんだろうけど、同情はしない



518:132人目の素数さん
23/11/01 07:34:44.11 FRQ9rdQB.net
正体不明なのでたわごとにしか思えない

519:132人目の素数さん
23/11/01 09:05:47.85 mS0xf9a8.net
皇天親無く惟徳を是輔く

520:132人目の素数さん
23/11/01 10:05:50.78 FRQ9rdQB.net
こうてんしんなくただとくあるをこれたすく【皇天親なくただ徳をこれ輔く】故事成語 ことば

身につければ自然とファッションに馴染んでくれる。



 成城石井.com  ことば 噺家  演目 志ん生 円朝迷宮 千字寄席
天はえこひいきすることなく、ひたすら徳をもった人にだけ援助するものだ、という意味。

「皇天」は広い天の意味で、天に敬称をつけた表現です。「皇」には「おおらかな」「広い」のニュアンスがあります。日本の「天皇」につながる語感です。

中国の「天」は、神のような意思をもちながらも茫漠とした存在です。天の仕業は人間には結果しか見えません。愛とか救済とかはないのです。人間の行いをたまに手伝うくらい(愚公山を移す、とか)。

初出は『書経(尚書とも)』から。孔子が編纂したとされる史書で五経の一。中国最古の書です。

521:132人目の素数さん
23/11/01 10:20:27.54 mS0xf9a8.net
相手を罵倒したりせず、もっと徳を積むべきです

522:132人目の素数さん
23/11/01 10:34:34.35 FRQ9rdQB.net
望月なら罵倒してよいのか

523:132人目の素数さん
23/11/01 11:25:31.81 qE/CUSX7.net
CCファルティングスで基地外長文メールドヤ顔で送りつけて
ガン無視されてるの笑える

524:132人目の素数さん
23/11/01 11:53:55.78 mS0xf9a8.net
>>501
望月さんは罵倒するべきではなかったと思いますよね

525:132人目の素数さん
23/11/01 11:56:55.37 Odb1U2Za.net
選挙で負けてテロに走ったグルと同じだね笑

526:132人目の素数さん
23/11/01 12:01:57.99 7Xa1KkJ+.net
>>502
ファルティングス氏には
MFO-RIMS23 Oberwolfach の意味が分かっているはず

ドイツでも、望月IUTを含む遠アーベルの研究が
進展しているってこと

527:132人目の素数さん
23/11/01 12:37:43.97 nXi5zvJJ.net
僻み鮮人の目標はRIMSを解体すること。

そのための工作活動をやってるつもりなんだろう。

528:132人目の素数さん
23/11/01 15:26:38.89 nXi5zvJJ.net
民団は韓国政府から資金援助を受けている。
韓国政府も関与している可能性がある。

529:132人目の素数さん
23/11/01 16:06:26.63 11Xq3i3Z.net
よほどフィールズ賞が精神的打撃だったとみえる

530:132人目の素数さん
23/11/01 16:12:22.24 u2vvfUi8.net
まあ極東の隔離地で信者に囲まれてヌルい世界で神様扱いされてた裸の王様が
本物の天才でイケメンで新理論構築に邁進中の気鋭の若手の実力者(フィールズ賞)に
致命的な箇所のダメ出し食らったら狂ってしまう気持ちもわからなくはない笑

531:132人目の素数さん
23/11/01 16:43:25.38 nXi5zvJJ.net
僻み鮮人によれば、SSはIUT理論の中に何か重大なギャップを発見した。

532:132人目の素数さん
23/11/01 16:49:30.97 nkfTwkUi.net
>>508
望月先生がフィールズ賞で打撃って言いたいわけ?
望月先生とフィールズ賞に何の関係が?

533:132人目の素数さん
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

534:132人目の素数さん
23/11/02 05:03:15.98 EqBB635V.net
IUT sect is not the Donald Trump of Mathematics、but cult of numerology !

535:132人目の素数さん
23/11/02 06:05:25.84 KQ2KeMsL.net
シュルツは論証構造を変換して、否定してる。
望月はその返還が間違ってると言っている。
この点についてシュルツは反論してないから、
普通の、議論ではシュルツの負け判定だろ。

536:132人目の素数さん
23/11/02 07:23:37.07 viVqUBCX.net
平行線に持ってくために論点はぐらかして
逃げ続ける人を相手にし続ける必要はないよね
相対論は間違ってるおじさんや反ワクカルトに権威がついたのがIUT

537:132人目の素数さん
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.

538:132人目の素数さん
23/11/02 08:32:49.92 y5+5KTpX.net
でも査読を通ったものは残る

539:132人目の素数さん
23/11/02 08:34:46.17 nCgtocfE.net
>>514
>シュルツは論証構造を変換して、否定してる。
望月はその返還が間違ってると言っている。
何を返還したの?
間違ってすらいない

540:132人目の素数さん
23/11/02 08:37:55.02 nCgtocfE.net
>>517
墓場の玉川RIMS教授らによる査読ね

541:132人目の素数さん
23/11/02 11:47:33.06 fcMyLDsX.net
それは事実としては残らない

542:132人目の素数さん
23/11/02 12:31:45.48 nCgtocfE.net
RIMS ちーん ♫〜

543:132人目の素数さん
23/11/02 14:37:03.72 vKfp2Xev.net
>>521
僻み鮮人の夢
RIMSは解体されなければならない。

544:132人目の素数さん
23/11/02 15:46:00.47 EqBB635V.net
悪徳RIMS ちーん ♫ チーン ♫

545:132人目の素数さん
23/11/02 17:44:20.39 1rQQ9XHs.net
土俵際幾何学w

546:132人目の素数さん
23/11/02 18:11:33.58 nCgtocfE.net
>>520
必死だねw

547:132人目の素数さん
23/11/02 19:42:55.91 vKfp2Xev.net
査読のプロセスでIUT論文全体をline-by-line で何回もチェックしたがギャップは見つからなかった。これだけでも十分だが、念の為、SSの話も聞いた。SSリポートを読んだRIMSの所員は、、、、

548:132人目の素数さん
23/11/02 20:32:10.75 90ZDq2wD.net
自分の博論も直せなかったゴーのザルチェックじゃな


549:。。。笑



550:132人目の素数さん
23/11/02 21:27:55.61 vKfp2Xev.net
URLリンク(www.dailyshincho.jp)

” 19歳で米プリンストン大を卒業した望月教授。メディアの取材を拒絶しているが一体、どんな人物か。
「会ったことがある数学者はごく少ないはず。学会に顔を出した話は聞いたことがないし、研究会や懇親会に出るようなタイプでもない。今回、論文を検証するための4人の研究者チームが作られ、3年掛かりで確認作業をしてきましたが、望月さんは、“4人の貴重な時間を使ってしまい申し訳なかった。もう十分だから、ご自分の研究をさせてあげてください”と語ったそうです」(飯高名誉教授)”

551:132人目の素数さん
23/11/02 23:24:13.43 NUR4RT+6.net
>>526
>SSリポートを読んだRIMSの所員は
墓場の玉川RIMS教授のこと?

552:132人目の素数さん
23/11/03 04:41:21.88 oDSkYTmT.net
根本的なことなんだけどさ
望月氏の高弟も同じコンセンサス持ってると思うけど
仮にIUTTが矛盾なく正しくて、(IUTT内部の論理で)ABC予想も証明できてるとしても
それが一体何なの?

553:132人目の素数さん
23/11/03 05:54:25.71 vAcDRVep.net
RIMSは、望月が不正査読を行った事実を隠蔽したいだけ
小保方と笹井を庇おうとした理研と同じ
その理由は、自分たちの組織の防衛
これが通ってしまう日本は、欧米よりも中国に近い非文明地域

554:132人目の素数さん
23/11/03 06:55:51.20 wVID2LZd.net
10年後には通ったかどうかが明らかになるだろう

555:132人目の素数さん
23/11/03 07:13:54.79 vAcDRVep.net
論文公開してからもう10年経った
今、明らかになってるよ ダメだって
2015年の段階でそうなるってわかってたけどね

556:132人目の素数さん
23/11/03 08:38:06.56 wVID2LZd.net
査読を経て公式に公開されてから10年
認められなければ忘れ去られるだけ

557:132人目の素数さん
23/11/03 09:36:37.64 PeSgzCzO.net
サギ

558:132人目の素数さん
23/11/03 09:47:12.38 IzKklKaR.net
>>528 > “4人の貴重な時間を使ってしまい申し訳なかった。もう十分だから、ご自分の研究をさせてあげてください”
耳触りのいいこと言ってるけど、検証されることから逃げただけだな、シンイチ
残念ながらそもそも数学の文章として成立していないとのことです、IUT
SSはじゃあまず虎を屏風から出してくださいと言ったら、
取り巻きもご本尊もフリーズして陰で誹謗中傷に走るようになったんだよな

559:132人目の素数さん
23/11/03 10:04:31.04 wVID2LZd.net
放っておけない理由は?

560:132人目の素数さん
23/11/03 14:50:44.55 eJb34bzj.net
多くの数学者にとって、IUTはabc予想の証明の他に何ができるのか分からなかったから、何年もかけてIUTを真剣に勉強しようという意欲が湧かなかったのだろう。
そしたらこないだ、もっちーが突然に、IUTの改良版を使ってセクション予想の証明と、ジーゲル零点が存在しないことの証明と、より強いabcを一気に詰め合わせで出すぞ、と言った。

561:132人目の素数さん
23/11/03 15:15:53.71 9jU7M9g0.net
虚構の上に何を積もうが虚構だよ
文字通り砂上の楼閣

562:132人目の素数さん
23/11/03 15:28:40.70 eJb34bzj.net
IUTを真剣に勉強する研究者が増えるとすれば、IUT理解の前提となるAnabelian Geometry の研究者が増えるはずだ。特に若い研究者。

563:132人目の素数さん
23/11/03 15:30:30.30 rvhmUSPE.net
もう、あやつのことを信じてる奴なんていねーよ

564:132人目の素数さん
23/11/03 15:48:00.51 j3c1yNcn.net
検証されることから逃げ続けたIUT
美辞麗句と詭弁だけが空疎に舞う
質問したら罵詈雑言浴びせられて公開誹謗中傷受けるんだから
若手は怖くて何も言えないよな
科研費審査や弟子の人事で嫌がらせ受けるかもしれないから大人も何も言えないわ。

565:132人目の素数さん
23/11/03 15:57:22.63 vAcDRVep.net
RIMSが組織防衛を優先して望月新一をかばった瞬間
RIMSは数学の研究機関として完全に終わった、といっていい

566:132人目の素数さん
23/11/03 15:59:47.31 eJb34bzj.net
欧州でも北米でも若手研究者がこれからアカポスと研究費を狙うなら、Anabelian Geometryを専門分野として選ぶのが良さそうだ、と思うだろう。それが自然。今はちょうどその転換点のように見える。

567:132人目の素数さん
23/11/03 16:26:49.33 rvhmUSPE.net
視力検査にいきましょう

568:132人目の素数さん
23/11/03 16:34:17.66 ADzEMjXl.net
>>530
ヒゲー

569:132人目の素数さん
23/11/03 16:44:42.77 eJb34bzj.net
志村五郎はスキーム論を勉強しなかった。
転換点で古い数学に留まる人はいる。

570:132人目の素数さん
23/11/03 17:25:30.06 +VFQf9ov.net
論文が日本のコネジャーナルにしか出ない分野じゃ
やってもまともな就職先はないでしょう

571:132人目の素数さん
23/11/03 17:44:50.25 rvhmUSPE.net
査読はちゃんとやらんとあかんよ

572:132人目の素数さん
23/11/03 19:27:27.41 eJb34bzj.net
IUTが暗号とか量子コンピューティングへの応用ができそうだ、となれば、NSAとかDARPA のgrant を貰ってウハウハだ、嫁ももらえる、と考える人も出てくるだろう。

573:132人目の素数さん
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. ”


セクション予想の証明は大事件のようだ。

574:132人目の素数さん
23/11/03 23:32:40.28 dmGwNsmF.net
>>538
>そしたらこないだ、もっちーが突然に、IUTの改良版を使ってセクション予想の証明と、ジーゲル零点が存在しないことの証明と、より強いabcを一気に詰め合わせで出すぞ、と言った。

kwsk

575:132人目の素数さん
23/11/04 00:44:10.10 sfj3y5al.net
>>542
沈黙が答え

576:132人目の素数さん
23/11/04 00:56:51.80 0W+oH0g5.net
>>547
志村多様体の数学は過去の遺物?

577:132人目の素数さん
23/11/04 01:22:42.42 AwimJ0rO.net
メザシはいくらつついてもメザシ。

578:132人目の素数さん
23/11/04 08:55:02.90 0W+oH0g5.net
メザシ
日本の創作文化等においては、「貧しい食卓」の象徴として、「目刺一尾のみが白米のおかず」という演出が多くなされる。また「目刺」は春の季語のひとつでもある。

579:132人目の素数さん
23/11/06 02:03:17.20 x5hkirTi.net
>>539
ショルツの否定論拠に対する望月の反論は
正当に思えるが。
再反論をショルツはしてないけど、
あんたはできんの?

580:132人目の素数さん
23/11/06 04:48:31.23 L9xYogbW.net
仏リール大学ってどんな大学か知らなかったけど、AHGTはいつの間にかÉcole normale supérieureも提携してるんだな。
ENSは超一流だよ。

581:132人目の素数さん
23/11/06 05:21:00.56 5FF6x0AU.net
モッチッチの名は

582:132人目の素数さん
23/11/06 08:04:58.16 33CdbYoA.net
>>557
>>516のように世の中の大半の数学者はそう思ってないみたいだけどねー
さてはて間違ってるのはどっちなんだろうね

583:132人目の素数さん
23/11/06 08:15:17.12 DN7G53u1.net
「間違っているとすればここだ」ということさえ
分からないというのは異常だ

584:132人目の素数さん
23/11/06 08:40:01.


585:00 ID:oKyjkhXU.net



586:132人目の素数さん
23/11/06 12:00:10.72 M7U+LBFt.net
>>557
どうして正当に思えたの?

587:132人目の素数さん
23/11/06 12:35:00.24 DN7G53u1.net
その点は重要

588:132人目の素数さん
23/11/06 12:57:54.10 L9xYogbW.net
SSは、fabricated version of IUT の中にギャップがあると指摘した。

589:132人目の素数さん
23/11/06 14:28:40.53 vlVlsI5k.net
疑義に答えず例え話と罵倒に終始した長文怪文書が「正当」ねえ・・・w
ショルツ「じゃあまず虎を屏風から出してみてください

総フリーズした宇宙利権者笑

まあゴーを数件に捩じ込んだ時点で
あの界隈はもう信頼されていないと思う、まさに裸の王様

590:132人目の素数さん
23/11/06 14:30:00.57 hCYYrxgM.net
>>557
お墓さんですか?

591:132人目の素数さん
23/11/06 14:37:46.47 L9xYogbW.net
SSは、もっちーに、SSリポートへの反論を早く出せ、と急かしていた。ところが、もっちーの反論文書ができあがると、その文書の公表は待ってくれ、と言った。

592:132人目の素数さん
23/11/06 15:05:15.09 orHmX39P.net
だから何?笑
印象操作に必死だよねブンゲンクン笑

593:132人目の素数さん
23/11/06 15:11:19.75 L9xYogbW.net
フェセンコによれば、SSリポートは "ridiculously wrong" 。

594:132人目の素数さん
23/11/06 16:16:15.03 L9xYogbW.net
フランスのYves Andréの弟子のEmmanuel Lepage はIUTに懐疑的、否定的だったが、2017年からもっちーとのやり取りを通じて2021年に漸く自分の疑念は誤解に基づくものであったと理解した。

595:132人目の素数さん
23/11/06 16:17:18.65 yUs3ptkq.net
フランスのYves Andréの弟子のEmmanuel Lepage はIUTに懐疑的、否定的だったが、2017年からもっちーとのやり取りを通じて2021年に漸く自分の疑念は誤解に基づくものであったと理解した。

596:132人目の素数さん
23/11/06 17:41:29.26 hQKCuknd.net
Yves Andréに論文投稿したことあるけどクソ野郎だったな
死んで欲しい

597:132人目の素数さん
23/11/06 20:37:29.37 hlQkT8qW.net
ドイツでは、いつかJ. Stixがセクション予想を証明するだろうという期待があったのかな。

598:132人目の素数さん
23/11/06 23:40:41.16 hlQkT8qW.net
Emmanuel Lepage は、IUTに関する疑義についてもっちーとやり取りしていた2017から2021にかけて、SSリポートともっちーの反論についても当然読んでいたはずだ。

599:132人目の素数さん
23/11/07 13:26:31.11 zcvAsCei.net
>>573
何があったw

600:132人目の素数さん
23/11/07 20:41:30.81 9U5ytD0F.net
東大とその植民地の大学が惨め。

601:132人目の素数さん
23/11/07 21:15:29.57 iX/agdmt.net
望月予想ってことにして
これを解くか否定できた人の功績100%扱いでいいんじゃね

602:132人目の素数さん
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 カッコいい。

603:132人目の素数さん
23/11/07 22:58:15.92 wDocIDXo.net
IUT を理解し、使いこなす研究者は、まずフランスで増える。
然る後、他の国の研究者も追随する。

604:132人目の素数さん
23/11/07 23:02:37.55 ESdSxmzh.net
IUT 特殊fakeネットワーク

605:132人目の素数さん
23/11/08 01:36:50.21 zOlz6iKM.net
>>581
ENS Paris も含めてか?

606:132人目の素数さん
23/11/08 02:06:59.35 oyN+qL7t.net
>>578
いや論証に穴がないなら、論証は成功してる。
穴があることは示されてないから、証明は終わってる。

607:132人目の素数さん
23/11/08 04:56:16.58 tlscQ287.net
>>583
だからなんなの?って話ではある

608:132人目の素数さん
23/11/08 04:56:39.00 tlscQ287.net
IUTT文学で証明されたからって数学とは無関係でしょ

609:132人目の素数さん
23/11/08 05:01:50.29 4im5a55o.net
>>583
そもそも論証になってない 素人はそれすら分からんらしい 大馬鹿野郎だな

610:132人目の素数さん
23/11/08 05:38:11.81 tlscQ287.net
>>586
IUTT語では論証されてるんだよ
これは間違いない
問題なのは数学語で論証すること

611:132人目の素数さん
23/11/08 05:44:57.42 cui+Byks.net
>>577
その辺にもまだ
Scholze派でないのはそれなりにいるよ

612:132人目の素数さん
23/11/08 07:02:40.34 Ts2tSyrE.net
>>582
いつもの京大数理研のIUTとりまき4名がおとづれた、
>AHGT
なぜ京大数理研のIUTSECTはAHGTと改名したのだろう?
統一教会cultが権威にしがみつき世界平和統一家庭連合」と改名したこととたぶん同じ理由なのだろう、

613:132人目の素数さん
23/11/08 16:21:50.21 oyN+qL7t.net
>>586
査読通ったってことは査読者からみて論証が成功してるということ。
どこの馬の骨かもわからないお前の言葉よりさ読者を信じるよ。それが嫌なら少なくとも実名で書いてみ。
>>587
数学は定義で言語をつくっていくので、それに
矛盾がなければ新たな言語であってもなんら問題はない。

614:132人目の素数さん
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.
これら、いつリリースされるのかな?

615:132人目の素数さん
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]

616:132人目の素数さん
23/11/08 17:40:24.65 Ts2tSyrE.net


0426 132人目の素数さん
2023/10/29(日) 14:22:15.63

IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ

617:132人目の素数さん
23/11/08 18:28:23.31 ClgwFlUH.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか?

618:132人目の素数さん
23/11/08 18:28:29.81 EwBYKwz4.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか?

619:132人目の素数さん
23/11/08 21:18:41.88 a7UswvUK.net
>>594-595
さあ?
まあ、それもこれから分かってくるでしょ
川上論文賞ネタだろう

620:132人目の素数さん
23/11/08 21:37:24.53 uWYIxuaI.net
何だよセクション予想ちゃんと解けたんじゃなかったのか、びっくりした

621:132人目の素数さん
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)
つまり、もっちーのIUT論文はabc予想の証明になっていない、と。
しかし、具体的にIUT論文のどこに瑕疵があるのか何も言っていない。
(deleted an unsolicited ad)

622:132人目の素数さん
23/11/08 23:17:50.37 uWYIxuaI.net
ちゃんとした数学者が意味わからない論文というのは受容されないから当たり前
サーベイすら意味不明ということ

623:132人目の素数さん
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)は全単射である.

624:132人目の素数さん
23/11/09 00:02:20.99 r2tnycls.net
多くの数学者にとってIUT論文はチンプンカンプンである



多くの数学者にとってIUT論文はabc予想の証明になっていない

を意味するのだろか?

625:132人目の素数さん
23/11/09 01:53:21.06 5kw28V9R.net
>>509
数学者が新しく開拓された領域が理解できないって
いうのは恥ずかしいのかなあ。
物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
人種的偏見とは言わんけど、日本人が完全に新しい理論を出すのがひっかかるのかしら。

626:132人目の素数さん
23/11/09 01:53:54.30 5kw28V9R.net
>>601
ちんぷんかんぶんは真偽判定不明でしょう。

627:132人目の素数さん
23/11/09 05:57:57.74 yTQqiQ4s.net
>物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
デマ

628:132人目の素数さん
23/11/09 06:56:52.80 r2tnycls.net
今IUTを深く理解している人が10人とか15人くらいとか言われているが、これが50人くらいになったら、もう十分に理解されたと言っていいだろう。

629:132人目の素数さん
23/11/09 07:25:45.86 yTQqiQ4s.net
この応援スレはデマスレですが、
>日本人が完全に新しい理論を出す
数学でも物理でも完全に新しい理論=
トンデモ理論を理解できないのだろう

630:132人目の素数さん
23/11/09 09:39:48.79 E5h+19Iu.net
>>604
アインシュタインの相対論か提出された時、
物理学は哲学と完全に分離してなかったので、
完全に置いてかれた人が山ほど出たんや�


631:ナ。 当時、理解できた人が両手で数えられたとかいうのは、わりかし本当に近い。 ということもわからんくらいの、常識のない奴が書いてるのか。なる。



632:132人目の素数さん
23/11/09 09:40:22.73 E5h+19Iu.net
>>606
お前は何を言ってるのだ。

633:132人目の素数さん
23/11/09 09:42:42.95 E5h+19Iu.net
>>605
まあIUTで新しい結果が、出始めたら、
受容するかきちんと否定するかを迫られるわな。
それで、否定ができなかったら、
受容されたと言っていいんでしょうね。

634:132人目の素数さん
23/11/09 11:23:26.57 YUOP9IYT.net
お互い意見が平行線な場合に何が起きるかというと
たいがい並行なままになる
あとは次世代以降に支持者の割合が増えるか減るかして
片方が勝ったように見える状態に落ち着く
本当の決着じゃ無いけどな

635:132人目の素数さん
23/11/09 11:24:14.72 YUOP9IYT.net
ただ、IUTからの歩み寄りがない超不健全な状態なので
税金カットしていいと個人的には思うけど

636:132人目の素数さん
23/11/09 12:52:30.43 SKg8CNgz.net
IUT側の眼にはIUTしか入っていないのではないか

637:132人目の素数さん
23/11/09 16:49:20.15 r2tnycls.net
T. Dupuyは、このままIUT理論が誰にも相手にされず、忘れ去られてしまうのはもったいない、と言った。
IUT理論はabc予想の証明を目的とし、その目的に特化した理論で、他の用途には使えない、ゆえに、多大の労力と時間を注ぎ込んで勉強する価値はない、と考えていたのだろか。

638:132人目の素数さん
23/11/09 17:15:24.29 sRDig52X.net
IUTは単遠アーベル幾何学による大域体の理論を標榜するが、ショルツの
位相線形空間に対応したcondensed理論などとは双曲曲線でリンクするんだろうか
Joshiや加藤がそういう解説ができれば良かったんだけどね
外部の人気のある理論と接続しないと上がり目はないよ

639:132人目の素数さん
23/11/09 17:25:52.94 sRDig52X.net
ショルツの理論は明らかにラングランズ対応のコホモロジー理論を意識しているけど
IUTのそもそもの動機は、代数体に対するコホモロジーをHA理論の拡張としつつ、
その代替として遠アーベル幾何学による小平S変形理論の一般化を試みるという
ものだったはず
なら代数体の楕円曲線での幾何学的ラングランズ対応を記述するモジュライ空間を
IUTから解釈する方法もあるはず

そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう

640:132人目の素数さん
23/11/09 17:41:50.68 yTQqiQ4s.net
>Joshiや加藤がそういう解説ができれば良かったんだけどね

シバ神が踊るとかポストモダンなんでしょ
IUTはなんでもありの便利な道具だから

641:132人目の素数さん
23/11/09 20:21:17.85 r2tnycls.net
IUTのエッセンスは、足し算と掛け算を切り離して環構造を一旦解体し、ゆるさを持たせた形で環構造を再構成して、不等式を導き出す、だろ。
今回の3つの改良版IUTも似たようなことをするのだろう。
オリジナルのIUTを応用して練習問題を解く、みたいな。

642:132人目の素数さん
23/11/09 21:58:06.59 h9hAZINa.net
>>611 数件取り潰し、関係者は懲戒解雇
 このくらいすべき
 霊長類研はそうなった

643:132人目の素数さん
23/11/09 22:01:12.94 1ZwzN0Uh.net
>>618
どんな法律を適用すればよいと思う?

644:132人目の素数さん
23/11/09 22:15:03.30 r2tnycls.net
もっちーはラングランズ プログラムに批判的。

645:132人目の素数さん
23/11/09 22:42:17.86 udnfSwAI.net
ラングランズ プログラムを連呼する仲間褒め集団が気色悪い。
あのビジネスモデルでいつまでもアカポスと研究費を獲得できると思っているのだろか。

646:132人目の素数さん
23/11/09 23:05:29.12 Ay44L5ff.net
IUTのビジネスモデル

加藤文元×川上量生×東浩紀「数とはなにか-IUT理論と数学の立ち位置」

 この表題はIUTの立ち位置をよく表している。

・IUTはポストモダン類似の物語で数学ではない。
望月新一監修.川上量生あとがき.加藤文元著「宇宙と宇宙をつなぐ数学」では、
IUTTをトマスクーン流の科学革命でパラダイムシフトと位置付け
「IUT語。IUT理論は、一般的な数学のパラダイム(の枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
と明言した。
またIUT「Alien」ではガタリと類似していると指摘されていたし
東浩紀はデリタを自認している。
トマスクーンもガタリもデリタもフランスポストモダン。

647:132人目の素数さん
23/11/09 23:35:05.29 I5AVeeGx.net
ポスト構造主義というより
アカデミックポスト確保ありきの政治構造の主義主張。

648:132人目の素数さん
23/11/09 23:54:43.93 udnfSwAI.net
30年もワイルズ、谷山-志村と言い続けていれば、流石に飽きられる。

649:132人目の素数さん
23/11/10 00:02:11.45 6GxPNQA8.net
>>624
オカルトIUT信者乙

650:132人目の素数さん
23/11/10 01:30:42.59 IarZHppj.net
>>606
恥知らずな嘘吐きドクズに生まれつくってどんな気持ち?

651:132人目の素数さん
23/11/10 02:43:51.28 o/OkDkNK.net
>>619
嘘で叩いてるやつに侮辱罪や名誉毀損の
適用可能性があるわな。
アベガーみたいな奴らに適用されてるやつ。

652:132人目の素数さん
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も金を出している。

653:132人目の素数さん
23/11/10 03:04:19.96 6GxPNQA8.net
>>627
まず京大教授に放送法違反

654:132人目の素数さん
23/11/10 03:28:28.68 4tEfDYEy.net
ラングランズ プログラムを連呼する仲間褒め集団は乞食と詐欺師を兼業しているようなもの。

655:132人目の素数さん
23/11/10 03:44:19.58 5RCTXK/o.net
>>629
放送見てないけど
それもしかすると特定できるんじゃね。
ギリギリアウトかもよ。

名誉毀損や侮辱はやんなよ。
普通にアウトだと思ったら
何も言わずに通報するし。

656:132人目の素数さん
23/11/10 03:49:29.23 GdmUBxbE.net
違法な侮辱の放置はさらなる犯罪を誘発するから
叩き潰すべき

657:132人目の素数さん
23/11/10 03:53:07.15 rvggUN9r.net
>>629
誰のこと言ってるの?
なんの放送?

658:132人目の素数さん
23/11/11 05:53:28.40 67Jttq/W.net
>>590
IUTT語は矛盾が矛盾でなくなる言語だから

659:132人目の素数さん
23/11/11 09:16:47.54 F73CQlIp.net
一つの矛盾が矛盾でなくなれば
すべての矛盾が矛盾でなくなると言ったのは
ラッセルだったか

660:132人目の素数さん
23/11/11 14:05:35.87 D90EtwDB.net
>>615
>そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう

IUTの発展形のHATと
バーチ・スウィンナートン=ダイアー予想が関連しているという

//iva


661:nfesenko.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. https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%83%81%E3%83%BB%E3%82%B9%E3%82%A6%E3%82%A3%E3%83%B3%E3%83%8A%E3%83%BC%E3%83%88%E3%83%B3%EF%BC%9D%E3%83%80%E3%82%A4%E3%82%A2%E3%83%BC%E4%BA%88%E6%83%B3 バーチ・スウィンナートン=ダイアー予想(バーチ・スウィンナートン=ダイアーよそう、英語: Birch and Swinnerton-Dyer conjecture)は、数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれ 予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている[1]。



662:132人目の素数さん
23/11/11 14:11:16.61 MmQJcEZZ.net
>>635
IUTはなんでもあり、さ

663:132人目の素数さん
23/11/11 14:20:42.97 +fo9ICJw.net
>>637 矛盾している理論はいかなる命題も証明可能

664:132人目の素数さん
23/11/11 14:30:26.01 MmQJcEZZ.net
こっそりdefinitionallyもあるしねえ

665:132人目の素数さん
23/11/11 18:55:00.91 SSa4jAuV.net
URLリンク(twitter.com)
(deleted an unsolicited ad)

666:132人目の素数さん
23/11/12 01:26:07.93 P+Qsv7nr.net
セクション予想の証明はモーデル予想の別証明にもなっている?

667:132人目の素数さん
23/11/12 02:29:40.33 MlNI5+1c.net
わかってないやつほど えらそうにせつめいするんだよ
これは大先生のお言葉だ

668:132人目の素数さん
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ギフト券に変換可能!
家族・友人に紹介したり通常タスクをこなせば更にポイントを追加でゲットできます。

669:132人目の素数さん
23/11/12 08:38:20.60 VZrFDCrS.net
>>643
簡単で良いな

670:132人目の素数さん
23/11/12 09:26:16.88 ucyGcHHh.net
>>622
ソーカル事件じゃん

671:132人目の素数さん
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:


672:28 なぜABC予想は論争的になっているのか >33:09 IUT理論と意識の科学 >56:03 IUT理論とABC予想を徹底解説 >1:35:22 IUT理論の拡張と普及 >1:50:24 論理と音楽は似ている >1:53:25 ファイナルコメント



673:132人目の素数さん
23/11/12 11:23:18.58 ucyGcHHh.net
>>646
意識とか言い始めたらオカルト

674:132人目の素数さん
23/11/12 11:24:39.59 ucyGcHHh.net
そもそも茂木が喋ることに耐えられる時点で科学者の思考をしてない

675:132人目の素数さん
23/11/12 11:40:49.71 EJx9wgXJ.net
>>643
こういう方法もあるんだな

676:132人目の素数さん
23/11/12 11:49:13.15 ucyGcHHh.net
>>638
爆発律ね

677:132人目の素数さん
23/11/12 15:31:33.12 hntX1qJg.net
>>646
東 浩紀の次はモギケンか
カトブンも完全に数学者やめちゃって
ただの芸人になっちゃったんだな

678:132人目の素数さん
23/11/12 16:01:40.63 /Drsaocq.net
IUTは数学ない、
望月文元が焼肉パーティー上で騒いだよたばなしだが、
とりまき共々ばらまいた責任は重い

679:132人目の素数さん
23/11/12 16:04:07.82 /Drsaocq.net
IUT≠数学 

680:132人目の素数さん
23/11/12 18:10:06.06 7ERUsa56.net
日本語不自由で草

681:132人目の素数さん
23/11/12 18:28:45.74 /Drsaocq.net
>>628

フランス検察、電通のパートナー企業を捜査 東京五輪含めスポーツビジネスの汚職にメス

URLリンク(www.newsweekjapan.jp)

682:132人目の素数さん
23/11/12 18:29:17.81 ViVxd15A.net
茂木は自己が否定も肯定も場合言及の仕方を心得てる時点で、普通。
わかりもしないことを否定するだけじゃなく、侮辱したり、名誉毀損したり犯罪に片足突っ込んでるこのスレにいるバカがあたおか。

683:132人目の素数さん
23/11/12 18:33:16.82 hntX1qJg.net
>>656 モギケンは普通に芸人だね 俳優としては大根だったけどw

684:132人目の素数さん
23/11/12 19:13:53.21 HbXy4xA9.net
誰かグロタンディークの遠アーベル セクション予想について解説してくれ。

685:132人目の素数さん
23/11/12 19:44:36.06 ucyGcHHh.net
クオリアとか言ってる時点でオカルト

686:132人目の素数さん
23/11/12 20:59:03.58 HbXy4xA9.net
Zen大学は、セクション予想の一般人向けの説明ができなくて、IUTで金儲けという企みは失敗するだろう。

687:132人目の素数さん
23/11/12 22:11:30.70 DMW9jWow.net
あれで完全解説っていうのは流石に羊頭狗肉だろう

688:132人目の素数さん
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!]
ということでよいか。

689:132人目の素数さん
23/11/13 02:39:37.11 Kjwp9CaE.net
>>652
責任も何もないよ
そういう学問なんだから究めたい人は究めたら良いそれだけ

690:132人目の素数さん
23/11/13 02:44:40.25 SXGyS+T/.net
数学の「復元」なら証明が必要だ。

>>630
復元復元と連呼しあやしい復元装置を作り振り回す、
矛盾点を高次元のお話にしたり、ではもはや数学ではない!

691:132人目の素数さん
23/11/13 16:07:14.15 8bfY/bui.net
>>659
その認識は古い
IIT知らないのか

692:132人目の素数さん
23/11/13 18:24:22.91 XeiqPc7U.net
>>665
ほぼオカルトだろw

693:132人目の素数さん
23/11/13 21:11:55.16 8bfY/bui.net
>>666
圏論の本書いてる西郷甲矢人とか計算神経科学の研究者がプロジェクトやってる
くらいには数学になってきてる。豊穣圏やヒルベルト空間とかを使った
確率論になるらしい

694:132人目の素数さん
23/11/13 21:58:48.75 Q++RkXqp.net
>>665
低学歴みーっけ
IITは形而上学を仮定してるから論理学を満たさないオカルトだよ
あまりにも無知すぎる

695:132人目の素数さん
23/11/13 21:59:18.15 Q++RkXqp.net
>>667
全く意味がない
形而上学を仮定してる時点でオカルト
バカすぎて形而上学の意味すらわかってないのだろうけどw

696:132人目の素数さん
23/11/13 22:00:40.11 Q++RkXqp.net
>>667
あの本読んでマトモだと感じる時点でヤバすぎるよお前
論理学の対象になるのは集合のみであることを理解しておらず
適当な言葉を当てはめたら論理が成り立つという妄想を開示してるからな
これラッセルのパラドックスとその解決からして理解出来てない底辺層

697:132人目の素数さん
23/11/13 22:02:06.81 Q++RkXqp.net
言葉を並べて論理になると思えてしまうのは素朴集合論の話で
ラッセルのパラドックスを引き起こすから
「私は数学基礎論の知識が0で論理を全く理解してません」
と自白してるに等しい

698:132人目の素数さん
23/11/13 22:02:34.12 Q++RkXqp.net
100年前の数学基礎論すらわかってない無知が意識とかウケるね

699:132人目の素数さん
23/11/13 22:03:50.58 Q++RkXqp.net
形而上学の意味もわかってなさそう
形而上学が問題とされるのはある概念が言及されるたびに内容が変わり
使う人により内容が変わることで爆発律が成り立つことだ
爆発律が成り立つならその論理には全く予測能力が無い

700:132人目の素数さん
23/11/13 22:05:54.54 Q++RkXqp.net
マトモな科学者が書く論文には意識などという言葉は出てこない
なぜならそれが何を指すのか人によって変わるから論理の対象にならないし科学の対象になりようがないからだ
ちなみにIITの論文をちゃんと読めば前提として意識の存在を導入しながら
結論はその意識とやらがただの石ころや金属塊にも当てはまってしまうようになる
マトモな思考力があるなら仮定が間違っているとして仮説を棄却する
IIT界隈は数学基礎論の知識が0なので間違ってる仮説を正しいと言い張ってる

701:132人目の素数さん
23/11/13 22:06:19.41 Q++RkXqp.net
論文の初めと終わりで指す内容が変わってる時点で形而上学なんだよ
そんな事もわかんねー低レベルな界隈

702:132人目の素数さん
23/11/13 22:07:44.71 Q++RkXqp.net
数学・論理学・科学の対象になるのは言及するたびに指す内容が変わったりしない言葉だよ
指す内容が変わるなら明示的に表記を変える
たったこれだけの事すらわかってないからIIT界隈やクオリア界隈と関わったら終わりだよ
数学基礎論わからん奴に数学基礎論教えたとして
時間の無駄

703:132人目の素数さん
23/11/13 22:08:20.22 Q++RkXqp.net
マトモな科学者が論文のタイトルに意識とか書かないのはそういう視点なのに
理解してないから入れちゃうんだろうな

704:132人目の素数さん
23/11/13 22:09:32.48 Q++RkXqp.net
触れるたびに内容が変わる記号なんかで論理が成り立つと思えてしまう時点で更生不可能
教えても意味がない

705:132人目の素数さん
23/11/13 22:10:06.14 Q++RkXqp.net
これを教えてもらうまでわからない奴は論理的思考力が無い

706:132人目の素数さん
23/11/13 22:14:45.57 Q++RkXqp.net
頭が悪い人たちには永久にわからない事だろうけど
論理学は曖昧さを扱えないのではない
曖昧なものは確率分布など幾らでも扱う方法がある
論理学としてあってはならないのは「どのような曖昧さなのか」という曖昧な対象の指す内容を断りなく変更すること
指す内容を変えるなら表記を明示的に変えなければならない
人によって指す内容が変わるならそれも表記として別のものにする
たったこれだけのことがわかってない奴に何も成し遂げられるわけがない
時間の無駄
教えても意味ないよ
世の中のほとんどは15歳くらいでこのくらいのことわかって奴らなんだから
オッサンになってから理解しても意味ない

707:132人目の素数さん
23/11/13 22:15:40.99 Q++RkXqp.net
こんな簡単な事すら考えてないのにIUTとか意識とか究極的に難しいことを考えようとする時点でヤバい

708:132人目の素数さん
23/11/13 22:17:02.23 Q++RkXqp.net
クオリア界隈はとにかく数学の基礎をやってないので
「曖昧さを扱えるけどその曖昧さは断りなく変わらない」
という状態を考えることができない

709:132人目の素数さん
23/11/13 22:17:40.31 Q++RkXqp.net
本人たちは最先端をやってるつもりなのだが
100年前の論理学すら学んでないのでお笑いでしかない

710:132人目の素数さん
23/11/13 22:19:46.57 Q++RkXqp.net
論文の最初と最後で指す内容が変わる言葉とか
マトモなジャーナルならエディターレベルでリジェクトしてブラックリスト入りだよ
それをマトモじゃないジャーナルとマヌケなレビュワーを探し続けてガチャを引いて科学だと思い込んでる状況

711:132人目の素数さん
23/11/13 22:23:12.29 Q++RkXqp.net
素朴集合論の問題点すら把握してないレベルの奴らが「悩んで」その解決に圏論が使えると妄想してるの
絶対に笑ってはいけないシリーズだよ

712:132人目の素数さん
23/11/13 22:26:08.53 Q++RkXqp.net
クオリア界隈は間違いなく素朴集合論という言葉を聞いた事すらないし爆発律も知らないまま死ぬ

713:132人目の素数さん
23/11/13 22:26:46.26 Q++RkXqp.net
もし知ったらクオリア界隈で居続けることは不可能だろうからな

714:132人目の素数さん
23/11/13 22:28:14.27 Q++RkXqp.net
こいつら今の数学や科学には形而上学が足りてないとまで妄想してそうだからタチが悪い
足りてないんじゃなくて否定されてるんだよ

715:132人目の素数さん
23/11/13 22:41:56.85 Q++RkXqp.net
>>667
これ素朴集合論と命題論理しか理解してないと自白してますわ
述語論理すら知らんし適当な言葉を論理に当てはめられると思ってるので公理的集合論を知らない
このレベルのことを表すのにトポスなんて全く必要ではないし意味がない
この界隈はこのレベルのおかしさを周りが誰も指摘できないレベルの奴しか居ない
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)

716:132人目の素数さん
23/11/13 22:43:48.28 Q++RkXqp.net
常に論理が成り立つような量化子を書けば良いだけだが
これが「クオリア」の本質よ
とっくに解決されてることを学ぶ気もないので「新発見」しちゃうという

717:132人目の素数さん
23/11/13 22:45:36.08 Q++RkXqp.net
この本は本当に酷くて
代数学なんて見た事すらなくて「圏論なら構造を分析できる!」みたいな無意味な思い込みが並んでるだけ
これを見てすごいと思える奴も相当ヤバい

718:132人目の素数さん
23/11/13 22:47:20.01 Q++RkXqp.net
普通の論理学はどういう範囲で当てはまる論理式なのか指定できるのだがw
それを見た事も考えた事もない自白というのは凄すぎる

719:132人目の素数さん
23/11/13 23:15:09.67 Q++RkXqp.net
もっと言えばIIT論文の何がヤバいかと言えば
なんの根拠もない思いつきを「公理」として掲げて否定しようがないなどと強弁しているところ
これは数学基礎論を学んだことがないと自白してるに等しい

720:132人目の素数さん
23/11/13 23:18:57.26 Q++RkXqp.net
量子力学の公理化なんて文脈で公理という言葉を使うことがあるが
それはどこまで仮定減らせるかという文脈で減らせずに残るものを公理と呼んでるにすぎない
否定不可能な前提を公理と呼び自分にの思いつき通りに論理展開できるなどという発想はマトモな自然科学には存在しない
物理学ではむしろ否定可能な仮定を公理と呼んでいる
公理という言葉は既にどういう意味を持つか定められているのに
証明責任を逃れる目的で前提を公理と言い張るのは自然科学ではあり得ない
自然科学をマトモに学んでない集団だとそこから伝わってしまう

721:132人目の素数さん
23/11/13 23:20:40.66 Q++RkXqp.net
数学でもそうだが
公理という言葉はどの公理系を採用するかは自由であり公理系ごと否定され得ることを前提にしている
そういう背景を学ぼうとも理解しようともしたことがない浅い人たちの妄想
完全なオカルトだよ

722:132人目の素数さん
23/11/13 23:22:12.29 Q++RkXqp.net
IITは疑似科学だという批判があるらしいが
全くの見当はずれだ
疑似科学どころか論理学を満たしてない
非論理的だから非科学そのものであり疑似科学みたいに科学っぽさを兼ね備えていたりしない
疑似科学の段階にすら達してないよ
論理を満たさない

723:132人目の素数さん
23/11/13 23:22:54.21 Q++RkXqp.net
ある言葉が指してる内容に論文の始めと終わりで変化があるとか
疑似科学でもやらない愚行
疑似科学に失礼だよ

724:132人目の素数さん
23/11/13 23:2


725:3:57.80 ID:Q++RkXqp.net



726:132人目の素数さん
23/11/13 23:32:57.75 Q++RkXqp.net
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する

727:132人目の素数さん
23/11/13 23:41:01.22 Q++RkXqp.net
たぶんアドホックな仮説というものが何故許されないのかわからないんだろうな
本気で
そういうことを理解できるだけの知性が備わってない
証明責任とか考えた事も無いのだろう

728:132人目の素数さん
23/11/13 23:45:56.05 Q++RkXqp.net
まあオカルトはどうでも良いので
IUTについて
IUTは
・公理から導かれるロジックとその結論に欠陥はあるか? 
・ロジックに欠陥がなくても予言能力や応用可能性の点で有用か?
の様々なレベルの疑義があるわな
正しいには正しいけど全く使い道のない定理とか体系は無数にあるからな

729:132人目の素数さん
23/11/14 01:21:18.74 wdJblonV.net
公理の意味すらわからずに卒業して何の証拠もない思いつきを公理と言い張るの
教育の失敗だろ
そんな妄想抱いているなら他の何を丸暗記してても全く価値がない

730:132人目の素数さん
23/11/14 01:23:11.94 wdJblonV.net
部分点を合計して試験の単位を認定してる時点で
「量としては少ないが致命的な影響を及ぼす欠陥思考」
を防ぐことができない

731:132人目の素数さん
23/11/14 01:34:19.23 wdJblonV.net
東大卒なのに東大から相手にされてない人って
その辺を二言三言やり取りするだけで見抜かれて弾かれちゃうんだよね
相手の承諾


732:なく言葉の意味をコロコロ変える奴とかな



733:132人目の素数さん
23/11/14 01:36:07.70 wdJblonV.net
言葉の指す意味はもちろん探っていいし変えても良い
ただし相手と合意をして明示的にだ
ここが全くわかってない
確かに大学の必修科目にそれを学ぶ項目は無いのかもしれないが
過学習すぎるし汎化性能が低すぎる
殆どの学生は汎化できるし学べること
特殊スキルでもなんでもなくて学べない奴が特殊

734:132人目の素数さん
23/11/14 02:34:17.82 rzIaxIT8.net
基礎論屋と圏論屋は出ていけ。
気色悪い。

735:132人目の素数さん
23/11/14 06:06:50.81 KnubwXxQ.net
Wikipedia
Section Conjecture
異様にスカスカなんだが。

736:132人目の素数さん
23/11/14 06:07:18.97 KnubwXxQ.net
URLリンク(en.m.wikipedia.org)

737:132人目の素数さん
23/11/14 08:17:27.12 CzWoFyuH.net
>>701
>オカルトはどうでも良いので IUTについて
IUTは数学ではない。
数学の遠アーベル幾何学からIUT語のIUTへ転落した。

738:132人目の素数さん
23/11/14 08:25:25.31 CzWoFyuH.net
>>706
このIUT応用スレはIUT信者のサティアンだったな。

739:132人目の素数さん
23/11/14 08:28:23.90 CzWoFyuH.net
>>710
応用→応援

740:132人目の素数さん
23/11/14 08:36:45.74 wdJblonV.net
>>709
どのあたりが数学じゃないのか部外者にもわかりやすく頼む

741:132人目の素数さん
23/11/14 09:10:33.71 CzWoFyuH.net
望月新一監修.川上量生あとがき.加藤文元著.宇宙と宇宙をつなぐ数学.では、
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」と明言している。

742:132人目の素数さん
23/11/14 10:42:13.95 wdJblonV.net
>>713
それだけなら一般的じゃない数学なだけであって数学に含まれちゃうじゃん <


743:br> 数学の中に一般的なのと特殊なのがあるだけだよな?



744:132人目の素数さん
23/11/14 10:44:26.95 wdJblonV.net
そんなことはどうでも良いからIUTの論理的おかしさとかIUTが何故使えないかについて具体的に頼むわ

745:132人目の素数さん
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),
とも言っている。

746:132人目の素数さん
23/11/14 11:03:22.77 CzWoFyuH.net
>数学の中に一般的なのと特殊なのがあるだけだよ

数学がクーンの意味でパラダイムシフトして特殊なIUT語のIUTになった。
一方加藤文元はIUT語が未だに未完成とのべている。

747:132人目の素数さん
23/11/14 11:06:24.66 CzWoFyuH.net
>>716
あら、>>713

748:132人目の素数さん
23/11/14 11:19:55.82 wdJblonV.net
文元ってIUTわかってるんか?
怪しいな

749:132人目の素数さん
23/11/14 11:23:11.82 wdJblonV.net
10年経っても本人すら応用できない以上
たとえ論理的に正しかったとしても使い道がないと言えそう

750:132人目の素数さん
23/11/14 11:40:53.92 KnubwXxQ.net
たった10年で、
遠アーベル セクション予想の証明
ジーゲル零点の非存在の証明
エラい強いeffective abc不等式

751:132人目の素数さん
23/11/14 11:48:48.81 lN6dthQw.net
やっぱzfcgなんか

752:132人目の素数さん
23/11/14 11:50:27.69 CzWoFyuH.net
>>719

>文元ってIUTわかってるんか?

加藤文元氏はIUTTは望月加藤の2人セミナーよりIUTの主定理まで構築したし
今やIUT研究の所長を公言している。
望月新一IUTT提唱者は、明らかに望月新一監修の>713と>716が矛盾している。

ただし未完成のIUT語からは矛盾していないかも?
私はIUT信奉者でないから全体がよくわからんし、
RIMSか文科省へ問い合わせてみたらいかが?

753:132人目の素数さん
23/11/14 12:54:37.59 Mz6vJbyQ.net
>>691
何だかんだ西郷の本読んでんの?w
でも君基礎論の研究者っぽくないな。トートロジーの不変性を強調してるっぽいが、
ヒルベルト空間の(非可換)確率論みたいな設定には十分圏論を適用できるだろ
何故なら非可換な測度という数学的構造があるからだ
圏論が関係の不変性や合成を扱う理論ということくらい彼らはわかってるよ

あと、IITについてはM.Marcolliも多分関心を持ってる。統合情報に言及したはず
それで情報のコホモロジー理論とか提唱してる。非可換モチーフの研究者だから

754:132人目の素数さん
23/11/14 13:04:57.86 KnubwXxQ.net
アデレードの圏論の人はポスドクを20年くらいやるのかな。

755:132人目の素数さん
23/11/14 13:22:11.87 CzWoFyuH.net
圏論を量子力学や場の量子論で用いるなら、
まず数学の圏論とIUT語の「圏論」を分離が必要だ。
そのためにもRIMSを解体すべきだな。

756:132人目の素数さん
23/11/14 13:26:01.48 KnubwXxQ.net
圏論でアカポスゲットはエラい厳しい。

757:132人目の素数さん
23/11/14 13:52:49.18 nSXFV0ri.net
>>726
頭悪い書き込みすんなよ
他人の思考に介入するとか
独裁者の思考だわ

758:132人目の素数さん
23/11/14 13:56:52.05 CzWoFyuH.net
>>728
あ、このスレはIUT信者のためのIUT応援スレだったな

759:132人目の素数さん
23/11/14 13:59:29.44 KnubwXxQ.net
圏論屋と基礎論屋は乞食。

760:132人目の素数さん
23/11/14 18:09:15.53 qNSYu4+B.net
>>724
何言ってんのお前
こんな数学基礎論は必修だよ必修
述語論理すら知らねーなら自.殺しろマジで

761:132人目の素数さん
23/11/14 18:10:21.56 qNSYu4+B.net
>>724
ただの群論と構造主義すら知らねーんだもん
あまりにも教養なさすぎて論外
ただただ大学教育の失敗

762:132人目の素数さん
23/11/14 18:10:49.80 qNSYu4+B.net
>>724
論理学を満たさないと言われてんのに意味を理解できないわけ?

763:132人目の素数さん
23/11/14 18:11:55.74 qNSYu4+B.net
>>730
基礎論屋って何?
述語論理すら知らずに数学語ってるなら死ぬべきだよ
必修だろ

764:132人目の素数さん
23/11/14 18:22:53.02 Ite+vgTi.net
脳科学の連中は、意識と脳の対応関係だけでクオリアが分かると決めつける
要するに対応関係という刀でクオリアというゴルディアスの結び目を断ち切れる
とほざく21世紀のアレキサンダー大王
まあ、それ以外やりようがないからな
でも、それって難問でもなんでもないだろ ただ開き直ってるだけだから

765:132人目の素数さん
23/11/14 18:25:42.92 62ugfuer.net
>>735
そもそもクオリアとか形而上学で論理学を満たさないから意味ないよ
形而上学語る奴は論理を知らない低学歴だと自白してるようなもん
爆発律すら知らねーんだもん

766:132人目の素数さん
23/11/14 18:26:11.22 62ugfuer.net
>>724
トートロジーの不変性って何?
また低学歴脳障害が知ったかぶりしてるの?

767:132人目の素数さん
23/11/14 18:27:06.99 62ugfuer.net
>>735
意識もクオリアも人によって解釈が違う以上論理学を満たさない
全く意味がない
人によって変わらない定義すら書けないんだからバカしか居ない

768:132人目の素数さん
23/11/14 18:27:21.85 62ugfuer.net
論理の意味すら理解してないってことだ

769:132人目の素数さん
23/11/14 18:30:30.17 meOEe3mL.net
>>735
IITはそういう理論ではないだろ
単なる脳機能マップ論ではない

770:132人目の素数さん
23/11/14 18:31:23.61 62ugfuer.net
>>724
ぽいってなんだよ知ったかぶり
お前理解してない言葉並べてるだけだな?
俺が指摘したことを1文字も読めてない
脳障害だよ

771:132人目の素数さん
23/11/14 18:31:59.21 Ite+vgTi.net
>>736
科学は何らかの意味で独断が入ってる
独断の無い学問は何も語らない

772:132人目の素数さん
23/11/14 18:32:42.31 62ugfuer.net
>>740
IITは因果関係の強さが意識の大きさとかほざいてるんだが
数学も物理もやったことない知恵遅れが考えた妄想なので
因果関係は生物関係ないただの物理で成り立つことだとわかってない
生まれてから因果関係の理論を一度も学んだことすらないバカどもの空想だよ

773:132人目の素数さん
23/11/14 18:33:23.31 62ugfuer.net
>>742
独断かどうかはどうでもよい 
形而上学は論理的であることが不可能
そして物証がない妄想

774:132人目の素数さん
23/11/14 18:35:08.70 Ite+vgTi.net
>>740
>IITは…単なる脳機能マップ論ではない
 まあ、でもマッピングすらできないなら
 「あんたが勝手にそう思ってるだけだろ」
 という話だよな

775:132人目の素数さん
23/11/14 18:36:04.50 62ugfuer.net
因果関係の大きさ=意識の大きさ とかほざいたら
マトモに勉強してきた学生に突っ込まれてすぐに撤回するのが健常者
この集団は周囲の疑問とか理解するだけの知能ないから相手にするだけ時間の無駄だよ

776:132人目の素数さん
23/11/14 18:36:45.45 62ugfuer.net
>>745
マッピングなんて出来るようなハイレベルなものじゃないよ
因果関係が強ければ意識っていう意味不明な妄想を前提にしてる

777:132人目の素数さん
23/11/14 18:37:26.04 62ugfuer.net
それアメリカンクラッカーでも球の数増やすと意識芽生えることになるんですけどwwwwwww
因果関係の意味すらわからないとかバカすぎる

778:132人目の素数さん
23/11/14 18:37:31.19 Ite+vgTi.net
>意識の大きさ
 何を測ってるのか知らんけど、直感できるものなのかね?でないなら
 「あんたが勝手にそう思ってるだけだろ」
 という話だよな

779:132人目の素数さん
23/11/14 18:39:19.21 62ugfuer.net
>>749
そうなんだよ
因果関係の大きさとやらを意識の大きさだと仮定したから
アメリカクラッカーの球を数百万個並べたら人間より意識が大きくなるwwwmwww
独断どころじゃない

780:132人目の素数さん
23/11/14 18:40:09.72 62ugfuer.net
因果関係は決定論的システム全てに成り立つ性質であることを理解してない
高校レベルの物理すら理解してないぞあいつら

781:132人目の素数さん
23/11/14 18:42:46.53 meOEe3mL.net
>>736
悪いけど時間の無駄だわ
色々ずれすぎてる。反証可能性と述語論理の関係すらわかってなさそうだし、
IITを形而上学とか言ってる割に爆発律がどうとか批判の軸が無くなってる
ただ確かなのは、意識の理論に関してはちゃんと査読論文書いてる


782:IIT連中のが 論理論理喚いてるあんたよりは有望だろう



783:132人目の素数さん
23/11/14 18:44:41.64 62ugfuer.net
>>752
反証可能性とか低学歴丸出しだよお前
反証可能性が科学と関係あると妄想してそうだけど
反証可能性は証明責任を果たす議論の必要条件でしかないよ
あまりにも無知すぎる

784:132人目の素数さん
23/11/14 18:45:05.82 62ugfuer.net
>>752
形而上学だから爆発律が成り立つんだよ
死ぬほど頭悪いなお前

785:132人目の素数さん
23/11/14 18:45:40.81 62ugfuer.net
>>752
査読論文なんて意味ないよ
低レベルジャーナルとバカなレビュワー引き当てれば良いだけの話

786:132人目の素数さん
23/11/14 18:46:08.47 62ugfuer.net
>>752
本当に意識の理論ならCNS乗るよ
形而上学だからエディターリジェクト

787:132人目の素数さん
23/11/14 18:46:41.81 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる

788:132人目の素数さん
23/11/14 18:47:31.73 62ugfuer.net
>>752
本当にバカすぎて形而上学の問題を理解できてないのウケる
同じ言葉が複数の意味を持ったら爆発律ってことすらわからん低知能が意識とか笑えるwwwwwww

789:132人目の素数さん
23/11/14 18:47:49.69 meOEe3mL.net
>>750
それも散々研究者から論理的に否定されてんのにどうしようもないなあんた
意識はただの大規模な力学系じゃねえよ
脳障害とかブーメラン過ぎて自爆してくれて有り難いわw まあ頑張ってな

790:132人目の素数さん
23/11/14 18:48:32.26 62ugfuer.net
>>752
こういうバカって反証可能性を科学の必要条件だと妄想してそうでウケる

791:132人目の素数さん
23/11/14 18:49:29.70 62ugfuer.net
>>759
論理的に否定されてないよ
どこにこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ?ん?
699 132人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する

792:132人目の素数さん
23/11/14 18:50:04.36 62ugfuer.net
知恵遅れって科学哲学者が科学の内容を決めてると思ってそう
教養が無さすぎる

793:132人目の素数さん
23/11/14 18:51:22.81 62ugfuer.net
>>759
神経回路の接続をめちゃくちゃにしてΦが変わらないまま意識を失わせることができる
はい完全論破
反論してみ?
絶対無理だから
指摘したケースだけを禁じるアドホックな仮説しか出さない
さらに指摘は無限に増やせるぞ?

794:132人目の素数さん
23/11/14 18:51:28.82 meOEe3mL.net
>>754
いやそれ間違ってるぞ。形而上学=爆発律ではない
論理わかってないって、あんたのブーメランだよ
ちなみにIITは観測データも参照する理論なので、反証可能性はそれとセットになる
色々視野が狭すぎる。基礎論の研究者っぽくない、が気にくわないなら研究者では
まずないな。まあ改めて頑張ってくれ

795:132人目の素数さん
23/11/14 18:52:54.74 62ugfuer.net
その定義からしてΦには「どういう主体が何を目的として行動するか」という情報が入ってないので
Φを維持したまま殺して意識を失わせることができる変換が無限に存在する

796:132人目の素数さん
23/11/14 18:53:30.80 62ugfuer.net
>>764
形而上学=爆発律だよ
間違ってると感想を書いても意味ない
異なることを同一扱いしたら即時に爆発律が成立する
爆発律知らないんだろ?

797:132人目の素数さん
23/11/14 18:54:08.96 62ugfuer.net
>>764
反証可能性の話など一切してない
アドホックな仮説の意味知らないから今ググってんの?
死にたくならんの?それ

798:132人目の素数さん
23/11/14 18:54:26.71 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害?

799:132人目の素数さん
23/11/14 18:55:04.98 62ugfuer.net
>>764
間違ってるという文字には意味がない
反例書けないなら自殺しな

800:132人目の素数さん
23/11/14 18:55:50.71 62ugfuer.net
>>764
そもそも形而上学がウィトゲンシュタインに完全否定された事すら知らないとか
教養が無いにも程がある

801:132人目の素数さん
23/11/14 18:56:08.35 62ugfuer.net
大学で合コンしかしてなさそう

802:132人目の素数さん
23/11/14 18:58:05.30 62ugfuer.net
不勉強な奴がバカな事言って恥晒しても
自己責任だよな?
形而上学がなぜ完全否定されたかすらわかってないとかwwww

803:132人目の素数さん
23/11/14 18:58:28.27 62ugfuer.net
なぜ歴史を知ろうとすらしないのか

804:132人目の素数さん
23/11/14 19:00:02.79 62ugfuer.net
論理学を破っていてもこういう低学歴シンパを騙せれば飯食えるってか
生きてて恥ずかしく無いのか?

805:132人目の素数さん
23/11/14 19:00:20.43 62ugfuer.net
疑似科学だなんて疑似科学に失礼だよ

806:132人目の素数さん
23/11/14 19:01:13.42 62ugfuer.net
疑似科学は論理学は満たしてるので
IITを疑似科学扱いするのは疑似科学に対して失礼
論理学すら満たしてないんだから無意味なポエムだよ

807:132人目の素数さん
23/11/14 19:04:56.


808:45 ID:62ugfuer.net



809:132人目の素数さん
23/11/14 19:05:47.90 62ugfuer.net
古代ローマから連綿と続く証明責任論を学んでいればポパーはあんな恥ずかしい珍説を披露せずに済んだ
不勉強なバカの空想でしかないし
それに気づけない奴も同類

810:132人目の素数さん
23/11/14 19:06:26.68 62ugfuer.net
まあ学問の話する時にポパーとかクーンとか持ち出す奴は五流以下だよ
聞き齧っただけで中身を見てないし自分で考えてない

811:132人目の素数さん
23/11/14 19:06:55.27 62ugfuer.net
科学哲学者は科学をやったことがない
なんでこんな事すらわかんねーのかねwwwwww

812:132人目の素数さん
23/11/14 19:08:09.60 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害?
アドホックな仮説を指摘されてんのに逃げたから非科学確定な?

813:132人目の素数さん
23/11/14 19:10:00.69 62ugfuer.net
間抜けな奴の間抜けな状態を言い表す目的には
バカな科学哲学者(科学未経験の素人)の造語を使ってやるのも良い
ただしそれは科学の基準ではない
ただの照明責任論の範疇がほとんど
科学素人のくせに科学に意見するようなバカが
古代ローマ法学に端を発する証明責任論を学んでいるわけがないのよなあw

814:132人目の素数さん
23/11/14 19:20:46.36 62ugfuer.net
証明責任の意味すらわかってないのに「ハンショーカノーセー」とか意味もわからずに念仏唱えてるのマジウケるね

815:132人目の素数さん
23/11/14 19:21:16.20 62ugfuer.net
論理学満たしてないからそもそも反証可能性なんて関係ねーよ脳障害が

816:132人目の素数さん
23/11/14 19:22:20.89 62ugfuer.net
IITは疑似科学だとか批判した人!
疑似科学に謝ってください
疑似科学は論理学は満たしてますがIITは論理学を満たしてません
いくらなんでも疑似科学に失礼すぎますっ!

817:132人目の素数さん
23/11/14 19:23:21.84 62ugfuer.net
疑似科学→論理学は満たすが証明責任を果たしてない
IIT→論理学を満たさないし証明責任も果たしてない
一緒にするのは失礼すぎる

818:132人目の素数さん
23/11/14 19:30:31.82 62ugfuer.net
>>759
論理的に否定されてないよ
この世界のどこにもこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ?ん?
699 132人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する

819:132人目の素数さん
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バージョンだと思われていたようだ。

820:132人目の素数さん
23/11/14 20:54:39.87 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる

821:132人目の素数さん
23/11/14 20:57:21.52 wdJblonV.net
>>759
ただの大規模な力学系だとIITは定義してるよ
脳障害は因果関係の意味すらわかってないから恥晒し

822:132人目の素数さん
23/11/14 21:05:39.88 wdJblonV.net
因果関係が生物と関係ない事が分かってないのって
大学で遊び呆けて物理一切やってない自白だよな

823:132人目の素数さん
23/11/14


824:21:08:19.44 ID:fIkUPXJp.net



825:132人目の素数さん
23/11/14 21:46:42.02 TbgJpCn0.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。

826:132人目の素数さん
23/11/14 21:47:23.87 DStQyjN/.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。

827:132人目の素数さん
23/11/14 21:56:46.39 CzWoFyuH.net
>>794
嘘だよ
>>713 監修が望月新一!
グロタンデュークのZFCGから異世界のIUTへ転落した

828:132人目の素数さん
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.

829:132人目の素数さん
23/11/14 22:55:26.95 TbgJpCn0.net
IUTが提供するモノイドの新しい幾何学は、一方では離散領域と連続領域の間の緊張を解決するというグロタンディークのプリンシプルと、他方ではp進ホッジ理論とheight理論との間の画期的な出会いの結果として理解され、ディオファントス幾何学と遠アーベル数論幾何学に統一的な枠組みを提供することによって、環-スキームのグロタンディーク幾何学を超える新しい研究フロンティアを開くものである。

830:132人目の素数さん
23/11/14 23:19:03.66 +Bb//qj/.net
2021年 
京大RIMS 訪問滞在型研究 「宇宙際タイヒミュラー理論の拡がり」

望月新一監修川上量生あとがき加藤文元著
「宇宙と宇宙をつなぐ数学」はHPに掲載された公式本。>>713
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
は公式見解。

URLリンク(www.kurims.kyoto-u.ac.jp)

831:132人目の素数さん
23/11/14 23:27:07.67 TbgJpCn0.net
>>798

>>716

832:132人目の素数さん
23/11/14 23:33:20.53 +Bb//qj/.net
望月新一の、
>>716 と >>713 「全く新しいフレームワークと言語・概念体系を基盤として構築」は矛盾している。

IUTはその場しのぎの類だから、

833:132人目の素数さん
23/11/14 23:40:24.69 TbgJpCn0.net
>>800

事実はどうなんだ?

IUTはZFCGから逸脱しているのか?

834:132人目の素数さん
23/11/14 23:52:40.62 +Bb//qj/.net
望月監修川上量生あとがき加藤文元の
IUT本はscholze.stixレポートへの回答だね。
何処の方向へお逃げになったのだろうか?

835:132人目の素数さん
23/11/15 00:24:00.49 O1VxE2ny.net
>>789
なにそれ

836:132人目の素数さん
23/11/15 01:03:44.96 0wu1F69C.net
>>803
IIT

837:132人目の素数さん
23/11/15 01:06:41.45 0wu1F69C.net
>>803
IIT4.0とかいうプレプリント出してるけどもう1年経つのにどこも査読通ってないの笑えるやろ
仮定に形而上学入れてる時点でエディターリジェクトされてる事すら理解出来てない
マトモな教育受けてないエディターしかいないレベルの低いジャーナル探してんだろな
そしてマトモない教育受けてないレビュアーに当たるまでジャーナルガチャ回してる
これ科学って呼ぶの?

838:132人目の素数さん
23/11/15 01:09:34.32 0wu1F69C.net
掲載拒否されて指摘された点を直さない
あり


839:得ないだろ



840:132人目の素数さん
23/11/15 01:13:12.89 0wu1F69C.net
リジェクト履歴と理由を公開すべきだよな
低レベルなジャーナルを探して科学に見せかけるという行為が横行してる
ほならね??CNSに投稿してみなさいよ
公理とか吠えてデカルトを根拠にした噴飯物のポエムをよ

841:132人目の素数さん
23/11/15 01:14:11.87 0wu1F69C.net
科学論文の体裁で仮定に形而上学入れたものを載せた時点でそのジャーナルは終わりだよ
査読プロセスが機能してない
低レベルなエディターと低レベルなレビュアーだらけのザル

842:132人目の素数さん
23/11/15 01:16:45.52 0wu1F69C.net
ガチでIIT3.0には「デカルトが「我思う故に我あり」と言ったから意識は1つに統合されていなければならない」という「公理」が書かれてる
マトモなエディターやレビュアーなら即リジェクト
レビュアーがちゃんと読んでない低質ジャーナルを探して投稿しまくったんだろうな

843:132人目の素数さん
23/11/15 01:17:20.91 0wu1F69C.net
疑似科学だなんて疑似科学に失礼だよ
疑似科学は論理学は守ってるからな

844:132人目の素数さん
23/11/15 01:41:09.39 FoPSXnZg.net
IUTに文句言ってる奴は、
圏論屋、基礎論屋、crank
言い換えると、
乞食と統失

845:132人目の素数さん
23/11/15 06:48:49.81 +CJ+qARo.net
>>809
該当箇所提示して

846:132人目の素数さん
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)

847:132人目の素数さん
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.
こんなもん書いてあったらマトモなジャーナルではエディターリジェクト

848:132人目の素数さん
23/11/15 07:47:05.04 0wu1F69C.net
>>814のように「我々の認識はこうなってる」などという公理をスタートにしたら
決定論的相互作用(因果関係)のある全ての物質塊に対して計算されるΦなる数値が定義される
それが死んでようが物質塊だろうが区別しないので論文の初めと終わりで「意識」の指す内容が変化してる

849:132人目の素数さん
23/11/15 07:48:40.07 0wu1F69C.net
ただの物質塊でも当てはまることを批判されたら「その場合は該当しない」「神経系のサイズに限る」などと後からアドホックな仮説を垂れ流すだけ
この「理論」は意識の要素とやらが全く含まれてない

850:132人目の素数さん
23/11/15 07:49:54.85 0wu1F69C.net
なお「この範囲がΦという数値を計算できる対象である」という完全版はこの世界に未だに存在したことがない
完全な「アドホックな仮説」
証明責任の放棄だってわかってない

851:132人目の素数さん
23/11/15 07:55:19.46 0wu1F69C.net
Φを維持したまま神経回路をランダムに入れ替えれば
一般的には意識など無いとされる状態に出来るが
Φはそれを測れない
この可能性を排除するような条件はアドホックな仮説でも出すことは不可能だから逃げ続けるしかない
ほんの少しでも意識の理論なんて考えようとしたらこのくらい考えてから構築するもんだが
最も思慮が浅いので最も愚かな珍説を最も先に出しただけというね

852:132人目の素数さん
23/11/15 07:59:40.09 0wu1F69C.net
信号が情報としてやり取りされてて因果関係の「大きさ」さえ測れれば意識の大きさが測れるという妄想なので
脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る
このグループは因果関係というものの意味を全く理解していないらしい

853:132人目の素数さん
23/11/15 08:01:50.94 0wu1F69C.net
つまり理論の対象が脳神経細胞に限るという後だしジャンケン(アドホックな仮説)を追加しても
「脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る」
という批判には一切対応できてないし
対応できる可能性も無い

854:132人目の素数さん
23/11/15 08:04:07.21 0wu1F69C.net
つまりパソコンの消費電力でパソコンの性能を測ろう程度の極めて幼稚な空想に過ぎない
CPUが壊れてて消費電力は大きいのに全く計算できないみたいな状況すらカバーしてない
理論になってない役立たずの妄想

855:132人目の素数さん
23/11/15 08:05:07.67 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない

856:132人目の素数さん
23/11/15 08:15:57.51 0wu1F69C.net
人によって解釈が異なる単語を論理学の対象に出来ると思ってる時点で100年前の論理学のレベルにすら達してない
教育制度の失敗であるし
論文査読制度の失敗でもある
基本を身につけてない奴が基本を身につけてないレビュアーを
多数回様々なジャーナルに投稿し続けて引き当てれば「サドクズミ論文」になれる
中身を読まない素人はそれで騙されるという寸法

857:132人目の素数さん
23/11/15 08:17:29.95 0wu1F69C.net
なおIIT4.0なるプレプリントがあるが未だにジャーナルガチャを引き終えていないらしい

858:132人目の素数さん
23/11/15 08:19:46.26 0wu1F69C.net
マトモな科学って人によって解釈が異なる単語に対して
誰がみても変わらない定義をとりあえず与えてから論理を始めるんだけど
普段から論文を読めてないんだろうな
斜め読みというか
読んだつもりになってるだけ

859:132人目の素数さん
23/11/15 08:21:32.84 0wu1F69C.net
なぜ論理の対象に出来るのは集合に限られるのか考えた事すらないんだろうなあ

860:132人目の素数さん
23/11/15 08:24:12.16 0wu1F69C.net
・爆発律を防ぐには言及するたびに内容が変化する言葉は禁止しなければならない
・集合論的パラドックスを防ぐには自己そのものを自己言及と区別できるよう型理論や集合族の概念などの仕組みを用いなければならない
たったこれだけのことすら学んでない奴らが意識ねえ…
大学で何学んだの?

861:132人目の素数さん
23/11/15 12:53:56.83 0wu1F69C.net
消費電力でPCの性能測れるぜ!

ほな電気ストーブの方が「高性能」ですなぁw

じゃあ電気ストーブは禁止してCPUやメモリを積んだコンピューターに制限するぜ!

ほなCPU壊れてても「高性能」ですなぁw

逃亡


因果関係の大きさで意識の強さ測れるぜ!

ほな塩化ナトリウム結晶の方が「高性能」ですなぁw

じゃあただの物質は禁止して脳神経細胞に制限するぜ!

ほな神経回路の接続壊れてても「高性能」ですなぁw

逃亡


どれだけ頭悪いんだこいつら
誰もこれを指摘しないというのがヤバすぎる

862:132人目の素数さん
23/11/15 12:54:32.52 0wu1F69C.net
十分条件という概念を知らないレベルだこれ

863:132人目の素数さん
23/11/15 13:19:39.46 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない

864:132人目の素数さん
23/11/15 17:49:33.66 0wu1F69C.net
例えばディープニューラルネットワークを持ってきたとして
そのAIの性能指標に「ノード間の因果関係の強さの総計」を採用したとしよう
この数値にどんな意味があるか?
そのAIがどれだけ学習不足でどれだけ正解率が低くても内部ノードの因果関係が強い状態など無数にあり得るということだ
無意味な情報を無意味なループで内部で回すだけで因果関係など幾らでも強くすることが出来る
せめて因果関係を意味ある指標にしたいならそのAIにやってほしいタスクの正解を結果として
そのAIへの入力を原因としたときだろ
でもそれで取れる情報は正解率と同じだからやる価値は無いんだけどねw
因果関係なんてもんに着目した時点であり得ないくらいに頭が悪い

865:132人目の素数さん
23/11/15 18:18:12.08 0wu1F69C.net
結局のところ人間の意識の強さ・大きさとやらを測りたければ
「人間ならば出来るはずのこと」を結果として正解率を見ればいいので
それはチューリングテストそのものなんだよなあw
基礎論を知り尽くしたチューリングが「これで必要十分」と考え抜いたものを
なんで大学時代に遊び呆けて100年前の論理学すら学んでない怠け者の馬鹿どもが楯突いてるのか
全く意味がわからない
学んでないから思慮が浅いだけってわからんところがすごい

866:132人目の素数さん
23/11/15 20:22:51.15 N7aYaa9r.net
>>832
チューリングが考察したのはネカマネナベ行為のピュアジェンダーやで。


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch