Simple example of definitions of truth, validity, consistency, and completeness in quantum mechanics

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 59, Issue 6, 1999, Pages 4223-4237

  Benioff, Paul ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000451543     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.59.4223     Document Type: Article

References (66)

1. P. Shor, in Proceedings, 35th Annual Symposium on the Foundations of Computer Science, edited by S. Goldwasser (IEEE Computer Society Press, Los Alamitos, CA, 1994), pp. 124–134;
2. SIAM J. Comput. 26, 1481 (1997).
3. L.K. Grover, Phys. Rev. Lett. 79, 325 (1997)
4. G. Brassard, Science 275, 627 (1997)
5. L.K. Grover, Phys. Rev. Lett. 80, 4329 (1998).
6. D.A. Lidar and H. Wang, e-print quant-ph/9807009.
7. D.S. Abrams and S. Lloyd, e-print quant-ph/9807070.
8. N.A. Gershenfeld and I.L. Chuang, Science 275, 350 (1997)
9. D.G. Cory, A.F. Fahmy, and T.F. Havel, Proc. Natl. Acad. Sci. USA 94, 1634 (1997).
10. J.I. Cirac and P. Zoller, Phys. Rev. Lett. 74, 4091 (1994)
11. Phys. Rev. Lett.C. Monroe, D.M. Meekhof, B.E. King, W.M. Itano, and D.J. Wineland, 75, 4714 (1995)
12. P. Domokos, J.M. Raimond, M. Brune, and S. Haroche, Phys. Rev. A 52, 3554 (1995)
13. Phys. Rev. AC. Monroe, D. Leibfried, B.E. King, D.M. Meekhof, W.M. Itano, and D.J. Wineland, 55, R2489 (1997)
14. J.F. Poyatos, J.I. Cirac, and P. Zoller, Phys. Rev. Lett. 81, 1322 (1998).
15. R. Laflamme, C. Miquel, J.P. Paz, and W. Zurek, Phys. Rev. Lett. 77, 198 (1996)
16. Phys. Rev. Lett.D.P. DiVincenzo and P.W. Shor, 77, 3260 (1996)
17. Phys. Rev. Lett.E.M. Raines, R.H. Hardin, P.W. Shor, and N.J.A. Sloane, 79, 953 (1997)
18. E. Knill, R. Laflamme, and W. Zurek, Science 279, 342 (1998).
19. D. Cory, M. Price, W. Maas, E. Knill, R. Laflamme, W. Zurek, T. Havel, and S. Somaroo, Phys. Rev. Lett. 81, 2152 (1998).
20. D.A. Lidar, I.L. Chuang, and K.B. Whaley, Phys. Rev. Lett. 81, 2594 (1998).
21. W.H. Zurek, Phys. Rev. D 24, 1516 (1981)
22. Phys. Rev. DW.H. Zurek26, 1862 (1982)
23. E. Joos and H.D. Zeh, Z. Phys. B 59, 223 (1985)
24. J.R. Anglin and W.H. Zurek, Phys. Rev. D 53, 7327 (1996).
25. R. Landauer, Phys. Lett. A 217, 188 (1996)
26. R. LandauerPhilos. Trans. R. Soc. London, Ser. A 353, 367 (1995)
27. R. LandauerPhys. Today 44(5), 23 (1991)
28. R. LandauerIEEE Trans. Electron Devices 43, 1637 (1996)
29. S. Haroche and J.-M. Raimond, Phys. Today 49(8), 51 (1996).
30. P. Benioff, Phys. Rev. A 58, 893 (1998)
31. P. BenioffSuperlattices Microstruct. 23, 407 (1998).
32. C.H. Bennett, G. Brassard, E. Bernstein, and U. Vazirani, SIAM J. Comput. 26, 1510 (1997)
33. W. Van Dam, e-print quant-ph/9805006.
34. A. Peres and W.H. Zurek, Am. J. Phys. 50, 807 (1982).
35. J.R. Shoenfield, Mathematical Logic (Addison-Weseley, Reading, MA, 1967).
36. R. Smullyan, Gödel s Incompleteness Theorems (Oxford University Press, Oxford, 1992).
37. A. A. Frankel, Y. Bar-hillel, A. Levy, and D. van Dalen, Foundations of Set Theory, 2nd revised ed., Vol. 67 of Studies in Logic and the Foundations of Mathematics (North-Holland, Amsterdam, 1973).
38. Y. Ozhigov, e-print quant-ph/9809015.
39. H. Buhrman, R. Cleve, and A. Wigderson, e-print quant-ph/9802040.
40. P. Benioff, J. Math. Phys. 17, 618 (1976)
41. J. Math. Phys.P. Benioff17, 629 (1976).
42. D. Finkelstein, Int. J. Theor. Phys. 31, 1627 (1992);in Current Issues in Quantum Logic, edited by E. Beltrametti and B. van Frassen (Plenum, New York, 1981), pp. 323–333;Quantum Relativity (Springer-Verlag, New York, 1994).
43. K. Svozil, Found. Phys. 25, 1541 (1995).
44. V. Krishnamurthy, Int. J. Mod. Phys. C 9, 213 (1998)
45. K. Svozil, Ann. (N.Y.) Acad. Sci. 755, 834 (1995);G. Takeuti, in Current Issues in Quantum Logic, (Ref. 21), pp. 303–322;
46. H. Nishimura, Int. J. Theor. Phys. 32, 1293 (1993)
47. Int. J. Theor. Phys.H. Nishimura43, 229 (1995).
48. H. P. Stapp, Mind, Matter, and Quantum Mechanics (Springer-Verlag, Berlin, 1993).
49. E. Squires, Conscious Mind in the Physical World (IOP, Bristol, England, 1990).
50. D. Albert, Phys. Lett. 98A, 249 (1983)
51. D. AlbertPhilos. Sci. 54, 577 (1987);in Complexity, Entropy and the Physics of Information, Vol. VIII of SFI Studies in the Sciences of Complexity, edited by W.H. Zurek (Addison-Wesley, Reading, MA, 1990), pp. 471–476.
52. T. Breuer, Philos. Sci. 62, 197 (1995).
53. M. Davis, Computability and Unsolvability (McGraw-Hill, New York, 1958)
54. C. H. Papadimitriou, Computational Complexity (Addison-Wesley, Reading, MA, 1994).
55. R. Penrose, The Emperor’s New Mind (Penguin, New York, 1991).
56. R.P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals (McGraw-Hill, New York, 1965).
57. A. Peres, Phys. Lett. 101A, 249 (1984).
58. R.B. Griffiths, Phys. Rev. A 54, 2759 (1996)
59. R.B. GriffithsPhys. Rev. Lett. 70, 2201 (1993).
60. M. Gell-Mann and J. B. Hartle, in Complexity, Entropy, and the Physics of Information (Ref. 26), Vol. VIII, pp. 425–458;
61. Phys. Rev. D 47, 3345 (1993).
62. R. Omnes, in Complexity, Entropy, and the Physics of Information (Ref. 26), Vol. VIII, pp. 495–512;
63. J. Stat. Phys. 53, 893 (1988)
64. 53, 933 (1988)
65. 53, 957 (1988).
66. I. Montavy and G. Münster, Quantum Fields on a Lattice (Cambridge University Press, Cambridge, 1994).