Seminar series
Date
Thu, 22 May 2025
Time
17:00 -
18:00
Location
L3
Speaker
Boris Zilber
Organisation
University of Oxford
I am going to start by reviewing axioms of quantum mechanics, which in fact give a description of a Hilbert space. I will argue that the language that Dirac and his followers developed is that of continuous logic and the form of axiomatisation is that of "algebraic logic" in the sense of A. Tarski's cylindric algebras. In fact, Hilbert spaces can be seen as a continuous model theory version of cylindric algebras.