23/11/08 02:06:59.35 oyN+qL7t.net
>>578
いや論証に穴がないなら、論証は成功してる。
穴があることは示されてないから、証明は終わってる。
613:１３２人目の素数さん
23/11/08 04:56:16.58 tlscQ287.net
>>583
だからなんなの？って話ではある
614:１３２人目の素数さん
23/11/08 04:56:39.00 tlscQ287.net
IUTT文学で証明されたからって数学とは無関係でしょ
615:１３２人目の素数さん
23/11/08 05:01:50.29 4im5a55o.net
>>583
そもそも論証になってない 素人はそれすら分からんらしい 大馬鹿野郎だな
616:１３２人目の素数さん
23/11/08 05:38:11.81 tlscQ287.net
>>586
IUTT語では論証されてるんだよ
これは間違いない
問題なのは数学語で論証すること
617:１３２人目の素数さん
23/11/08 05:44:57.42 cui+Byks.net
>>577
その辺にもまだ
Scholze派でないのはそれなりにいるよ
618:１３２人目の素数さん
23/11/08 07:02:40.34 Ts2tSyrE.net
>>582
いつもの京大数理研のIUTとりまき4名がおとづれた、
>AHGT
なぜ京大数理研のIUTSECTはAHGTと改名したのだろう？
統一教会cultが権威にしがみつき世界平和統一家庭連合」と改名したこととたぶん同じ理由なのだろう、
619:１３２人目の素数さん
23/11/08 16:21:50.21 oyN+qL7t.net
>>586
査読通ったってことは査読者からみて論証が成功してるということ。
どこの馬の骨かもわからないお前の言葉よりさ読者を信じるよ。それが嫌なら少なくとも実名で書いてみ。
>>587
数学は定義で言語をつくっていくので、それに
矛盾がなければ新たな言語であってもなんら問題はない。
620:１３２人目の素数さん
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.
これら、いつリリースされるのかな？
621:１３２人目の素数さん
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]
622:１３２人目の素数さん
23/11/08 17:40:24.65 Ts2tSyrE.net
↑
0426 １３２人目の素数さん
2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
623:１３２人目の素数さん
23/11/08 18:28:23.31 ClgwFlUH.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
624:１３２人目の素数さん
23/11/08 18:28:29.81 EwBYKwz4.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
625:１３２人目の素数さん
23/11/08 21:18:41.88 a7UswvUK.net
>>594-595
さあ？
まあ、それもこれから分かってくるでしょ
川上論文賞ネタだろう
626:１３２人目の素数さん
23/11/08 21:37:24.53 uWYIxuaI.net
何だよセクション予想ちゃんと解けたんじゃなかったのか、びっくりした
627:１３２人目の素数さん
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)
628:529 つまり、もっちーのIUT論文はabc予想の証明になっていない、と。 しかし、具体的にIUT論文のどこに瑕疵があるのか何も言っていない。 (deleted an unsolicited ad)
629:１３２人目の素数さん
23/11/08 23:17:50.37 uWYIxuaI.net
ちゃんとした数学者が意味わからない論文というのは受容されないから当たり前
サーベイすら意味不明ということ
630:１３２人目の素数さん
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)は全単射である.
631:１３２人目の素数さん
23/11/09 00:02:20.99 r2tnycls.net
多くの数学者にとってIUT論文はチンプンカンプンである
は
多くの数学者にとってIUT論文はabc予想の証明になっていない
を意味するのだろか？
632:１３２人目の素数さん
23/11/09 01:53:21.06 5kw28V9R.net
>>509
数学者が新しく開拓された領域が理解できないって
いうのは恥ずかしいのかなあ。
物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
人種的偏見とは言わんけど、日本人が完全に新しい理論を出すのがひっかかるのかしら。
633:１３２人目の素数さん
23/11/09 01:53:54.30 5kw28V9R.net
>>601
ちんぷんかんぶんは真偽判定不明でしょう。
634:１３２人目の素数さん
23/11/09 05:57:57.74 yTQqiQ4s.net
>物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
デマ
635:１３２人目の素数さん
23/11/09 06:56:52.80 r2tnycls.net
今IUTを深く理解している人が10人とか15人くらいとか言われているが、これが50人くらいになったら、もう十分に理解されたと言っていいだろう。
636:１３２人目の素数さん
23/11/09 07:25:45.86 yTQqiQ4s.net
この応援スレはデマスレですが、
>日本人が完全に新しい理論を出す
数学でも物理でも完全に新しい理論=
トンデモ理論を理解できないのだろう
637:１３２人目の素数さん
23/11/09 09:39:48.79 E5h+19Iu.net
>>604
アインシュタインの相対論か提出された時、
物理学は哲学と完全に分離してなかったので、
完全に置いてかれた人が山ほど出たんやで。
当時、理解できた人が両手で数えられたとかいうのは、わりかし本当に近い。
ということもわからんくらいの、常識のない奴が書いてるのか。なる。
638:１３２人目の素数さん
23/11/09 09:40:22.73 E5h+19Iu.net
>>606
お前は何を言ってるのだ。
639:１３２人目の素数さん
23/11/09 09:42:42.95 E5h+19Iu.net
>>605
まあIUTで新しい結果が、出始めたら、
受容するかきちんと否定するかを迫られるわな。
それで、否定ができなかったら、
受容されたと言っていいんでしょうね。
640:１３２人目の素数さん
23/11/09 11:23:26.57 YUOP9IYT.net
お互い意見が平行線な場合に何が起きるかというと
たいがい並行なままになる
あとは次世代以降に支持者の割合が増えるか減るかして
片方が勝った�
641:謔､に見える状態に落ち着く 本当の決着じゃ無いけどな
642:１３２人目の素数さん
23/11/09 11:24:14.72 YUOP9IYT.net
ただ、IUTからの歩み寄りがない超不健全な状態なので
税金カットしていいと個人的には思うけど
643:１３２人目の素数さん
23/11/09 12:52:30.43 SKg8CNgz.net
IUT側の眼にはIUTしか入っていないのではないか
644:１３２人目の素数さん
23/11/09 16:49:20.15 r2tnycls.net
T. Dupuyは、このままIUT理論が誰にも相手にされず、忘れ去られてしまうのはもったいない、と言った。
IUT理論はabc予想の証明を目的とし、その目的に特化した理論で、他の用途には使えない、ゆえに、多大の労力と時間を注ぎ込んで勉強する価値はない、と考えていたのだろか。
645:１３２人目の素数さん
23/11/09 17:15:24.29 sRDig52X.net
IUTは単遠アーベル幾何学による大域体の理論を標榜するが、ショルツの
位相線形空間に対応したcondensed理論などとは双曲曲線でリンクするんだろうか
Joshiや加藤がそういう解説ができれば良かったんだけどね
外部の人気のある理論と接続しないと上がり目はないよ
646:１３２人目の素数さん
23/11/09 17:25:52.94 sRDig52X.net
ショルツの理論は明らかにラングランズ対応のコホモロジー理論を意識しているけど
IUTのそもそもの動機は、代数体に対するコホモロジーをHA理論の拡張としつつ、
その代替として遠アーベル幾何学による小平S変形理論の一般化を試みるという
ものだったはず
なら代数体の楕円曲線での幾何学的ラングランズ対応を記述するモジュライ空間を
IUTから解釈する方法もあるはず
そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう
647:１３２人目の素数さん
23/11/09 17:41:50.68 yTQqiQ4s.net
>Joshiや加藤がそういう解説ができれば良かったんだけどね
シバ神が踊るとかポストモダンなんでしょ
IUTはなんでもありの便利な道具だから
648:１３２人目の素数さん
23/11/09 20:21:17.85 r2tnycls.net
IUTのエッセンスは、足し算と掛け算を切り離して環構造を一旦解体し、ゆるさを持たせた形で環構造を再構成して、不等式を導き出す、だろ。
今回の3つの改良版IUTも似たようなことをするのだろう。
オリジナルのIUTを応用して練習問題を解く、みたいな。
649:１３２人目の素数さん
23/11/09 21:58:06.59 h9hAZINa.net
>>611 数件取り潰し、関係者は懲戒解雇
このくらいすべき
霊長類研はそうなった
650:１３２人目の素数さん
23/11/09 22:01:12.94 1ZwzN0Uh.net
>>618
どんな法律を適用すればよいと思う？
651:１３２人目の素数さん
23/11/09 22:15:03.30 r2tnycls.net
もっちーはラングランズ プログラムに批判的。
652:１３２人目の素数さん
23/11/09 22:42:17.86 udnfSwAI.net
ラングランズ プログラムを連呼する仲間褒め集団が気色悪い。
あのビジネスモデルでいつまでもアカポスと研究費を獲得できると思っているのだろか。
653:１３２人目の素数さん
23/11/09 23:05:29.12 Ay44L5ff.net
IUTのビジネスモデル
↓
加藤文元×川上量生×東浩紀「数とはなにか-IUT理論と数学の立ち位置」
この表題はIUTの立ち位置をよく表している。
・IUTはポストモダン類似の物語で数学ではない。
望月新一監修.川上量生あとがき.加藤文元著「宇宙と宇宙をつなぐ数学」では、
IUTTをトマスクーン流の科学革命
654:でパラダイムシフトと位置付け 「IUT語。IUT理論は、一般的な数学のパラダイム(の枠内では語れない、 全く新しいフレームワークと言語・概念体系を基盤として構築されている」 と明言した。 またIUT「Alien」ではガタリと類似していると指摘されていたし 東浩紀はデリタを自認している。 トマスクーンもガタリもデリタもフランスポストモダン。
655:１３２人目の素数さん
23/11/09 23:35:05.29 I5AVeeGx.net
ポスト構造主義というより
アカデミックポスト確保ありきの政治構造の主義主張。
656:１３２人目の素数さん
23/11/09 23:54:43.93 udnfSwAI.net
30年もワイルズ、谷山-志村と言い続けていれば、流石に飽きられる。
657:１３２人目の素数さん
23/11/10 00:02:11.45 6GxPNQA8.net
>>624
オカルトIUT信者乙
658:１３２人目の素数さん
23/11/10 01:30:42.59 IarZHppj.net
>>606
恥知らずな嘘吐きドクズに生まれつくってどんな気持ち？
659:１３２人目の素数さん
23/11/10 02:43:51.28 o/OkDkNK.net
>>619
嘘で叩いてるやつに侮辱罪や名誉毀損の
適用可能性があるわな。
アベガーみたいな奴らに適用されてるやつ。
660:１３２人目の素数さん
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も金を出している。
661:１３２人目の素数さん
23/11/10 03:04:19.96 6GxPNQA8.net
>>627
まず京大教授に放送法違反
662:１３２人目の素数さん
23/11/10 03:28:28.68 4tEfDYEy.net
ラングランズ プログラムを連呼する仲間褒め集団は乞食と詐欺師を兼業しているようなもの。
663:１３２人目の素数さん
23/11/10 03:44:19.58 5RCTXK/o.net
>>629
放送見てないけど
それもしかすると特定できるんじゃね。
ギリギリアウトかもよ。
名誉毀損や侮辱はやんなよ。
普通にアウトだと思ったら
何も言わずに通報するし。
664:１３２人目の素数さん
23/11/10 03:49:29.23 GdmUBxbE.net
違法な侮辱の放置はさらなる犯罪を誘発するから
叩き潰すべき
665:１３２人目の素数さん
23/11/10 03:53:07.15 rvggUN9r.net
>>629
誰のこと言ってるの?
なんの放送?
666:１３２人目の素数さん
23/11/11 05:53:28.40 67Jttq/W.net
>>590
IUTT語は矛盾が矛盾でなくなる言語だから
667:１３２人目の素数さん
23/11/11 09:16:47.54 F73CQlIp.net
一つの矛盾が矛盾でなくなれば
すべての矛盾が矛盾でなくなると言ったのは
ラッセルだったか
668:１３２人目の素数さん
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]。
669:１３２人目の素数さん
23/11/11 14:11:16.61 MmQJcEZZ.net
>>635
IUTはなんでもあり、さ
670:１３２人目の素数さん
23/11/11 14:20:42.97 +fo9ICJw.net
>>637 矛盾している理論はいかなる命題も証明可能
671:１３２人目の素数さん
23/11/11 14:30:26.01 MmQJcEZZ.net
こっそりdefinitionallyもあるしねえ
672:１３２人目の素数さん
23/11/11 18:55:00.91 SSa4jAuV.net
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
673:１３２人目の素数さん
23/11/12 01:26:07.93 P+Qsv7nr.net
セクション予想の証明はモーデル予想の別証明にもなっている？
674:１３２人目の素数さん
23/11/12 02:29:40.33 MlNI5+1c.net
わかってないやつほど えらそうにせつめいするんだよ
これは大先生のお言葉だ
675:１３２人目の素数さん
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ギフト券に変換可能！
家族・友人に紹介したり通常タスクをこなせば更にﾎﾟｲﾝﾄを追加でゲットできます。
676:１３２人目の素数さん
23/11/12 08:38:20.60 VZrFDCrS.net
>>643
簡単で良いな
677:１３２人目の素数さん
23/11/12 09:26:16.88 ucyGcHHh.net
>>622
ソーカル事件じゃん
678:１３２人目の素数さん
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 ファイナルコメント
679:１３２人目の素数さん
23/11/12 11:23:18.58 ucyGcHHh.net
>>646
意識とか言い始めたらオカルト
680:１３２人目の素数さん
23/11/12 11:24:39.59 ucyGcHHh.net
そもそも茂木が喋ることに耐えられる時点で科学者の思考をしてない
681:１３２人目の素数さん
23/11/12 11:40:49.71 EJx9wgXJ.net
>>643
こういう方法もあるんだな
682:１３２人目の素数さん
23/11/12 11:49:13.15 ucyGcHHh.net
>>638
爆発律ね
683:１３２人目の素数さん
23/11/12 15:31:33.12 hntX1qJg.net
>>646
東 浩紀の次はモギケンか
カトブンも完全に数学者やめちゃって
ただの芸人になっちゃったんだな
684:１３２人目の素数さん
23/11/12 16:01:40.63 /Drsaocq.net
IUTは数学ない、
望月文元が焼肉パーティー上で騒いだよたばなしだが、
とりまき共々ばらまいた責任は重い
685:１３２人目の素数さん
23/11/12 16:04:07.82 /Drsaocq.net
IUT≠数学
686:１３２人目の素数さん
23/11/12 18:10:06.06 7ERUsa56.net
日本語不自由で草
687:１３２人目の素数さん
23/11/12 18:28:45.74 /Drsaocq.net
>>628
フランス検察､電通のパートナー企業を捜査 東京五輪含めスポーツビジネスの汚職にメス
URLﾘﾝｸ(www.newsweekjapan.jp)
688:１３２人目の素数さん
23/11/12 18:29:17.81 ViVxd15A.net
茂木は自己が否定も肯定も場合言及の仕方を心得てる時点で、普通。
わかりもしないことを否定するだけじゃなく、侮辱したり、名誉毀損したり犯罪に片足突っ込んでるこのスレにいるバカがあたおか。
689:１３２人目の素数さん
23/11/12 18:33:16.82 hntX1qJg.net
>>656 モギケンは普通に芸人だね 俳優としては大根だったけどｗ
690:１３２人目の素数さん
23/11/12 19:13:53.21 HbXy4xA9.net
誰かグロタンディークの遠アーベル セクション予想について解説してくれ。
691:１３２人目の素数さん
23/11/12 19:44:36.06 ucyGcHHh.net
クオリアとか言ってる時点でオカルト
692:１３２人目の素数さん
23/11/12 20:59:03.58 HbXy4xA9.net
Zen大学は、セクション予想の一般人向けの説明ができなくて、IUTで金儲けという企みは失敗するだろう。
693:１３２人目の素数さん
23/11/12 22:11:30.70 DMW9jWow.net
あれで完全解説っていうのは流石に羊頭狗肉だろう
694:１３２人目の素数さん
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!]
ということでよいか。
695:１３２人目の素数さん
23/11/13 02:39:37.11 Kjwp9CaE.net
>>652
責任も何もないよ
そういう学問なんだから究めたい人は究めたら良いそれだけ
696:１３２人目の素数さん
23/11/13 02:44:40.25 SXGyS+T/.net
数学の「復元」なら証明が必要だ。
>>630
復元復元と連呼しあやしい復元装置を作り振り回す、
矛盾点を高次元のお話にしたり、ではもはや数学ではない！
697:１３２人目の素数さん
23/11/13 16:07:14.15 8bfY/bui.net
>>659
その認識は古い
IIT知らないのか
698:１３２人目の素数さん
23/11/13 18:24:22.91 XeiqPc7U.net
>>665
ほぼオカルトだろw
699:１３２人目の素数さん
23/11/13 21:11:55.16 8bfY/bui.net
>>666
圏論の本書いてる西郷甲矢人とか計算神経科学の研究者がプロジェクトやってる
くらいには数学になってきてる。豊穣圏やヒルベルト空間とかを使った
確率論になるらしい
700:１３２人目の素数さん
23/11/13 21:58:48.75 Q++RkXqp.net
>>665
低学歴みーっけ
IITは形而上学を仮定してるから論理学を満たさないオカルトだよ
あまりにも無知すぎる
701:１３２人目の素数さん
23/11/13 21:59:18.15 Q++RkXqp.net
>>667
全く意味がない
形而上学を仮定してる時点でオカルト
バカすぎて形而上学の意味すらわかってないのだろうけどw
702:１３２人目の素数さん
23/11/13 22:00:40.11 Q++RkXqp.net
>>667
あの本読んでマトモだと感じる時点でヤバすぎるよお前
論理学の対象になるのは集合のみであることを理解しておらず
適当な言葉を当てはめたら論理が成り立つという妄想を開示してるからな
これラッセルのパラドックスとその解決からして理解出来てない底辺層
703:１３２人目の素数さん
23/11/13 22:02:06.81 Q++RkXqp.net
言葉を並べて論理になると思えてしまうのは素朴集合論の話で
ラッセルのパラドックスを引き起こすから
「私は数学基礎論の知識が0で論理を全く理解してません」
と自白してるに等しい
704:１３２人目の素数さん
23/11/13 22:02:34.12 Q++RkXqp.net
100年前の数学基礎論すらわかってない無知が意識とかウケるね
705:１３２人目の素数さん
23/11/13 22:03:50.58 Q++RkXqp.net
形而上学の意味もわかってなさそう
形而上学が問題とされるのはある概念が言及されるたびに内容が変わり
使う人により内容が変わることで爆発律が成り立つことだ
爆発律が成り立つならその論理には全く予測能力が無い
706:１３２人目の素数さん
23/11/13 22:05:54.54 Q++RkXqp.net
マトモな科学者が書く論文には意識などという言葉は出てこない
なぜならそれが何を指すのか人によって変わるから論理の対象にならないし科学の対象になりようがないからだ
ちなみにIITの論文をちゃんと読めば前提として意識の存在を導入しながら
結論はその意識とやらがただの石ころや金属塊にも当てはまってしまうようになる
マトモな思考力があるなら仮定が間違っているとして仮説を棄却する
IIT界隈は数学基礎論の知識が0なので間違ってる仮説を正しいと言い張ってる
707:１３２人目の素数さん
23/11/13 22:06:19.41 Q++RkXqp.net
論文の初めと終わりで指す内容が変わってる時点で形而上学なんだよ
そんな事もわかんねー低レベルな界隈
708:１３２人目の素数さん
23/11/13 22:07:44.71 Q++RkXqp.net
数学・論理学・科学の対象になるのは言及するたびに指す内容が変わったりしない言葉だよ
指す内容が変わるなら明示的に表記を変える
たったこれだけの事すらわかってないからIIT界隈やクオリア界隈と関わったら終わりだよ
数学基礎論わからん奴に数学基礎論教えたとして
時間の無駄
709:１３２人目の素数さん
23/11/13 22:08:20.22 Q++RkXqp.net
マトモな科学者が論文のタイトルに意識とか書かないのはそういう視点なのに
理解してないから入れちゃうんだろうな
710:１３２人目の素数さん
23/11/13 22:09:32.48 Q++RkXqp.net
触れるたびに内容が変わる記号なんかで論理が成り立つと思えてしまう時点で更生不可能
教えても意味がない
711:１３２人目の素数さん
23/11/13 22:10:06.14 Q++RkXqp.net
これを教えてもらうまでわからない奴は論理的思考力が無い
712:１３２人目の素数さん
23/11/13 22:14:45.57 Q++RkXqp.net
頭が悪い人たちには永久にわからない事だろうけど
論理学は曖昧さを扱えないのではない
曖昧なものは確率分布など幾らでも扱う方法がある
論理学としてあってはならないのは「どのような曖昧さなのか」という曖昧な対象の指す内容を断りなく変更すること
指す内容を変えるなら表記を明示的に変えなければならない
人によって指す内容が変わるならそれも表記として別のものにする
たったこれだけのことがわかってない奴に何も成し遂げられるわけがない
時間の無駄
教えても意味ないよ
世の中のほとんどは15歳くらいでこのくらいのことわかって奴らなんだから
オッサンになってから理解しても意味ない
713:１３２人目の素数さん
23/11/13 22:15:40.99 Q++RkXqp.net
こんな簡単な事すら考えてないのにIUTとか意識とか究極的に難しいことを考えようとする時点でヤバい
714:１３２人目の素数さん
23/11/13 22:17:02.23 Q++RkXqp.net
クオリア界隈はとにかく数学の基礎をやってないので
「曖昧さを扱えるけどその曖昧さは断りなく変わらない」
という状態を考えることができない
715:１３２人目の素数さん
23/11/13 22:17:40.31 Q++RkXqp.net
本人たちは最先端をやってるつもりなのだが
100年前の論理学すら学んでないのでお笑いでしかない
716:１３２人目の素数さん
23/11/13 22:19:46.57 Q++RkXqp.net
論文の最初と最後で指す内容が変わる言葉とか
マトモなジャーナルならエディターレベルでリジェクトしてブラックリスト入りだよ
それをマトモじゃないジャーナルとマヌケなレビュワーを探し続けてガチャを引いて科学だと思い込んでる状況
717:１３２人目の素数さん
23/11/13 22:23:12.29 Q++RkXqp.net
素朴集合論の問題点すら把握してないレベルの奴らが「悩んで」その解決に圏論が使えると妄想してるの
絶対に笑ってはいけないシリーズだよ
718:１３２人目の素数さん
23/11/13 22:26:08.53 Q++RkXqp.net
クオリア界隈は間違いなく素朴集合論という言葉を�
719:ｷいた事すらないし爆発律も知らないまま死ぬ
720:１３２人目の素数さん
23/11/13 22:26:46.26 Q++RkXqp.net
もし知ったらクオリア界隈で居続けることは不可能だろうからな
721:１３２人目の素数さん
23/11/13 22:28:14.27 Q++RkXqp.net
こいつら今の数学や科学には形而上学が足りてないとまで妄想してそうだからタチが悪い
足りてないんじゃなくて否定されてるんだよ
722:１３２人目の素数さん
23/11/13 22:41:56.85 Q++RkXqp.net
>>667
これ素朴集合論と命題論理しか理解してないと自白してますわ
述語論理すら知らんし適当な言葉を論理に当てはめられると思ってるので公理的集合論を知らない
このレベルのことを表すのにトポスなんて全く必要ではないし意味がない
この界隈はこのレベルのおかしさを周りが誰も指摘できないレベルの奴しか居ない
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
723:１３２人目の素数さん
23/11/13 22:43:48.28 Q++RkXqp.net
常に論理が成り立つような量化子を書けば良いだけだが
これが「クオリア」の本質よ
とっくに解決されてることを学ぶ気もないので「新発見」しちゃうという
724:１３２人目の素数さん
23/11/13 22:45:36.08 Q++RkXqp.net
この本は本当に酷くて
代数学なんて見た事すらなくて「圏論なら構造を分析できる！」みたいな無意味な思い込みが並んでるだけ
これを見てすごいと思える奴も相当ヤバい
725:１３２人目の素数さん
23/11/13 22:47:20.01 Q++RkXqp.net
普通の論理学はどういう範囲で当てはまる論理式なのか指定できるのだがw
それを見た事も考えた事もない自白というのは凄すぎる
726:１３２人目の素数さん
23/11/13 23:15:09.67 Q++RkXqp.net
もっと言えばIIT論文の何がヤバいかと言えば
なんの根拠もない思いつきを「公理」として掲げて否定しようがないなどと強弁しているところ
これは数学基礎論を学んだことがないと自白してるに等しい
727:１３２人目の素数さん
23/11/13 23:18:57.26 Q++RkXqp.net
量子力学の公理化なんて文脈で公理という言葉を使うことがあるが
それはどこまで仮定減らせるかという文脈で減らせずに残るものを公理と呼んでるにすぎない
否定不可能な前提を公理と呼び自分にの思いつき通りに論理展開できるなどという発想はマトモな自然科学には存在しない
物理学ではむしろ否定可能な仮定を公理と呼んでいる
公理という言葉は既にどういう意味を持つか定められているのに
証明責任を逃れる目的で前提を公理と言い張るのは自然科学ではあり得ない
自然科学をマトモに学んでない集団だとそこから伝わってしまう
728:１３２人目の素数さん
23/11/13 23:20:40.66 Q++RkXqp.net
数学でもそうだが
公理という言葉はどの公理系を採用するかは自由であり公理系ごと否定され得ることを前提にしている
そういう背景を学ぼうとも理解しようともしたことがない浅い人たちの妄想
完全なオカルトだよ
729:１３２人目の素数さん
23/11/13 23:22:12.29 Q++RkXqp.net
IITは疑似科学だという批判があるらしいが
全くの見当はずれだ
疑似科学どころか論理学を満たしてない
非論理的だから非科学そのものであり疑似科学みたいに科学っぽさを兼ね備えていたりしない
疑似科学の段階にすら達してないよ
論理を満たさない
730:１３２人目の素数さん
23/11/13 23:22:54.21 Q++RkXqp.net
ある言葉が指してる内容に論文の始めと終わりで変化があるとか
疑似科学でもやらない愚行
疑似科学に失礼だよ
731:１３２人目の素数さん
23/11/13 23:23:57.80 Q++RkXqp.net
異なる内容に同一の記号を与えたら爆発律が成り立ち結論が無意味になるってことすらわかっていない
疑似科学はそのくらいはクリアしてるぞ
732:１３２人目の素数さん
23/11/13 23:32:57.75 Q++RkXqp.net
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの
733:対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ 反論部分は代表的な疑似科学だ この状態に耐えられる時点でマトモではない 普通なら状況を理解しで離脱する
734:１３２人目の素数さん
23/11/13 23:41:01.22 Q++RkXqp.net
たぶんアドホックな仮説というものが何故許されないのかわからないんだろうな
本気で
そういうことを理解できるだけの知性が備わってない
証明責任とか考えた事も無いのだろう
735:１３２人目の素数さん
23/11/13 23:45:56.05 Q++RkXqp.net
まあオカルトはどうでも良いので
IUTについて
IUTは
・公理から導かれるロジックとその結論に欠陥はあるか？
・ロジックに欠陥がなくても予言能力や応用可能性の点で有用か？
の様々なレベルの疑義があるわな
正しいには正しいけど全く使い道のない定理とか体系は無数にあるからな
736:１３２人目の素数さん
23/11/14 01:21:18.74 wdJblonV.net
公理の意味すらわからずに卒業して何の証拠もない思いつきを公理と言い張るの
教育の失敗だろ
そんな妄想抱いているなら他の何を丸暗記してても全く価値がない
737:１３２人目の素数さん
23/11/14 01:23:11.94 wdJblonV.net
部分点を合計して試験の単位を認定してる時点で
「量としては少ないが致命的な影響を及ぼす欠陥思考」
を防ぐことができない
738:１３２人目の素数さん
23/11/14 01:34:19.23 wdJblonV.net
東大卒なのに東大から相手にされてない人って
その辺を二言三言やり取りするだけで見抜かれて弾かれちゃうんだよね
相手の承諾なく言葉の意味をコロコロ変える奴とかな
739:１３２人目の素数さん
23/11/14 01:36:07.70 wdJblonV.net
言葉の指す意味はもちろん探っていいし変えても良い
ただし相手と合意をして明示的にだ
ここが全くわかってない
確かに大学の必修科目にそれを学ぶ項目は無いのかもしれないが
過学習すぎるし汎化性能が低すぎる
殆どの学生は汎化できるし学べること
特殊スキルでもなんでもなくて学べない奴が特殊
740:１３２人目の素数さん
23/11/14 02:34:17.82 rzIaxIT8.net
基礎論屋と圏論屋は出ていけ。
気色悪い。
741:１３２人目の素数さん
23/11/14 06:06:50.81 KnubwXxQ.net
Wikipedia
Section Conjecture
異様にスカスカなんだが。
742:１３２人目の素数さん
23/11/14 06:07:18.97 KnubwXxQ.net
URLﾘﾝｸ(en.m.wikipedia.org)
743:１３２人目の素数さん
23/11/14 08:17:27.12 CzWoFyuH.net
>>701
>オカルトはどうでも良いので IUTについて
IUTは数学ではない。
数学の遠アーベル幾何学からIUT語のIUTへ転落した。
744:１３２人目の素数さん
23/11/14 08:25:25.31 CzWoFyuH.net
>>706
このIUT応用スレはIUT信者のサティアンだったな。
745:１３２人目の素数さん
23/11/14 08:28:23.90 CzWoFyuH.net
>>710
応用→応援
746:１３２人目の素数さん
23/11/14 08:36:45.74 wdJblonV.net
>>709
どのあたりが数学じゃないのか部外者にもわかりやすく頼む
747:１３２人目の素数さん
23/11/14 09:10:33.71 CzWoFyuH.net
望月新一監修.川上量生あとがき.加藤文元著.宇宙と宇宙をつなぐ数学.では、
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」と明言している。
748:１３２人目の素数さん
23/11/14 10:42:13.95 wdJblonV.net
>>713
それだけなら一般的じゃない数学なだけであって数学に含まれちゃうじゃん
数学の中に一般的なのと特殊なのがあるだけだよな？
749:１３２人目の素数さん
23/11/14 10:44:26.95 wdJblonV.net
そんなことはどうでも良いからIUTの論理的おかしさとかIUTが何故使えないかについて具体的に頼むわ
750:１３２人目の素数さん
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),
とも言っている。
751:１３２人目の素数さん
23/11/14 11:03:22.77 CzWoFyuH.net
>数学の中に一般的なのと特殊なのがあるだけだよ
数学がクーンの意味でパラダイムシフトして特殊なIUT語のIUTになった。
一方加藤文元はIUT語が未だに未完成とのべている。
752:１３２人目の素数さん
23/11/14 11:06:24.66 CzWoFyuH.net
>>716
あら、>>713
753:１３２人目の素数さん
23/11/14 11:19:55.82 wdJblonV.net
文元ってIUTわかってるんか？
怪しいな
754:１３２人目の素数さん
23/11/14 11:23:11.82 wdJblonV.net
10年経っても本人すら応用できない以上
たとえ論理的に正しかったとしても使い道がないと言えそう
755:１３２人目の素数さん
23/11/14 11:40:53.92 KnubwXxQ.net
たった10年で、
遠アーベル セクション予想の証明
ジーゲル零点の非存在の証明
エラい強いeffective abc不等式
756:１３２人目の素数さん
23/11/14 11:48:48.81 lN6dthQw.net
やっぱzfcgなんか
757:１３２人目の素数さん
23/11/14 11:50:27.69 CzWoFyuH.net
>>719
>文元ってIUTわかってるんか？
加藤文元氏はIUTTは望月加藤の2人セミナーよりIUTの主定理まで構築したし
今やIUT研究の所長を公言している。
望月新一IUTT提唱者は、明らかに望月新一監修の>713と>716が矛盾している。
ただし未完成のIUT語からは矛盾していないかも？
私はIUT信奉者でないから全体がよくわからんし、
RIMSか文科省へ問い合わせてみたらいかが？
758:１３２人目の素数さん
23/11/14 12:54:37.59 Mz6vJbyQ.net
>>691
何だかんだ西郷の本読んでんの？w
でも君基礎論の研究者っぽくないな。トートロジーの不変性を強調してるっぽいが、
ヒルベルト空間の（非可換）確率論みたいな設定には十分圏論を適用できるだろ
何故なら非可換な測度という数学的構造があるからだ
圏論が関係の不変性や合成を扱う理論ということくらい彼らはわかってるよ
あと、IITについてはM.Marcolliも多分関心を持ってる。統合情報に言及したはず
それで情報のコホモロジー理論とか提唱してる。非可換モチーフの研究者だから
759:１３２人目の素数さん
23/11/14 13:04:57.86 KnubwXxQ.net
アデレードの圏論の人はポスドクを20年くらいやるのかな。
760:１３２人目の素数さん
23/11/14 13:22:11.87 CzWoFyuH.net
圏論を量子力学や場の量子論で用いるなら、
まず数学の圏論とIUT語の「圏論」を分離が必要だ。
そのためにもRIMSを解体すべきだな。
761:１３２人目の素数さん
23/11/14 13:26:01.48 KnubwXxQ.net
圏論でアカポスゲットはエラい厳しい。
762:１３２人目の素数さん
23/11/14 13:52:49.18 nSXFV0ri.net
>>726
頭悪い書き込みすんなよ
他人の思考に介入するとか
独裁者の思考だわ
763:１３２人目の素数さん
23/11/14 13:56:52.05 CzWoFyuH.net
>>728
あ、このスレはIUT信者のためのIUT応援スレだったな
764:１３２人目の素数さん
23/11/14 13:59:29.44 KnubwXxQ.net
圏論屋と基礎論屋は乞食。
765:１３２人目の素数さん
23/11/14 18:09:15.53 qNSYu4+B.net
>>724
何言ってんのお前
こんな数学基礎論は必修だよ必修
述語論理すら知らねーなら自.殺しろマジで
766:１３２人目の素数さん
23/11/14 18:10:21.56 qNSYu4+B.net
>>724
ただの群論と構造主義すら知らねーんだもん
あまりにも教養なさすぎて論外
ただただ大学教育の失敗
767:１３２人目の素数さん
23/11/14 18:10:49.80 qNSYu4+B.net
>>724
論理学を満たさないと言われてんのに意味を理解できないわけ？
768:１３２人目の素数さん
23/11/14 18:11:55.74 qNSYu4+B.net
>>730
基礎論屋って何？
述語論理すら知らずに数学語ってるなら死ぬべきだよ
必修だろ
769:１３２人目の素数さん
23/11/14 18:22:53.02 Ite+vgTi.net
脳科学の連中は、意識と脳の対応関係だけでクオリアが分かると決めつける
要するに対応関係という刀でクオリアというゴルディアスの結び目を断ち切れる
とほざく２１世紀のアレキサンダー大王
まあ、それ以外やりようがないからな
でも、それって難問でもなんでもないだろ ただ開き直ってるだけだから
770:１３２人目の素数さん
23/11/14 18:25:42.92 62ugfuer.net
>>735
そもそもクオリアとか形而上学で論理学を満たさないから意味ないよ
形而上学語る
771:奴は論理を知らない低学歴だと自白してるようなもん 爆発律すら知らねーんだもん
772:１３２人目の素数さん
23/11/14 18:26:11.22 62ugfuer.net
>>724
トートロジーの不変性って何？
また低学歴脳障害が知ったかぶりしてるの？
773:１３２人目の素数さん
23/11/14 18:27:06.99 62ugfuer.net
>>735
意識もクオリアも人によって解釈が違う以上論理学を満たさない
全く意味がない
人によって変わらない定義すら書けないんだからバカしか居ない
774:１３２人目の素数さん
23/11/14 18:27:21.85 62ugfuer.net
論理の意味すら理解してないってことだ
775:１３２人目の素数さん
23/11/14 18:30:30.17 meOEe3mL.net
>>735
IITはそういう理論ではないだろ
単なる脳機能マップ論ではない
776:１３２人目の素数さん
23/11/14 18:31:23.61 62ugfuer.net
>>724
ぽいってなんだよ知ったかぶり
お前理解してない言葉並べてるだけだな？
俺が指摘したことを1文字も読めてない
脳障害だよ
777:１３２人目の素数さん
23/11/14 18:31:59.21 Ite+vgTi.net
>>736
科学は何らかの意味で独断が入ってる
独断の無い学問は何も語らない
778:１３２人目の素数さん
23/11/14 18:32:42.31 62ugfuer.net
>>740
IITは因果関係の強さが意識の大きさとかほざいてるんだが
数学も物理もやったことない知恵遅れが考えた妄想なので
因果関係は生物関係ないただの物理で成り立つことだとわかってない
生まれてから因果関係の理論を一度も学んだことすらないバカどもの空想だよ
779:１３２人目の素数さん
23/11/14 18:33:23.31 62ugfuer.net
>>742
独断かどうかはどうでもよい
形而上学は論理的であることが不可能
そして物証がない妄想
780:１３２人目の素数さん
23/11/14 18:35:08.70 Ite+vgTi.net
>>740
>IITは…単なる脳機能マップ論ではない
まあ、でもマッピングすらできないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
781:１３２人目の素数さん
23/11/14 18:36:04.50 62ugfuer.net
因果関係の大きさ=意識の大きさ とかほざいたら
マトモに勉強してきた学生に突っ込まれてすぐに撤回するのが健常者
この集団は周囲の疑問とか理解するだけの知能ないから相手にするだけ時間の無駄だよ
782:１３２人目の素数さん
23/11/14 18:36:45.45 62ugfuer.net
>>745
マッピングなんて出来るようなハイレベルなものじゃないよ
因果関係が強ければ意識っていう意味不明な妄想を前提にしてる
783:１３２人目の素数さん
23/11/14 18:37:26.04 62ugfuer.net
それアメリカンクラッカーでも球の数増やすと意識芽生えることになるんですけどwwwwwww
因果関係の意味すらわからないとかバカすぎる
784:１３２人目の素数さん
23/11/14 18:37:31.19 Ite+vgTi.net
＞意識の大きさ
何を測ってるのか知らんけど、直感できるものなのかね？でないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
785:１３２人目の素数さん
23/11/14 18:39:19.21 62ugfuer.net
>>749
そうなんだよ
因果関係の大きさとやらを意識の大きさだと仮定したから
アメリカクラッカーの球を数百万個並べたら人間より意識が大きくなるwwwmwww
独断どころじゃない
786:１３２人目の素数さん
23/11/14 18:40:09.72 62ugfuer.net
因果関係は決定論的システム全てに成り立つ性質であることを理解してない
高校レベルの物理すら理解してないぞあいつら
787:１３２人目の素数さん
23/11/14 18:42:46.53 meOEe3mL.net
>>736
悪いけど時間の無駄だわ
色々ずれすぎてる。反証可能性と述語論理の関係すらわかってなさそうだし、
IITを形而上学とか言ってる割に爆発律がどうとか批判の軸が無くなってる
ただ確かなのは、意識の理論に関してはちゃんと査読論文書いてるIIT連中のが
論理論理喚いてるあんたよりは有望だろう
788:１３２人目の素数さん
23/11/14 18:44:41.64 62ugfuer.net
>>752
反証可能性とか低学歴丸出しだよお前
反証可能性が科学と関係あると妄想してそうだけど
反証可能性は証明責任を果たす議論の必要条件でしかないよ
あまりにも無知すぎる
789:１３２人目の素数さん
23/11/14 18:45:05.82 62ugfuer.net
>>752
形而上学だから爆発律が成り立つんだよ
死ぬほど頭悪いなお前
790:１３２人目の素数さん
23/11/14 18:45:40.81 62ugfuer.net
>>752
査読論文なんて意味ないよ
低レベルジャーナルとバカなレビュワー引き当てれば良いだけの話
791:１３２人目の素数さん
23/11/14 18:46:08.47 62ugfuer.net
>>752
本当に意識の理論ならCNS乗るよ
形而上学だからエディターリジェクト
792:１３２人目の素数さん
23/11/14 18:46:41.81 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
793:１３２人目の素数さん
23/11/14 18:47:31.73 62ugfuer.net
>>752
本当にバカすぎて形而上学の問題を理解できてないのウケる
同じ言葉が複数の意味を持ったら爆発律�
794:ﾁてことすらわからん低知能が意識とか笑えるwwwwwww
795:１３２人目の素数さん
23/11/14 18:47:49.69 meOEe3mL.net
>>750
それも散々研究者から論理的に否定されてんのにどうしようもないなあんた
意識はただの大規模な力学系じゃねえよ
脳障害とかブーメラン過ぎて自爆してくれて有り難いわw まあ頑張ってな
796:１３２人目の素数さん
23/11/14 18:48:32.26 62ugfuer.net
>>752
こういうバカって反証可能性を科学の必要条件だと妄想してそうでウケる
797:１３２人目の素数さん
23/11/14 18:49:29.70 62ugfuer.net
>>759
論理的に否定されてないよ
どこにこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
798:１３２人目の素数さん
23/11/14 18:50:04.36 62ugfuer.net
知恵遅れって科学哲学者が科学の内容を決めてると思ってそう
教養が無さすぎる
799:１３２人目の素数さん
23/11/14 18:51:22.81 62ugfuer.net
>>759
神経回路の接続をめちゃくちゃにしてΦが変わらないまま意識を失わせることができる
はい完全論破
反論してみ？
絶対無理だから
指摘したケースだけを禁じるアドホックな仮説しか出さない
さらに指摘は無限に増やせるぞ？
800:１３２人目の素数さん
23/11/14 18:51:28.82 meOEe3mL.net
>>754
いやそれ間違ってるぞ。形而上学＝爆発律ではない
論理わかってないって、あんたのブーメランだよ
ちなみにIITは観測データも参照する理論なので、反証可能性はそれとセットになる
色々視野が狭すぎる。基礎論の研究者っぽくない、が気にくわないなら研究者では
まずないな。まあ改めて頑張ってくれ
801:１３２人目の素数さん
23/11/14 18:52:54.74 62ugfuer.net
その定義からしてΦには「どういう主体が何を目的として行動するか」という情報が入ってないので
Φを維持したまま殺して意識を失わせることができる変換が無限に存在する
802:１３２人目の素数さん
23/11/14 18:53:30.80 62ugfuer.net
>>764
形而上学=爆発律だよ
間違ってると感想を書いても意味ない
異なることを同一扱いしたら即時に爆発律が成立する
爆発律知らないんだろ？
803:１３２人目の素数さん
23/11/14 18:54:08.96 62ugfuer.net
>>764
反証可能性の話など一切してない
アドホックな仮説の意味知らないから今ググってんの？
死にたくならんの？それ
804:１３２人目の素数さん
23/11/14 18:54:26.71 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
805:１３２人目の素数さん
23/11/14 18:55:04.98 62ugfuer.net
>>764
間違ってるという文字には意味がない
反例書けないなら自殺しな
806:１３２人目の素数さん
23/11/14 18:55:50.71 62ugfuer.net
>>764
そもそも形而上学がウィトゲンシュタインに完全否定された事すら知らないとか
教養が無いにも程がある
807:１３２人目の素数さん
23/11/14 18:56:08.35 62ugfuer.net
大学で合コンしかしてなさそう
808:１３２人目の素数さん
23/11/14 18:58:05.30 62ugfuer.net
不勉強な奴がバカな事言って恥晒しても
自己責任だよな？
形而上学がなぜ完全否定されたかすらわかってないとかwwww
809:１３２人目の素数さん
23/11/14 18:58:28.27 62ugfuer.net
なぜ歴史を知ろうとすらしないのか
810:１３２人目の素数さん
23/11/14 19:00:02.79 62ugfuer.net
論理学を破っていてもこういう低学歴シンパを騙せれば飯食えるってか
生きてて恥ずかしく無いのか？
811:１３２人目の素数さん
23/11/14 19:00:20.43 62ugfuer.net
疑似科学だなんて疑似科学に失礼だよ
812:１３２人目の素数さん
23/11/14 19:01:13.42 62ugfuer.net
疑似科学は論理学は満たしてるので
IITを疑似科学扱いするのは疑似科学に対して失礼
論理学すら満たしてないんだから無意味なポエムだよ
813:１３２人目の素数さん
23/11/14 19:04:56.45 62ugfuer.net
反証可能性を科学の基準にするのは低学歴バレちゃうからやめような？
反証可能性は相手が適切に証明責任を果たせるようにするフェアな議論のために必要なことだから
政治学だろうが社会学だろうがフェアな議論には必須の概念
ポパーは無学だから科学特有だと思い込んだだけで全く意味がない主張だ
何が科学なのかを科学やった事ない素人に任せるとか
死んだ方がマシじゃね？
なんでそんな恥ずかしいことして息をしてられるのか
プロ野球選手がボールを握ったことすらない素人の解説者の妄想に従わなきゃいけないらしいwwww
814:１３２人目の素数さん
23/11/14 19:05:47.90 62ugfuer.net
古代ローマから連綿と続く証明責任論を学んでいればポパーはあんな恥ずかしい珍説を披露せずに済んだ
不勉強なバカの空想でしかないし
それに気づけない奴も同類
815:１３２人目の素数さん
23/11/14 19:06:26.68 62ugfuer.net
まあ学問の話する時にポパーとかクーンとか持ち出す奴は五流以下だよ
聞き齧っただけで中身を見てないし自分で考えてない
816:１３２人目の素数さん
23/11/14 19:06:55.27 62ugfuer.net
科学哲学者は科学をやったことがない
なんでこんな事すらわかんねーのかねwwwwww
817:１３２人目の素数さん
23/11/14 19:08:09.60 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
アドホックな仮説を指摘されてんのに逃げたから非科学確定な？
818:１３２人目の素数さん
23/11/14 19:10:00.69 62ugfuer.net
間抜けな奴の間抜けな状態を言い表す目的には
バカな科学哲学者(科学未経験の素人)の造語を使ってやるのも良い
ただしそれは科学の基準ではない
ただの照明責任論の範疇がほとんど
科学素人のくせに科学に意見するようなバカが
古代ローマ法学に端を発する証明責任論を学んでいるわけがないのよなあw
819:１３２人目の素数さん
23/11/14 19:20:46.36 62ugfuer.net
証明責任の意味すらわかってないのに「ハンショーカノーセー」とか意味もわからずに念仏唱えてるのマジウケるね
820:１３２人目の素数さん
23/11/14 19:21:16.20 62ugfuer.net
論理学満たしてないからそもそも反証可能性なんて関係ねーよ脳障害が
821:１３２人目の素数さん
23/11/14 19:22:20.89 62ugfuer.net
IITは疑似科学だとか批判した人！
疑似科学に謝ってください
疑似科学は論理学は満たしてますがIITは論理学を満たしてません
いくらなんでも疑似科学に失礼すぎますっ！
822:１３２人目の素数さん
23/11/14 19:23:21.84 62ugfuer.net
疑似科学→論理学は満たすが証明責任を果たしてない
IIT→論理学を満たさないし証明責任も果たしてない
一緒にするのは失礼すぎる
823:１３２人目の素数さん
23/11/14 19:30:31.82 62ugfuer.net
>>759
論理的に否定されてないよ
この世界のどこにもこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
824:１３２人目の素数さん
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バージョンだと思われていたようだ。
825:１３２人目の素数さん
23/11/14 20:54:39.87 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
826:１３２人目の素数さん
23/11/14 20:57:21.52 wdJblonV.net
>>759
ただの大規模な力学系だとIITは定義してるよ
脳障害は因果関係の意味すらわかってないから恥晒し
827:１３２人目の素数さん
23/11/14 21:05:39.88 wdJblonV.net
因果関係が生物と関係ない事が分かってないのって
大学で遊び呆けて物理一切やってない自白だよな
828:１３２人目の素数さん
23/11/14 21:08:19.44 fIkUPXJp.net
URLﾘﾝｸ(scholar.google.co.jp)
829:１３２人目の素数さん
23/11/14 21:46:42.02 TbgJpCn0.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
830:１３２人目の素数さん
23/11/14 21:47:23.87 DStQyjN/.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
831:１３２人目の素数さん
23/11/14 21:56:46.39 CzWoFyuH.net
>>794
嘘だよ
>>713 監修が望月新一！
グロタンデュークのZFCGから異世界の
832:IUTへ転落した
833:１３２人目の素数さん
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.
834:１３２人目の素数さん
23/11/14 22:55:26.95 TbgJpCn0.net
IUTが提供するモノイドの新しい幾何学は、一方では離散領域と連続領域の間の緊張を解決するというグロタンディークのプリンシプルと、他方ではp進ホッジ理論とheight理論との間の画期的な出会いの結果として理解され、ディオファントス幾何学と遠アーベル数論幾何学に統一的な枠組みを提供することによって、環-スキームのグロタンディーク幾何学を超える新しい研究フロンティアを開くものである。
835:１３２人目の素数さん
23/11/14 23:19:03.66 +Bb//qj/.net
2021年
京大RIMS 訪問滞在型研究 「宇宙際タイヒミュラー理論の拡がり」
望月新一監修川上量生あとがき加藤文元著
「宇宙と宇宙をつなぐ数学」はHPに掲載された公式本。>>713
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
は公式見解。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
836:１３２人目の素数さん
23/11/14 23:27:07.67 TbgJpCn0.net
>>798
>>716
837:１３２人目の素数さん
23/11/14 23:33:20.53 +Bb//qj/.net
望月新一の、
>>716 と >>713 「全く新しいフレームワークと言語・概念体系を基盤として構築」は矛盾している。
IUTはその場しのぎの類だから、
838:１３２人目の素数さん
23/11/14 23:40:24.69 TbgJpCn0.net
>>800
事実はどうなんだ？
IUTはZFCGから逸脱しているのか？
839:１３２人目の素数さん
23/11/14 23:52:40.62 +Bb//qj/.net
望月監修川上量生あとがき加藤文元の
IUT本はscholze.stixレポートへの回答だね。
何処の方向へお逃げになったのだろうか？
840:１３２人目の素数さん
23/11/15 00:24:00.49 O1VxE2ny.net
>>789
なにそれ
841:１３２人目の素数さん
23/11/15 01:03:44.96 0wu1F69C.net
>>803
IIT
842:１３２人目の素数さん
23/11/15 01:06:41.45 0wu1F69C.net
>>803
IIT4.0とかいうプレプリント出してるけどもう1年経つのにどこも査読通ってないの笑えるやろ
仮定に形而上学入れてる時点でエディターリジェクトされてる事すら理解出来てない
マトモな教育受けてないエディターしかいないレベルの低いジャーナル探してんだろな
そしてマトモない教育受けてないレビュアーに当たるまでジャーナルガチャ回してる
これ科学って呼ぶの？
843:１３２人目の素数さん
23/11/15 01:09:34.32 0wu1F69C.net
掲載拒否されて指摘された点を直さない
あり得ないだろ
844:１３２人目の素数さん
23/11/15 01:13:12.89 0wu1F69C.net
リジェクト履歴と理由を公開すべきだよな
低レベルなジャーナルを探して科学に見せかけるという行為が横行してる
ほならね？？CNSに投稿してみなさいよ
公理とか吠えてデカルトを根拠にした噴飯物のポエムをよ
845:１３２人目の素数さん
23/11/15 01:14:11.87 0wu1F69C.net
科学論文の体裁で仮定に形而上学入れたものを載せた時点でそのジャーナルは終わりだよ
査読プロセスが機能してない
低レベルなエディターと低レベルなレビュアーだらけのザル
846:１３２人目の素数さん
23/11/15 01:16:45.52 0wu1F69C.net
ガチでIIT3.0には「デカルトが「我思う故に我あり」と言ったから意識は1つに統合されていなければならない」という「公理」が書かれてる
マトモなエディターやレビュアーなら即
847:リジェクト レビュアーがちゃんと読んでない低質ジャーナルを探して投稿しまくったんだろうな
848:１３２人目の素数さん
23/11/15 01:17:20.91 0wu1F69C.net
疑似科学だなんて疑似科学に失礼だよ
疑似科学は論理学は守ってるからな
849:１３２人目の素数さん
23/11/15 01:41:09.39 FoPSXnZg.net
IUTに文句言ってる奴は、
圏論屋、基礎論屋、crank
言い換えると、
乞食と統失
850:１３２人目の素数さん
23/11/15 06:48:49.81 +CJ+qARo.net
>>809
該当箇所提示して
851:１３２人目の素数さん
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)
852:１３２人目の素数さん
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.
こんなもん書いてあったらマトモなジャーナルではエディターリジェクト
853:１３２人目の素数さん
23/11/15 07:47:05.04 0wu1F69C.net
で>>814のように「我々の認識はこうなってる」などという公理をスタートにしたら
決定論的相互作用(因果関係)のある全ての物質塊に対して計算されるΦなる数値が定義される
それが死んでようが物質塊だろうが区別しないので論文の初めと終わりで「意識」の指す内容が変化してる
854:１３２人目の素数さん
23/11/15 07:48:40.07 0wu1F69C.net
ただの物質塊でも当てはまることを批判されたら「その場合は該当しない」「神経系のサイズに限る」などと後からアドホックな仮説を垂れ流すだけ
この「理論」は意識の要素とやらが全く含まれてない
855:１３２人目の素数さん
23/11/15 07:49:54.85 0wu1F69C.net
なお「この範囲がΦという数値を計算できる対象である」という完全版はこの世界に未だに存在したことがない
完全な「アドホックな仮説」
証明責任の放棄だってわかってない
856:１３２人目の素数さん
23/11/15 07:55:19.46 0wu1F69C.net
Φを維持したまま神経回路をランダムに入れ替えれば
一般的には意識など無いとされる状態に出来るが
Φはそれを測れない
この可能性を排除するような条件はアドホックな仮説でも出すことは不可能だから逃げ続けるしかない
ほんの少しでも意識の理論なんて考えようとしたらこのくらい考えてから構築するもんだが
最も思慮が浅いので最も愚かな珍説を最も先に出しただけというね
857:１３２人目の素数さん
23/11/15 07:59:40.09 0wu1F69C.net
信号が情報としてやり取りされてて因果関係の「大きさ」さえ測れれば意識の大きさが測れるという妄想なので
脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る
このグループは因果関係というものの意味を全く理解していないらしい
858:１３２人目の素数さん
23/11/15 08:01:50.94 0wu1F69C.net
つまり理論の対象が脳神経細胞に限るという後だしジャンケン(アドホックな仮説)を追加しても
「脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る」
という批判には一切対応できてないし
対応できる可能性も無い
859:１３２人目の素数さん
23/11/15 08:04:07.21 0wu1F69C.net
つまりパソコンの消費電力でパソコンの性能を測ろう程度の極めて幼稚な空想に過ぎない
CPUが壊れてて消費電力は大きいのに全く計算できないみたいな状況すらカバーしてない
理論になってない役立たずの妄想
860:１３２人目の素数さん
23/11/15 08:05:07.67 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
861:１３２人目の素数さん
23/11/15 08:15:57.51 0wu1F69C.net
人によって解釈が異なる単語を論理学の対象に出来ると思ってる時点で100年前の論理学のレベルにすら達してない
教育制度の失敗であるし
論文査読制度の失敗でもある
基本を身につけてない奴が基本を身につけてないレビュアーを
多数回様々なジャーナルに投稿し続けて引き当てれば「サドクズミ論文」になれる
中身を読まない素人はそれで騙されるという寸法
862:１３２人目の素数さん
23/11/15 08:17:29.95 0wu1F69C.net
なおIIT4.0なるプレプリントがあるが未だにジャーナルガチャを引き終えていないらしい
863:１３２人目の素数さん
23/11/15 08:19:46.26 0wu1F69C.net
マトモな科学って人によって解釈が異なる単語に対して
誰がみても変わらない定義をとりあえず与えてから論理を始めるんだけど
普段から論文を読めてないんだろうな
斜め読みというか
読んだつもりになってるだけ
864:１３２人目の素数さん
23/11/15 08:21:32.84 0wu1F69C.net
なぜ論理の対象に出来るのは集合に限られるのか考えた事すらないんだろうなあ
865:１３２人目の素数さん
23/11/15 08:24:12.16 0wu1F69C.net
・爆発律を防ぐには言及するたびに内容が変化する言葉は禁止しなければならない
・集合論的パラドックスを防ぐには自己そのものを自己言及と区別できるよう型理論や集合族の概念などの仕組みを用いなければならない
たったこれだけのことすら学んでない奴らが意識ねえ…
大学で何学んだの？
866:１３２人目の素数さん
23/11/15 12:53:56.83 0wu1F69C.net
消費電力でPCの性能測れるぜ！
↓
ほな電気ストーブの方が「高性能」ですなぁw
↓
じゃあ電気ストーブは禁止してCPUやメモリを積んだコンピューターに制限するぜ！
↓
ほなCPU壊れてても「高性能」ですなぁw
↓
逃亡
因果関係の大きさで意識の強さ測れるぜ！
↓
ほな塩化ナトリウム結晶の方が「高性能」ですなぁw
↓
じゃあただの物質は禁止して脳神経細胞に制限するぜ！
↓
ほな神経回路の接続壊れてても「高性能」ですなぁw
↓
逃亡
どれだけ頭悪いんだこいつら
誰もこれを指摘しないというのがヤバすぎる
867:１３２人目の素数さん
23/11/15 12:54:32.52 0wu1F69C.net
十分条件という概念を知らないレベルだこれ
868:１３２人目の素数さん
23/11/15 13:19:39.46 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
869:１３２人目の素数さん
23/11/15 17:49:33.66 0wu1F69C.net
例えばディープニューラルネットワークを持ってきたとして
そのAIの性能指標に「ノード間の因果関係の強さの総計」を採用したとしよう
この数値にどんな意味があるか？
そのAIがどれだけ学習不足でどれだけ正解率が低くても内部ノードの因果関係が強い状態など無数にあり得るということだ
無意味な情報を無意味なループで内部で回すだけで因果関係など幾らでも強くすることが出来る
せめて因果関係を意味ある指標にしたいならそのAIにやってほしいタスクの正解を結果として
そのAIへの入力を原因としたときだろ
でもそれで取れる情報は正解率と同じだからやる価値は無いんだけどねw
因果関係なんてもんに着目した時点であり得ないくらいに頭が悪い
870:１３２人目の素数さん
23/11/15 18:18:12.08 0wu1F69C.net
結局のところ人間の意識の強さ・大きさとやらを測りたければ
「人間ならば出来るはずのこと」を結果として正解率を見ればいいので
それはチューリングテストそのものなんだよなあw
基礎論を知り尽くしたチューリングが「これで必要十分」と考え抜いたものを
なんで大学時代に遊び呆けて100年前の論理学すら学んでない怠け者の馬鹿どもが楯突いてるのか
全く意味がわからない
学んでないから思慮が浅いだけってわからんところがすごい
871:１３２人目の素数さん
23/11/15 20:22:51.15 N
872:7aYaa9r.net
873:１３２人目の素数さん
23/11/15 20:35:28.11 0wu1F69C.net
>>833
知能が低過ぎてチューリングテストの意味を理解できてないんだろうなお前は
テストするべきは「全ての問題」だ
この世に存在するありとあらゆる理論上想定し得る全ての問いが人間の意識を測る指標となる
そして有限の問題数では確率的にそれがわかるということ
バカどもは量化子という概念を知らないのでテキトーに並べた言葉が「全ての」なのか「ある」なのか読めてない
まあ発達障害も混じってるんだろうな
当然ながらチューリングテストが意味するのは「全ての」であり、リソースが有限なので「確率的にわかる」しか論理的にあり得ない
874:１３２人目の素数さん
23/11/15 20:36:33.19 0wu1F69C.net
GoogleでAIに意識あるとか吠えてクビになったアホはここがわかってない
量化子を読み取れない発達障害は雇用したら終わり
875:１３２人目の素数さん
23/11/15 20:37:01.01 0wu1F69C.net
アホの思いついた設問じゃテストになんねーのは量化子わからんと自白してるようなもん
876:１３２人目の素数さん
23/11/15 20:40:36.03 0wu1F69C.net
発達障害が量化子とか十分条件を理解できないのってなんでなんだろうな？
877:１３２人目の素数さん
23/11/15 20:55:45.42 0wu1F69C.net
頭が悪い人たちにノルマを課して成果主義を導入すると
過去に確立した歴史すら学ばず全く無意味な「新発見」をするので
頭が悪い人たちは寝ててくれないかな？
社会資源を浪費しないでくれ
878:１３２人目の素数さん
23/11/15 20:59:25.84 0wu1F69C.net
定義域が「全ての論理的可能性」であってその中からサンプリング調査するしかないのでサンプル数と分布が問題となる
それなのにバカな奴がテストを考えるとこうなる
URLﾘﾝｸ(x.com)
言語モデルのテスト作った奴が居るけどテストがマヌケすぎてテストになってないという晒し
頼むからバカは何もしないでくれた
この世界に害しか及ばさない
出来たら呼吸も止めてくれ
879:１３２人目の素数さん
23/11/15 21:00:39.48 0wu1F69C.net
量化子・必要十分条件みたいなものがわからんアホが卒業出来る大学ってなんなんw
その一点がダメなら卒業させんなよ
880:１３２人目の素数さん
23/11/15 21:17:57.06 N7aYaa9r.net
>>834
チューリングテストの類似問題の中国人の部屋のほうが適切だと思うんやな。
「全ての問題」にまでするんなら
881:１３２人目の素数さん
23/11/15 21:19:47.32 N7aYaa9r.net
>>840
イプシロンデルタ論法の二階論理よりも単射全射準同型射準同型定理のほうが数学科なんやな（笑）。
882:１３２人目の素数さん
23/11/15 21:33:01.84 0wu1F69C.net
>>841
「中国人の部屋」はサールが無知なので笑えるよな
「全ての問題」に対して「処理時間」を測ればアルゴリズムやアーキテクチャの違いが問題に対する処理時間で判別できる
サールの知識ではこのレベルの発想は出来ないが計算量理論では常識
ああいう無知の妄想を何か意味のあることだと思えてしまうのは発達障害特有
883:１３２人目の素数さん
23/11/15 21:34:25.06 Uu0Y2Bm/.net
馬の鼻先に人参をぶら下げる
川上さん
IUTに人参つけた
みなさん、頑張ってくださいと
IUT否定肯定、どちらに転んでも
100万ドル（1.5億円）
さてさて、どうなることか
URLﾘﾝｸ(www.weblio.jp)
Weblio 辞書 > 辞書・百科事典 > 日本語表現辞典 > 馬の鼻先に人参をぶら下げるの意味・解説
馬の鼻先に人参をぶら下げる
馬の鼻面に人参をぶら下げ�
884:ﾄ、馬の食欲をそそる、すると人参好きの馬は人参に食いつこうとして前進する、人参は馬に括りつけられているため馬と共に移動する、馬はなんとか食いつこうとして全力で走る、といったステレオタイプなイメージを表した言い方。 人参が馬の大好物である、人参を前にすると馬は盲目的に走り続ける、といった事柄は、ステレオタイプで多分に漫画的なイメージであり、必ずしも事実と一致しない。 「馬の鼻先に人参をぶら下げる」の表現は、やる気を示さない者に対して褒美をちらつかせることで奮起させる、といったことの喩えとして用いられることも多い。 （2013年2月13日更新）
885:１３２人目の素数さん
23/11/15 21:35:16.32 0wu1F69C.net
>>842
生物系で中学校レベルの証明問題すら出来なさそうなヤバい奴に学位を与えてるのは問題だよ
886:１３２人目の素数さん
23/11/15 21:38:15.66 0wu1F69C.net
別に100年前の論理学を知らなくても計算量理論を知らなくても罪ではないかもしれないが
知りもしないのに思いつきの妄想を垂れ流すのは大罪だろ
887:１３２人目の素数さん
23/11/15 21:56:38.86 EdFoLxb6.net
URLﾘﾝｸ(o.5ch.net)
888:１３２人目の素数さん
23/11/15 21:58:10.59 EdFoLxb6.net
チューリングゎ、最期にベッドの上で真っ赤な林檎を持って服毒自殺してたってほんと?めぅ🍎
889:１３２人目の素数さん
23/11/15 22:00:15.61 EdFoLxb6.net
🌈虹色チューリングゎソ連のスパイを疑われて迫害されて追い詰められてしんじゃったってほんと?
890:１３２人目の素数さん
23/11/15 22:01:45.62 EdFoLxb6.net
チューリング、ビューティフル・マインド🌈なジョン・ナッシュに似てる…似てなぃ？
891:１３２人目の素数さん
23/11/15 22:05:26.41 EdFoLxb6.net
ﾓﾁﾋﾟ、ちゅぅりんぐ大先生の本、買ってます!
‥にゃぴ、ちゅﾆｷゎ、顔が四角くてサイディスに似てると思った。(小並)
892:１３２人目の素数さん
23/11/15 22:09:51.45 EdFoLxb6.net
ちゅﾆｷ、ちゃんと美女に転生して幸せになってмa✞Hかね…
URLﾘﾝｸ(o.5ch.net)
893:１３２人目の素数さん
23/11/16 00:03:06.52 l7+A+mYl.net
今 ”work in progress” の " local-global Section Conjecture " の証明は、birational版ですか？
894:１３２人目の素数さん
23/11/16 07:02:50.99 HrkhmxWV.net
IUTは似非数学ですか？トンデモですか？
IUTとその周辺は砂上の楼閣です
895:１３２人目の素数さん
23/11/16 17:09:28.21 HrkhmxWV.net
>>640
PRIMS編集が論文を受理しないなら編集委員会は理由を明確に
説明すべきです。
望月IUT論文の場合。
まずRIMSは望月新一著IUT論文を現況調査票でも特別扱いをしていた。
京大RIMSの数学誌PRIMSの編集は委員が身内のRIMS教授で望月新一教授が
編集長です。
望月IUTは集合からダブルスタンダードで矛盾していますが、
望月ブログで「内部告発」がありしばらく後にPRIMSはIUT論文を受理しました。
896:１３２人目の素数さん
23/11/16 20:56:20.63 QT6bH7FC.net
引退後も在野で研究 「楽しいから」90歳過ぎても意欲：日本経済新聞
URLﾘﾝｸ(www.nikkei.com)
" 数学のノーベル賞と呼ばれるフィールズ賞を受賞した広中平祐・京大名誉教授は80歳近くになって研究を復活させた。受賞業績となった多様体の特異点の解消がテーマだ。この問題について自らの論文を超す成果が出ていないことに奮い立ち、紙と鉛筆を持ち歩いてアイデアを練った。「こんなに楽しい学問はないと思う」と語る。"
897:１３２人目の素数さん
23/11/18 03:12:02.10 Zntj/SOJ.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]).
最近アップデートされた
As was already reported in [Hos21b], a “Galois-orbit version of Inter-universal Teichmüller theory” is expected to yield decisive progress on the local-to-global Grothendieck Section Conjecture – for an introduction, see [Saï12] and [Hos14].
birational版ではないようだ。
898:１３２人目の素数さん
23/11/18 03:14:35.68 Zntj/SOJ.net
URLﾘﾝｸ(collas.perso.math.cnrs.fr)
Anabelian Arithmetic Geometry - A new geometry of forms and numbers: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Revised version Nov. 2023 [PDF]
899:１３２人目の素数さん
23/11/18 09:18:04.18 RF3RO5Si.net
無駄な宣伝などせず、責任をとって辞任するべきだ
900:１３２人目の素数さん
23/11/18 09:35:10.98 5PkmiVHn.net
着々と進んでいっとるなぁ
901:１３２人目の素数さん
23/11/18 10:32:05.15 Cfxsgflr.net
>>858
IUT文学が発展してるなあという印象しかない
902:１３２人目の素数さん
23/11/18 11:15:03.76 VJ+mGZUx.net
文学に発展はあるか
903:１３２人目の素数さん
23/11/18 18:37:25.48 VJ+mGZUx.net
文学より音楽に近いかも
904:１３２人目の素数さん
23/11/19 07:40:05.00 SzNkD+XO.net
文学でも音楽でもなく
犯罪でしょう
905:１３２人目の素数さん
23/11/19 08:40:32.32 1bf6PfHC.net
東野圭吾であれば
現在の最新刊は、
・単行本：『ブラック・ショーマンと覚醒する女たち』(2024/1/24発売)
・文庫本：『ブラック・ショーマンと名もなき町の殺人』(2023/11/14発売)
になります。
906:１３２人目の素数さん
23/11/20 10:46:30.00 laorme5z.net
>>858
スレ主です
ありがとうございます。
それいい
”P16 § Universe, Species & Logical Structure.”
が、特に良かった
URLﾘﾝｸ(collas.perso.math.cnrs.fr)
ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF
FORMS AND NUMBERS: Inter-universal Teichmüller theory or
“beyond Grothendieck’s vision”
Benjamin Collas‡ Version 11/15/2023
P16
§ Universe, Species & Logical Structure.
907:１３２人目の素数さん
23/11/20 10:55:33.00 k1Fh6Dvb.net
LiteratureのLogical Structureとは
908:１３２人目の素数さん
23/11/20 13:05:10.49 laorme5z.net
>>867
>LiteratureのLogical Structureとは
下記かな
URLﾘﾝｸ(collas.perso.math.cnrs.fr)
P16
§ Universe, Species & Logical Structure.
The foundational basis of IUT geometry can be approached at two distinct levels: an “external”one that deals with the proper and logical articulation of sequences of statements,
and an “internal”one that ensures the correct interaction of objects, morphisms, categories, and functors that appear
in the theory.
As presented in detail and in multiple contexts in [EssLgc], the former “external one” boils down to a sequence of logical “OR” and “AND” relations
– we refer to § 3. The logical structure of inter-universal Teichmüller theory ibid.
＜google訳＞
IUT ジオメトリの基礎は 2 つの異なるレベルでアプローチできます。1 つはステートメントのシーケンスの適切かつ論理的な表現を扱う「外部」レベルです。
もう 1 つは、表示されるオブジェクト、射、カテゴリ、関手の正しい相互作用を保証する�
909:u内部」ものです。 理論では。 [EssLgc] で複数のコンテキストで詳細に説明されているように、前者の「外部のもの」は、要約すると、一連の論理「OR」および「AND」関係になります。 – § 3 を参照します。同上、宇宙間タイヒミュラー理論の論理構造。
910:１３２人目の素数さん
23/11/20 13:09:06.76 k1Fh6Dvb.net
>>868
外部の論理と内部の論理の二重構造とか何でもありじゃないか
911:１３２人目の素数さん
23/11/20 16:41:36.86 hGeNN55n.net
ふふ、ガタリ流ポストモダン、反則技、オカルト
912:１３２人目の素数さん
23/11/20 22:38:23.87 yBR5V05G.net
" Granville and Stark (Invent. Math. 139 (2000), 509-523) proved that a uniform version of the abc conjecture for number fields eliminates Siegel zeros for L-functions associated with quadratic characters of negative discriminant. "
この ”uniform version of the abc conjecture” とはどういうものでしょうか？
913:１３２人目の素数さん
23/11/21 05:59:04.58 kwf8MZcO.net
高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、おすすめの可換環論の教科書はどれですか？
914:１３２人目の素数さん
23/11/21 07:42:36.27 3xodxCCR.net
>>868
教祖様のお言葉の引用が過剰でカルト臭いですね
改訂で出版verにはなかった仮想敵対勢力への攻撃（例「RCS」）が
加わっているのはどうしてでしょうか？
915:１３２人目の素数さん
23/11/21 09:43:25.15 v2IpFmUg.net
>>872
アティマクで十分
916:１３２人目の素数さん
23/11/21 11:07:27.33 Gy0Enbv8.net
>>871
>この ”uniform version of the abc conjecture” とはどういうものでしょうか？
Granville, Andrew; Stark, H. (2000)のPDFが下記にあるので
それを見るのが早そうです
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
得られる結果の例
ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点（英語版）を持たないこと
正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。(Granville & Stark 2000)。
URLﾘﾝｸ(dms.umontreal.ca)
Granville, Andrew; Stark, H. (2000). “ABC implies no "Siegel zeros" for L-functions of characters with negative exponent” (英語) (pdf). Inventiones Mathematicae 139: 509–523 2021年3月5日閲覧。
P1
The uniform abc- conjecture for number fields. For any given ε>0 ,
略
ついでに
URLﾘﾝｸ(www.ams.org)
Granville, Andrew; Tucker, Thomas J. (2002). “It’s As Easy As abc” (英語) (pdf). Notices of the AMS 49 (10): 1224–1231 2021年3月5日閲覧。. - 著者の1人であるThomas J. Tuckerは、Thomas W. Tuckerの息子である。
ついでに
URLﾘﾝｸ(en.wikipedia.org)
Siegel zero
"No Siegel zeros" for D < 0
Lower bounds for h(D)
This can be extended to an equivalence, as it is a consequence of Theorem 3 in Granville–Stark (2000):[16]
Using this, Granville and Stark showed that a certain uniform formulation of the abc conjecture for number fields implies "no Siegel zeros" for negative discriminants.
Comple
917:x multiplication The number j(τD) generates the Hilbert class field of Q (√D), which is its maximal unramified abelian extension.[18] This equivalence is a direct consequence of the results in Granville–Stark (2000),[16] and can be seen in C. Táfula (2019).[19]
918:１３２人目の素数さん
23/11/21 20:46:06.12 u+ni2dPr.net
Táfula氏と辻村氏はフィールズ賞かな。
919:１３２人目の素数さん
23/11/21 21:35:45.00 yMejUL+P.net
>467/2023.6.14.07
モチーが京都賞ってマジか？

