Title：Quantum Theory: Some Glimpses from the Perspective of Logic

Speaker：Shengyang Zhong (PKU)

Time: 2024/12/10 15:10-18:00

Location: Room 206, Building of Geometry (地学楼), Peking University

Abstract:

This talk consists of two parts. In the first part, I will very briefly present my submissions during the tenure-track period. In the second part, I will present a first-order Birkhoff-von Neumann quantum logic with entanglement quantifiers which is proposed in the paper Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs (arXiv: 2205.01959) by Ying. I will discuss the background (including Hilbert space theory, quantum theory and the paradigm of quantum computation) and then present the syntax and the semantics of this logic. If time permits, I will show some instances of semantic consequence of this logic, which are shared by classical first-order logic but have more involved proofs. This talk assumes that the audiences have seen the operations on n-tuples of complex numbers.