Inter-universal geometry と ABC予想 (応援スレ) 78

Inter-universal geometry と ABC予想 (応援スレ) 78at MATH

Inter-universal geometry と ABC予想 (応援スレ) 78 - 暇つぶし2ch620:１３２人目の素数さん
25/11/26 23:33:01.07 bfR/IgtM.net
>>598
>２）”高階述語論理と圏論の対応: 高階述語論理における論理的な操作は、圏論の射の合成といった構造と対応させることができます。例えば、集合論を基盤とする高階述語論理は、圏論における集合の圏と関連が深いです”（AI による概要）
何言ってんのか
よく分かりません

次ページ

続きを表示

1を表示