>468 /2023.6.14.08
モッチーおめ
実際はデマ。
望月IUTTは京都賞にかすりもしなかった。
920:１３２人目の素数さん
23/11/21 21:36:41.41 yMejUL+P.net
>467/2023.6.14.07
モチーが京都賞ってマジか？

>468 /2023.6.14.08
モッチーおめ
実際はデマ。
望月IUTTは京都賞にかすりもしなかった。
921:１３２人目の素数さん
23/11/21 21:41:58.08 9eYgPv8Z.net
もっちーの業績は、
abc予想の証明
エラい強いeffective abc不等式の導出
セクション予想の証明
ジーゲル零点の非存在の証明
これだけでも学士院 恩賜賞30個分くらいの価値がある。
922:１３２人目の素数さん
23/11/22 01:11:22.13 Q1Eb38BF.net
ZFCG体系を丸ごと学ぶには何読めばいい？
923:１３２人目の素数さん
23/11/22 03:44:07.47 CmHC6jFq.net
>>879
八百長の京大数理研は解散が妥当だ。
IUTによるabc予想の証明は八百長。
京大数理研ではabc予想の証明が目的のIUT論文の査読中に、望月新一に よる「宇宙際
タイヒミューラー理論」の構築とその結果としてのABC予想の解決は、特筆すべき
出来事である。」と現況調査表に明記した。
京大数理研はabc予想が証明される前からabc予想が解決したと自画自賛しており
これはabc予想が証明されることは予定調和の八百長をしめしている。

