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.
Set theory provides foundations of mathematics in the sense that all the mathematical notions like numbers, functions, relations, structures are defined in the axiomatic set theory called ZFC. Quantum set theory naturally extends ZFC to quantum logic. Hence, we can expect that quantum set theory provides mathematics based on quantum logic. In this talk, I will show a useful application of quantum set theory to quantum mechanics based on the fact that the real numbers constructed in quantum set theory exactly corresponds to the quantum observables.