Introduction to Quantum Logic: Philosophical, Mathematical, Physical, and Computational aspects, foundations of quantum (in)determinism.


Presentación

Introduction to Quantum Logic: Philosophical, Mathematical, Physical, and Computational aspects, foundations of quantum (in)determinism.

 
This course introduces to the foundations, theory, and applications of quantum logic.

It is presented by the distinguished professor Karl Svozil from the Institute of Theoretical Physics of the Wien University.

The course consists of two days of classes (6hrs of classes approx.), and preceeds the conference Worlds of Entanglement 2019. 

Programa

Topics:

1) sketch of basic linear algebra required for qm (quantum states, spectral theory, maximal operators as they relate to commutativity)

2) elements of quantum logic and partition logic; as well a the faithful orthogonal representation 

3) classical, two-valued states on those logics, and a derivation of contrains on classical probabilities
4) pure quantum states on these logics a la Gleason

5) quantum value indefiniteness relative to the assumptions; and options for value definiteness   

Students will learn:
*) Hilbert spaces and operator theory thereon. Reference:
1st chapter of: http://tph.tuwien.ac.at/~svozil/publ/2018-mm.pdf
*) Hilbert space qm and quantum information -- cf Mermin's lecture series: http://www.lassp.cornell.edu/mermin/qcomp/CS483.html
*) quantum and partition logics; up to quantum clouds and KS-type theorems; references: 
https://link.springer.com/book/10.1007%2F978-3-319-70815-7 
https://www.amazon.com/exec/obidos/ASIN/9814021075 
 

Destinatarios

The workshop is targeted to mathematicians, physicists, computer scientists as well as philosophers with some mathematical/logical background.  

Docentes

Dr. Karl Svozil

Institut für Theoretische Physik, Technische Universität Wien 
https://en.wikipedia.org/wiki/Karl_Svozil

Metodología

Classical classroom setting + Discussions.

Matrícula

60 EUR (47.500 CLP)
Coffee breaks included

Certificación

FAQ