Logic programming as quantum measurement

Details Logic programming as quantum measurement Logic programming as quantum measurement

1995-06-29

arxiv.org/abs/quant-ph/9506041v1

Int.J.Theor.Phys. 34 (1995) 1813-1821

Physics

Quantum Physics

11 pages, latex, paper accepted for publication in the International Journal of Theoretical Physics

Scientific paper

10.1007/BF00676296

The emphasis is made on the juxtaposition of (quantum~theorem) proving versus quantum (theorem~proving). The logical contents of verification of the statements concerning quantum systems is outlined. The Zittereingang (trembling input) principle is introduced to enhance the resolution of predicate satisfiability problem provided the processor is in a position to perform operations with continuous input. A realization of Zittereingang machine by a quantum system is suggested.

Affiliated with

Also associated with

No associations

Rating

Logic programming as quantum measurement does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic programming as quantum measurement, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic programming as quantum measurement will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-105896