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