Aspectos lógicos de las estructuras cuánticas

Por • 30 ago, 2021 • Sección: Leyes

John Harding , Zhenghan Wang

Examinamos varios problemas relacionados con los aspectos lógicos de las estructuras cuánticas. En particular, consideramos problemas relacionados con terminaciones, decidibilidad y axiomatizabilidad, y problemas de incrustación. Se describe el desarrollo histórico, así como el progreso reciente y algunos caminos sugeridos a seguir.

arXiv:2108.09819v1 [quant-ph]
Quantum Physics (quant-ph); Logic (math.LO); Operator Algebras (math.OA)

Post to Twitter

Escribe un comentario