No.1
16: 論理の表現論 (29)
レス数: 29
概要: 論理を線形代数で表現することについて
No.2
命題→部分空間V⊂H
含意→線形作用素V→W
否定→直交補空間V^⊥
and→V∩W
or→V + W
No.3
No.4
No.5
え？
No.6
線形作用素ってベクトル空間の準同型のことだよ？
No.7
No.8
No.9
No.10
ｗｗｗ
No.11
ｗｗｗ
No.12
【悲報】無職爺、準同型すら知らないことが判明
No.13
No.14
Gを群、Mを集合として、GがMに作用している、群作用：GXM->Mが存在する
No.15
L：論理、H：ヒルベルト空間として、論理作用LXM->Mが存在する
？？？
No.16
No.17
No.18
群作用と群の表現の区別もついてないアホ
No.19
馬鹿だからかな
No.20
No.21
No.22
No.23
No.24
No.25
No.26
No.27
No.28
https://www.theregister.com/2026/03/12/in_memoriam_sir_tony_hoare/" target="_blank" rel="noopener">https:
ホーアが亡くなった。
No.29
たとえば0と1を有限個並べて任意の命題を表すことができることは，通常の文字が
文字コードで表されており、有限長の記号の列が有限二進数であると見なせること
からも明らかである。記号列が定義されたらそれに基づいて「計算」を行う系を
考えることができる。たとえばオートマトンや無限長の記号列を蓄えることが
できるテープを有するチューリング機械などである。チューリング機械は
万能の記号操作系として働く万能チューリング機械を含む。
