野に咲く名無し@転載禁止<>135f5b3c<>2024/09/02 (月) 23:33:19.306 ID:O5Kzj1FKG主<>チャットGPTとお話して、完全に理解したから農奴と共有したいんだけど、いい？&#129303;<>ぷゆ宇宙際IUT理論の問題点について完全に理解した&#128525;
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:36:04.496 ID:UJK8NUVpG<>&#128585;<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:36:46.049 ID:onA02u1Jw<> <a class="ank rep-3" href="/?st=2#tulipplantation/1725287599/">&gt;&gt;2</a><br>聞かざるさんも聞きにきてんね<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:37:43.962 ID:O5Kzj1FKG主<>なんかね、圏論ではFunctorっていう 2つの圏の間のマッピングする考えがあるんだけど、<br>マッピングに一貫性を持たせるために厳密な定義があるんだって<br>でも、望月先生が独自に定義したθ-リンクっていうのは定義が不十分で、マッピングする際に<br>一貫性が担保されるか不明なんだって<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:38:29.021 ID:O5Kzj1FKG主<>その部分を、ゆうめいな数学者のひとが指摘してるんだって<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:39:27.468 ID:onA02u1Jw<>ふむ…ぷゆの考えと大体同じですね??<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:39:47.254 ID:O5Kzj1FKG主<>わかった？ぷゆは完全に理解したよ&#129303;<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:40:13.993 ID:O5Kzj1FKG主<>IUT理論の証明がファンクターのような性質を暗黙のうちに仮定しているにもかかわらず、その仮定が証明されていない、あるいは十分に説明されていないという点にあります。彼らは、<br>&#120579;<br>θ-リンクが本当にファンクターの性質を持っているかどうかが証明されていないため、IUT理論の証明が論理的に不完全である可能性があると指摘しています。<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:40:16.346 ID:pI2B8zfaM<>&#129402;θﾞﾞｳﾞｲｨｨｨｨﾝ<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:40:16.517 ID:R8UcbMB6E<>やっぱりな、ワイも常々そう思ってたわ<>
野に咲く名無し@転載禁止<>??<>2024/09/02 (月) 23:41:41.979 ID:cQbqM6Z70<>なるほど<br>それってまんこついてる？<>
野に咲く名無し@転載禁止<><>2024/09/02 (月) 23:44:15.803 ID:O5Kzj1FKG主<>なんかこう、既存してるにも関わらず、新しいかっこいい名前の概念を作り出して<br>これならうまくいく言ってるんだけど、なんかそれの動作が怪しげだっていう話だよ&#129303;<br>たぶん<br>なんか状況教材のナンパ術みたいな感じだよ&#129303;<>
野に咲く名無し@転載禁止<><>2024/09/03 (火) 00:15:09.880 ID:ML3o9Joyk<>ABC予想の証明に使われたけど望月教授意外誰も理解できない奴でしょ？<>
野に咲く名無し@転載禁止<><>2024/09/03 (火) 00:24:17.380 ID:3IaHbJ3I0<>プログラミングの調べ物してたら圏論でできてはわわわってなるやつ<>
野に咲く名無し@転載禁止<><>2024/09/03 (火) 00:25:04.397 ID:c2pnxBo23<>忘却関手&#128518;<>