更に京大数理研は「所員の発表論文数は査読付き論文のみ」 と査読付き論文のみ評価し
IUT論文とダブルスタンダードである。
924:１３２人目の素数さん
23/11/22 03:55:55.00 CmHC6jFq.net
>学士院 恩賜賞
IUTは数学よりポストモダンでなんでもありと指摘されている。
ここはオカルト応援スレだが、
学士院 恩賜賞はポストモダンでなんでもありのIUTは受賞対象にならないなあ〜
925:１３２人目の素数さん
23/11/22 06:24:15.68 ikAu9LZk.net
>>872
＞高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、
その前に線形代数を勉強して、抽象的な代数系にまず慣れてくださいね
高校まで「数学が得意」と言っていた連中が、
大学１年の線形代数で落ちこぼれるのは
定番コースですから
926:１３２人目の素数さん
23/11/22 06:26:26.46 ikAu9LZk.net
Atiyah-Macdonaldが読めないとしたら、
そもそも数学書の読み方が間違ってる、ということ
927:１３２人目の素数さん
23/11/22 06:58:44.92 bEYKiwgK.net
柏原や森がIUT成立を本当に認めているのなら
とっくに学士院賞くらい出てるでしょう
そうでないということは、、、
928:１３２人目の素数さん
23/11/22 15:55:15.93 +zITdyK/.net
>>881
まだお前は粘着してんのか？
文科省現況調査票厨房
このスレはお前の自作自演で成り立ってるのか？
929:１３２人目の素数さん
23/11/22 17:12:01.47 dSK2TZuP.net
やおちょー連呼マンかわいちょー
930:１３２人目の素数さん
23/11/22 17:12:21.66 dSK2TZuP.net
かわいちょ↓
931:１３２人目の素数さん
23/11/22 17:36:10.05 CmHC6jFq.net
>>886
公文書が致命傷w
チーン ♪〜
932:１３２人目の素数さん
23/11/22 20:38:27.07 c4fxVfXN.net
高校数学レベルの人に松村 可換環論は無理ですか。
933:１３２人目の素数さん
23/11/22 22:05:07.40 Mxd9kqW2.net
>>887-889
もう可換図式をチェイシングアローな矢追の数理は高専レベルの数理テクニックとして教えてもいいと思う。
934:１３２人目の素数さん
23/11/22 22:29:40.53 lcgK
935:61D0.net
936:１３２人目の素数さん
23/11/23 02:13:25.04 i5bAjERQ.net
八百長の京大数理研は解散が妥当だ。
937:１３２人目の素数さん
23/11/23 03:14:38.16 WS04GTnC.net
>>886
> 文科省現況調査票
罵倒厨房さん、
何コレ？具体的に示せよ
938:１３２人目の素数さん
23/11/23 05:34:22.93 w29jwnfs.net
やおちょー連呼マンは なんでいちいちIDコロコロすんの？
939:１３２人目の素数さん
23/11/23 06:32:48.78 6UeiqMVL.net
パラダイム現況調査票バカはいつも同じワードとテイストだからわかりやすいアホ
940:１３２人目の素数さん
23/11/24 06:43:37.12 2PiP2FUG.net
STAPスキャンダルからIUTスキャンダルへ
このスレは罵倒 もみ消しのIUTcultのサティアン
941:１３２人目の素数さん
23/11/27 03:19:40.28 E0/OAM2m.net
数学用語でglue とか glueing はどういう意味ですか。
942:１３２人目の素数さん
23/11/28 04:15:15.82 JKz+jEz3.net
>>897
There is no such thing called IUT Scandal.
943:１３２人目の素数さん
23/11/28 08:31:20.99 iOIgSpZk.net
>>899
by IUT SECT ( cult)
944:１３２人目の素数さん
23/11/30 00:28:44.58 t3bpmvFx.net
確かにな、確かに当スレのSetAみたいな理解意欲完全メクラな信者や
ネット世間で知名度が有るmath_jinとかKirti_Joshiとかの奉神論ぶちかます盲信者
でも此のスレには、もう一つが居た
査読絶対正義主義者が
アイツ、何なんだ？
人を罷め雄馬と雌鹿の仔も罷め便所虫も罷め
金汁大好きボツリヌストキシン大量発散照射飲尿便食菌と成った
当スレ現スレ過去スレ全設立初スレ創立の数学板穢れ
現示に対して、少女Aに成れずに、老人Aにも成れずに
945:１３２人目の素数さん
23/11/30 00:56:56.42 JXKkFIJZ.net
悪口が長いよ〜
946:１３２人目の素数さん
23/11/30 19:07:59.47 t3bpmvFx.net
確かにmath_jinとかKirti Joshiとか此のスレのSetAとかみたく
論拠ではなく私利私欲好適主張や個人的好感主張を論拠不足であっても
自己欺瞞的信用に基き盲信迎合する、論理学・数学・理学に背いた観念の連中の率がIUT肯定派の中には多いな｡
他にも査読絶対正義主義、此のスレでも居たよな。何度もキャラ変してるダブルスタンダード二枚舌野郎｡
特に此のスレのこいつは、出現当初は知った風な口を聞いてやがったのに、後に成って部外者ぶり始め､
今年なんかは内部関係者と知人とか言って
スレ閲覧者の中の疑う事を知らん層に尤もらしく思わせるレスしてたよな｡
査読が絶対に正しいとか言うなら全資産を担保に肯定を主張出来ると云う主張の含意に成るのも知らん、随分と半端な絶対認定してやがったよな｡
こいつも論拠じゃなくて査読を盲信する自己流下馬評論説者でやがった｡
部外者で碌な肯定者が居ねぇでやんの。どいつもこいつも東日本大震災以前の原発絶対安全論者どもと変わりゃしねぇ奴等ばっか｡