Since 2002 Perimeter Institute has been recording seminars, conference talks, public outreach events such as talks from top scientists using video cameras installed in our lecture theatres. Perimeter now has 7 formal presentation spaces for its many scientific conferences, seminars, workshops and educational outreach activities, all with advanced audio-visual technical capabilities.
Recordings of events in these areas are all available and On-Demand from this Video Library and on Perimeter Institute Recorded Seminar Archive (PIRSA). PIRSA is a permanent, free, searchable, and citable archive of recorded seminars from relevant bodies in physics. This resource has been partially modelled after Cornell University's arXiv.org.
Accessibly by anyone with internet, Perimeter aims to share the power and wonder of science with this free library.
Introductory lecture summary:
Introductory lecture summary:
Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms.
Introductory lecture summary:
1. Finite dimensional hilbert spaces and (complemented) modular lattices; infinite-dimensional hilbert spaces and orthomodularity.
2. von Neumann's QL; von Neumann-Birkhoff (briefly!); reconstruction of QM from P(H)
3. Mackey's programme; some early axiomatics (e.g., Zierler); QLs as OMPs + order-determining sets of states
4. Piron's Theorem; some discussion of Piron's axioms
5. Keller's examples (maybe just a mention, though I'd like to indicate how they come up); Soler's theorem (just the statement)