論理の表現論 - 暇つぶし2ch

論理の表現論 at MATH

4:１３２人目の素数さん
25/11/14 18:41:45.83 YPqH/NX8.net
表現って普通準同型だろ

5:１３２人目の素数さん
25/11/14 19:30:43.78 VNo2ZDKB.net
>>4
え？

6:１３２人目の素数さん
25/11/14 19:36:41.95 yByDctPI.net
>>4
線形作用素ってベクトル空間の準同型のことだよ？

7:１３２人目の素数さん
25/11/14 19:54:55.60 oVVUh5lh.net
【悲報】無職爺、準同型すら知らないことが判明

8:１３２人目の素数さん
25/11/14 20:15:49.78 7Go8lprU.net
逆に、数理論理のほうで加群やスキームみたいに相対的構成はないの？命題Pを固定してP上の論理みたいなの。基底変換とかもできる

9:１３２人目の素数さん
25/11/15 21:21:01.20 60UWH5U7.net
できるぞ

10:１３２人目の素数さん
25/11/16 16:29:01.67 hsxSBSy8.net
含意→線形作用素V→W
ｗｗｗ

11:１３２人目の素数さん
25/11/16 16:30:39.54 hsxSBSy8.net
H: ヒルベルト空間
ｗｗｗ

12:１３２人目の素数さん
25/11/16 18:08:12.25 hsxSBSy8.net
馬鹿発見
【悲報】無職爺、準同型すら知らないことが判明

13:１３２人目の素数さん
25/11/17 04:03:17.45 /Avgu7mJ.net
ふつうに存在する研究分野だ

14:１３２人目の素数さん
25/11/17 16:46:25.90 hqUUL6t+.net
群の表現
Gを群、Mを集合として、GがMに作用している、群作用：GXM->Mが存在する

15:１３２人目の素数さん
25/11/17 16:48:44.15 hqUUL6t+.net
論理の表現
L：論理、H：ヒルベルト空間として、論理作用LXM->Mが存在する

？？？

16:１３２人目の素数さん
25/11/17 17:39:30.13 IGwkz8CN.net
アホすぎて返す言葉も無い

17:１３２人目の素数さん
25/11/17 17:49:44.74 hqUUL6t+.net
ハイ、論破

18:１３２人目の素数さん
25/11/17 18:15:21.82 i+iRhAoa.net
>>14
群作用と群の表現の区別もついてないアホ

19:１３２人目の素数さん
25/11/17 18:38:55.32 ooahoP13.net
調べりゃすぐに出てくることをどうして調べないのだろう
馬鹿だからかな

20:１３２人目の素数さん
25/11/17 19:54:18.11 hqUUL6t+.net
効いてるな

21:１３２人目の素数さん
25/11/17 20:39:08.21 Ti19BIKw.net
関係あるか知らんけど、線形論理というのがあるらしい

22:１３２人目の素数さん
25/11/17 20:43:09.41 hqUUL6t+.net
フェィクじゃないのかｗ

23:１３２人目の素数さん
25/11/17 22:03:00.80 6GcK0pI6.net
線型論理や量子論理で調べればいくらでも出てくる

24:１３２人目の素数さん
25/11/18 07:52:00.73 TSC+7P8k.net
へぇ