Email Gateway (Aug 22 2022 at 18:27): Email Gateway (Aug 22 2022 at 18:27):From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
There is a new paradigm in quantum mechanics, known as ER = EPR, which is
very important in contemporary physics and it is entering in mathematics
and computer science. There are many papers about this subject, some of
them involving quantum computing. So, to write a library in order to
provide mathematical tools in Isabelle/HOL for physicists about ER = EPR
will be very useful. Nevertheless, a library about the unique
infinite-dimensional separable Hilbert spaces is required as preliminary. A
library about non-commutative geometry, although it is not essential, it
will be helpful for such a project.
References:
Paper: https://arxiv.org/pdf/1306.0533.pdf
Video: https://www.youtube.com/watch?v=9crggox5rbc
Kind Regards,
Jose M.
Last updated: Apr 25 2024 at 12:23 UTC