論理の表現論 (24ﾚｽ)
論理の表現論 http://rio2016.5ch.net/test/read.cgi/math/1763100928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2025/11/14(金) 15:15:28.97 ID:QhYH2uX3 論理を線形代数で表現することについて http://rio2016.5ch.net/test/read.cgi/math/1763100928/1
2: １３２人目の素数さん [] 2025/11/14(金) 15:21:22.97 ID:uZOyX/qp H: ヒルベルト空間 命題→部分空間V⊂H 含意→線形作用素V→W 否定→直交補空間V^⊥ and→V∩W or→V + W http://rio2016.5ch.net/test/read.cgi/math/1763100928/2
3: １３２人目の素数さん [sage] 2025/11/14(金) 16:12:59.56 ID:YPqH/NX8 働け http://rio2016.5ch.net/test/read.cgi/math/1763100928/3
4: １３２人目の素数さん [sage] 2025/11/14(金) 18:41:45.83 ID:YPqH/NX8 表現って普通準同型だろ http://rio2016.5ch.net/test/read.cgi/math/1763100928/4
5: １３２人目の素数さん [] 2025/11/14(金) 19:30:43.78 ID:VNo2ZDKB >>4 え？ http://rio2016.5ch.net/test/read.cgi/math/1763100928/5
6: １３２人目の素数さん [] 2025/11/14(金) 19:36:41.95 ID:yByDctPI >>4 線形作用素ってベクトル空間の準同型のことだよ？ http://rio2016.5ch.net/test/read.cgi/math/1763100928/6
7: １３２人目の素数さん [] 2025/11/14(金) 19:54:55.60 ID:oVVUh5lh 【悲報】無職爺、準同型すら知らないことが判明 http://rio2016.5ch.net/test/read.cgi/math/1763100928/7
8: １３２人目の素数さん [] 2025/11/14(金) 20:15:49.78 ID:7Go8lprU 逆に、数理論理のほうで加群やスキームみたいに相対的構成はないの？命題Pを固定してP上の論理みたいなの。基底変換とかもできる http://rio2016.5ch.net/test/read.cgi/math/1763100928/8
9: １３２人目の素数さん [] 2025/11/15(土) 21:21:01.20 ID:60UWH5U7 できるぞ http://rio2016.5ch.net/test/read.cgi/math/1763100928/9
10: １３２人目の素数さん [sage] 2025/11/16(日) 16:29:01.67 ID:hsxSBSy8 含意→線形作用素V→W ｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1763100928/10
11: １３２人目の素数さん [sage] 2025/11/16(日) 16:30:39.54 ID:hsxSBSy8 H: ヒルベルト空間 ｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1763100928/11
12: １３２人目の素数さん [sage] 2025/11/16(日) 18:08:12.25 ID:hsxSBSy8 馬鹿発見 【悲報】無職爺、準同型すら知らないことが判明 http://rio2016.5ch.net/test/read.cgi/math/1763100928/12
13: １３２人目の素数さん [] 2025/11/17(月) 04:03:17.45 ID:/Avgu7mJ ふつうに存在する研究分野だ http://rio2016.5ch.net/test/read.cgi/math/1763100928/13
14: １３２人目の素数さん [sage] 2025/11/17(月) 16:46:25.90 ID:hqUUL6t+ 群の表現 Gを群、Mを集合として、GがMに作用している、群作用：GXM->Mが存在する http://rio2016.5ch.net/test/read.cgi/math/1763100928/14
15: １３２人目の素数さん [sage] 2025/11/17(月) 16:48:44.15 ID:hqUUL6t+ 論理の表現 L：論理、H：ヒルベルト空間として、論理作用LXM->Mが存在する ？？？ http://rio2016.5ch.net/test/read.cgi/math/1763100928/15
16: １３２人目の素数さん [] 2025/11/17(月) 17:39:30.13 ID:IGwkz8CN アホすぎて返す言葉も無い http://rio2016.5ch.net/test/read.cgi/math/1763100928/16
17: １３２人目の素数さん [sage] 2025/11/17(月) 17:49:44.74 ID:hqUUL6t+ ハイ、論破 http://rio2016.5ch.net/test/read.cgi/math/1763100928/17
18: １３２人目の素数さん [] 2025/11/17(月) 18:15:21.82 ID:i+iRhAoa >>14 群作用と群の表現の区別もついてないアホ http://rio2016.5ch.net/test/read.cgi/math/1763100928/18
19: １３２人目の素数さん [] 2025/11/17(月) 18:38:55.32 ID:ooahoP13 調べりゃすぐに出てくることをどうして調べないのだろう 馬鹿だからかな http://rio2016.5ch.net/test/read.cgi/math/1763100928/19
20: １３２人目の素数さん [sage] 2025/11/17(月) 19:54:18.11 ID:hqUUL6t+ 効いてるな http://rio2016.5ch.net/test/read.cgi/math/1763100928/20
21: １３２人目の素数さん [] 2025/11/17(月) 20:39:08.21 ID:Ti19BIKw 関係あるか知らんけど、線形論理というのがあるらしい http://rio2016.5ch.net/test/read.cgi/math/1763100928/21
22: １３２人目の素数さん [sage] 2025/11/17(月) 20:43:09.41 ID:hqUUL6t+ フェィクじゃないのかｗ http://rio2016.5ch.net/test/read.cgi/math/1763100928/22
23: １３２人目の素数さん [] 2025/11/17(月) 22:03:00.80 ID:6GcK0pI6 線型論理や量子論理で調べればいくらでも出てくる http://rio2016.5ch.net/test/read.cgi/math/1763100928/23
24: １３２人目の素数さん [] 2025/11/18(火) 07:52:00.73 ID:TSC+7P8k へぇ http://rio2016.5ch.net/test/read.cgi/math/1763100928/24
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.004s