チャットGPTとお話して、完全に理解したから農奴と共有したいんだけど、いい？🤗
🙉
>>2
聞かざるさんも聞きにきてんね
なんかね、圏論ではFunctorっていう 2つの圏の間のマッピングする考えがあるんだけど、
マッピングに一貫性を持たせるために厳密な定義があるんだって
でも、望月先生が独自に定義したθ-リンクっていうのは定義が不十分で、マッピングする際に
一貫性が担保されるか不明なんだって
その部分を、ゆうめいな数学者のひとが指摘してるんだって
ふむ…ぷゆの考えと大体同じですね??
わかった？ぷゆは完全に理解したよ🤗
IUT理論の証明がファンクターのような性質を暗黙のうちに仮定しているにもかかわらず、その仮定が証明されていない、あるいは十分に説明されていないという点にあります。彼らは、
𝜃
θ-リンクが本当にファンクターの性質を持っているかどうかが証明されていないため、IUT理論の証明が論理的に不完全である可能性があると指摘しています。
🥺θﾞﾞｳﾞｲｨｨｨｨﾝ
やっぱりな、ワイも常々そう思ってたわ
なるほど
それってまんこついてる？
なんかこう、既存してるにも関わらず、新しいかっこいい名前の概念を作り出して
これならうまくいく言ってるんだけど、なんかそれの動作が怪しげだっていう話だよ🤗
たぶん
なんか状況教材のナンパ術みたいな感じだよ🤗
ABC予想の証明に使われたけど望月教授意外誰も理解できない奴でしょ？
プログラミングの調べ物してたら圏論でできてはわわわってなるやつ
忘却関手😆