中文

A Quantum Gate as a Physical Model of an Universal Arithmetical Algorithm without Church's Undecidability and Godel's Incompleteness

量子物理 2007-05-23 v1

摘要

In this work we define an universal arithmetical algorithm, by means of the standard quantum mechanical formalism, called universal qm-arithmetical algorithm. By universal qm-arithmetical algorithm any decidable arithmetical formula (operation) can be decided (realized, calculated. Arithmetic defined by universal qm-arithmetical algorithm called qm-arithmetic one-to-one corresponds to decidable part of the usual arithmetic. We prove that in the qm-arithmetic the undecidable arithmetical formulas (operations) cannot exist (cannot be consistently defined). Or, we prove that qm-arithmetic has no undecidable parts. In this way we show that qm-arithmetic, that holds neither Church's undecidability nor Godel's incompleteness, is decidable and complete. Finally, we suggest that problems of the foundation of the arithmetic, can be solved by qm-arithmetic.

引用

@article{arxiv.quant-ph/0602009,
  title  = {A Quantum Gate as a Physical Model of an Universal Arithmetical Algorithm without Church's Undecidability and Godel's Incompleteness},
  author = {Vladan Pankovic and Milan Predojevic},
  journal= {arXiv preprint arXiv:quant-ph/0602009},
  year   = {2007}
}

备注

13 pages, no figures