Thu, 22 May 2025
17:00 -
18:00
L3
Axioms of Quantum Mechanics in the light of Continuous Model Theory
Boris Zilber
(University of Oxford)
Abstract
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.