このエントリーをはてなブックマークに追加

7月

27

量子論理勉強会

募集内容

Attendee Type 1

無料

参加者数
5

イベントの説明

量子論理やりましょう。続き物ではなく単発イベントの予定です。

概要

量子論理に関する物理的文脈はさておき,数学的側面に焦点を当てたお話をします.

量子論理では,Hilbert空間の閉部分空間が命題を表現すると考えます.
2次元以上のHilbert空間の閉部分空間全体に包含関係で順序を入れると,分配律を満たさない束になります.
これを量子論理と呼ぶことにします.
量子論理における命題に真理値を割り当てる関数は,二値の束準同型写像として与えられます.
また,二値の束準同型写像はprime filterと呼ばれるものと対応します.
今回のお話では,束や準同型写像,filterなどの定義を確認してから,分配律と二値の束準同型写像,prime filter間の関係について概観します.
そして,量子論理上には二値の束準同型写像が存在しないことを,prime filterを経由して証明します.

参考文献
Quantum Logic in Algebraic Approach
http://www.springer.com/in/book/9780792349037

発表者

資料 資料をもっと見る/編集する

フィード

mkoga_

mkoga_さんが資料をアップしました。

2017/07/28 19:58

t6s

t6s さんが 量子論理勉強会 を公開しました。

2017/07/13 23:56

量子論理勉強会 has been published!

終了

2017/07/27(木)

18:30
21:00

募集期間
2017/07/13(木) 23:46 〜
2017/07/27(木) 21:00

会場

Misoca

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

管理者

参加者(5人)

t6s

t6s

I joined 量子論理勉強会!

mkoga_

mkoga_

量子論理勉強会 に参加を申し込みました!

tannakaken

tannakaken

量子論理勉強会 に参加を申し込みました!

c0hama

c0hama

量子論理勉強会に参加を申し込みました!

maeda_

maeda_

量子論理勉強会 に参加を申し込みました!

参加者一覧(5人)

キャンセルした人(1人)