English | Français A A Connect With Us
Video Library
Since 2002 Perimeter Institute has been recording seminars, conference talks, and public outreach events 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 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.
-
Monday Jul 18, 2005
-
Sunday Jul 17, 2005Speaker(s):
Introductory lecture summary:
Collection/Series:
-
Sunday Jul 17, 2005
Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms.
Collection/Series:
-
Sunday Jul 17, 2005
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)Collection/Series:
-
Sunday Jul 17, 2005Speaker(s):
-
Sunday Jul 17, 2005Speaker(s):
-
Friday Jul 08, 2005Collection/Series:
-
Friday Jul 08, 2005
-
Friday Jul 08, 2005Speaker(s):
-
Friday Jul 08, 2005
Pages
©2012 Perimeter Institute for Theoretical Physics
