Computing the non-computable

Contemporary Physics

Volumn 44, Issue 1, 2003, Pages 51-71

  Kieu, Tien D ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0043158744     PISSN: 00107514     EISSN: None     Source Type: Journal    
DOI: 10.1080/00107510302712     Document Type: Article

References (42)

1. Hodges, A. P., 1992, Alan Turing: the Enigma (London: Vintage, Random House).
2. Lewis, H. R., and Papadimitriou, C. H., 1981, Elements of the Theory of Computation (Englewood Cliffs, New Jersey: Prentice-Hall).
3. Nagel, E., and Newman, J. R., 1958, Gödel's Proof (New York University Press).
4. Rogers, H., Jr, 1987, Theory of Recursive Functions and Effective Computability (Cambridge, Massachusetts: MIT Press).
5. Penrose, R., 1997, The Large, the Small and the Human Mind (Cambridge University Press).
6. Wooters, W. K., and Zurek, W. H., 1982, Nature, 299, 802.
7. Svozil, K., 1998, Unconventional Models of Computation, edited by C. S., Calude, J. Casti and M. J. Dinneen (Singapore: Springer), pp. 371-385.
8. Stannett, M., 2001, Technical Report CS-01-04, Department of Computer Science, Sheffield University.
9. Calude, C. S., and Pavlov, B., 2001, Archive quant-ph/0112087.
10. Davis, M., and Hersh, R., 1973, Sci. Am., November, 84.
11. Matiyasevich, Y. V., 1993, Hibert's Tenth Problem (Cambridge, Massachusetts: MIT Press).
12. Davis, M., 1982, Computability and Unsolvability (New York: Dover Publications).
13. Casti, J. L., 2001, Mathematical Mountaintops, (Oxford University Press).
14. Peter, R., 1967, Recursive Functions (New York: Academic Press).
15. Chaitin, G. J., 1992, Algorithmic Information Theory, (Cambridge University Press).
16. Calude, C. S., and Chaitin, G. J., 1999, Nature, ??, 400.
17. Geroch, R., and Hartle, J. B., 1986, J. Found, Phys., 16, 533.
18. Kieu, T. D., 2002, Archive quant-ph/0205093.
19. van Enk, S. J., and Fuchs, C. A., 2001, Archive quant-ph/0111157.
20. Walls, D. F., and Milburn, G. J., 1995, Quantum Optics (Berlin: Springer).
21. Messiah, A., 1976, Quantum Mechanics, Vol. II (Amsterdam: North-Holland).
22. Feyman, R. P., 1982, Int. J. theor. Phys., 21, 467.
23. Beinoff, P., 1980, J. Statist. Phys., 22, 563.
24. Bernstein, E., and Vazirani, U., 1997, SIAM J. Comput., 26, 1411.
25. Kieu, T. D., 2001, Archive quant-ph/0110136.
26. Nielsen, M. A., and Chuang, I. L., 2000, Quantum Computation and Quantum Information (Cambridge University Press).
27. Bell, J. S., 1987, Speakable and Unspeakable in Quantum Mechanics, (Cambridge University Press).
28. Shor, P. W., 1997, SIAM J. Comput., 26, 1484.
29. Grover, L. K., 1997, Phys. Rev. Lett., 79, 325.
30. Farhi, E., Goldstone, J., Gutmann, S., and Sipser, M., 2000, Archive quart-ph/0001106.
31. Lloyd, S., and Braunstein, S.L., 1999, Phys. Rev. Lett., 82, 1784.
32. Kadowaki, T., and Nishimori, H., 1998, Phys. Rev., 58, 5355.
33. Nielsen, M. A., 1997, Phys. Rev. Lett., 79, 2915.
34. Drummond, P., 2002, private communication.
35. Nielsen, M. A., 2002, private communication.
36. Kieu, T. D., 2001, Archive quant-ph/0111062.
37. Kieu, T. D., 2001, Archive quant-ph/0111063.
38. Barrow, J. D., 2000, Complexity, 5, 28.
39. Pour-Ell, M. B., and Richards, I., 1982, Int. J. theor. Phys., 21, 553.
40. Etesi, G., and Németi, I., 2001, Archive gr-qc/0104023.
41. Tarski, A., 1951, A Decision Method for Elementary Algebra and Geometry (Berkeley and Los Angeles: University of California Press).
42. Gödel, K., 1951, statement delivered to the American Mathematical Society.