作为量子测量的逻辑编程
量子物理
2009-10-28 v1
摘要
重点在于（量子定理）证明与量子（定理证明）的并置对照。概述了关于量子系统陈述之验证的逻辑内容。引入了 Zittereingang（颤动输入）原理，以提升谓词可满足性问题的分辨率，前提是处理器能够对连续输入执行操作。提出了一种由量子系统实现 Zittereingang 机的方案。
引用
@article{arxiv.quant-ph/9506041,
title = {Logic programming as quantum measurement},
author = {R. R. Zapatrin},
journal= {arXiv preprint arXiv:quant-ph/9506041},
year = {2009}
}
备注
11 pages, latex, paper accepted for publication in the International Journal of Theoretical Physics