The complexity of proving chaoticity and the Church-Turing thesis

Chaos

Volumn 20, Issue 3, 2010, Pages

  Calude, Cristian S ^a   Calude, Elena ^b   Svozil, Karl ^c  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b MASSEY UNIVERSITY   (New Zealand)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 78649429080     PISSN: 10541500     EISSN: None     Source Type: Journal    
DOI: 10.1063/1.3489096     Document Type: Article

References (44)

1. Hirsch M. Chaos, Fractals, and Dynamics 1985, 98. P. Fischer, W. R. Smith, Lecture Notes in Pure and Applied Mathematics Vol. edited by and (Marcel Dekker, New York, ).
2. Suppes P. Midwest Stud. Philos. 1993, 18:242. 10.1111/j.1475-4975.1993.tb00266.x, 0363-6550.
3. Stewart I. Nature (London) 1991, 352:664. NATUAS, 0028-0836, 10.1038/352664a0.
4. Brudno A.A. Trans. Mosc. Math. Soc. 1983, 44:127. TMMSD4, 0077-1554.
5. Crutchfield J.P. Packard N.H. Int. J. Theor. Phys. 1982, 21:433. IJTPBM, 0020-7748, 10.1007/BF02650178, and.
6. Moore C.D. Bennett C. Nature (London) 1990, 346:606. PRLTAO, 0031-9007, 10.1103/PhysRevLett.64.2354, NATUAS, 0028-0836, 10.1038/346606a0, cf.
7. Gács P. Hoyrup M. Rojas C. 26th International Symposium on Theoretical Aspects of Computer Science-STACS 2009 2009, 469-480. S. Albers, J.-Y. Marion, and in edited by and (IBFI Schloss Dagstuhl, Freiburg, ), pp. e-print arXiv:cond-mat/0902.1939.
8. Da Costa N.C. A. Doria F.A. Int. J. Theor. Phys. 1991, 30:1041. IJTPBM, 0020-7748, 10.1007/BF00671484, and.
9. Da Costa N.C. A. Doria F.A. do Amaral A.F. F. Int. J. Theor. Phys. 1993, 32:2187. IJTPBM, 0020-7748, 10.1007/BF00675030, and.
10. Calude E. Fermat's last theorem and chaoticity. 2010, CDMTCS Research Report 383.
11. Calude C.S. Calude E. Dinneen M.J. J. Multiple-Valued Logic and Soft Comput. 2006, 12:285. and CDMTCS Research Report No. 277.
12. Calude C.S. Calude E. Complex Systems 2008, 18:267. and CDMTCS Research Report No. 343.
13. Calude C.S. Calude E. Complex Systems 2009, 18:387. and CDMTCS Research Report No. 369.
14. Hilbert D. Bull. Am. Math. Soc. 1902, 8:437. BAMOAD, 0002-9904, 10.1090/S0002-9904-1902-00923-3.
15. Holmes P.J. Marsden J.E. Commun. Math. Phys. 1982, 82:523. CMPHAY, 0010-3616, 10.1007/BF01961239, and.
16. Calude C.S. Calude E. The complexity of the four colour theorem. LMS Journal of Computation and Mathematics 2009, and (2010)CDMTCS Research Report No. 368.
17. Calude E. The complexity of the Goldbach's conjecture and Riemann's hypothesis. 2009, CDMTCS Research Report 370.
18. Calude C. Pǎun G. RAIRO Inform. Theor. Appl. 1983, 17:49. ZZZZZZ, 0988-3754, and.
19. Scarpellini B. Z. Math. Logik Grundlagen Math. 1963, 9:265. ZMLGAQ, 0044-3050, 10.1002/malq.19630091802.
20. Scarpellini B. Minds and Machines 2003, 13:49. 10.1023/A:1021381032553, 0010-3616.
21. Scarpellini B. Minds and Machines 2003, 13:79. 10.1023/A:1021364916624, 0010-3616.
22. Davis M. Computability and Unsolvability 1958, (McGraw-Hill, New York, ).
23. Rogers H. Theory of Recursive Functions and Effective Computability 1967, (MacGraw-Hill, New York, ).
24. Kreisel G. Synthese 1974, 29:11. SYNTAE, 0039-7857, 10.1007/BF00484949.
25. Bridgman P.W. Landauer R. Landauer R. Scripta Mathematica 1934, 2:224. cf. (Ref. 44).
26. Gandy R.O. The Kleene Symposium 1980, 101:123-148. J. Barwise, H. J. Kreisler, K. Kunen, in Studies in Logic and Foundations of Mathematics Vol. edited by and (North-Holland, Amsterdam, ), pp.
27. Gandy R.O. Logic Colloquium '82 1982, 129-146. D. van Dalen, D. Lascar, J. Smiley, in edited by and (North-Holland, Amsterdam, ), pp.
28. Einstein A. Podolsky B. Rosen N. Phys. Rev. 1935, 47:777. PHRVAO, 0031-899X, 10.1103/PhysRev.47.777, and.
29. Packard N.H. Crutchfield J.P. Farmer J.D. Shaw R.S. Phys. Rev. Lett. 1980, 45:712. PRLTAO, 0031-9007, 10.1103/PhysRevLett.45.712, and.
30. Svozil K. Phys. Lett. A 1990, 143:433. PYLAAG, 0375-9601, 10.1016/0375-9601(90)90408-G.
31. Rarity J.G. Owens M.P. C. Tapster P.R. J. Mod. Opt. 1994, 41:2435. JMOPEW, 0950-0340, 10.1080/09500349414552281, and.
32. Jennewein T. Achleitner U. Weihs G. Weinfurter H. Zeilinger A. Rev. Sci. Instrum. 2000, 71:1675. RSINAK, 0034-6748, 10.1063/1.1150518, and e-print arXiv:quant-ph/9912118.
33. Stefanov A. Gisin N. Guinnard O. Guinnard L. Zbinden H. J. Mod. Opt. 2000, 47:595. JMOPEW, 0950-0340, and.
34. Hai-Qiang M. Su-Mei W. Da Z. Jun-Tao C. Ling-Ling J. Yan-Xue H. Ling-An W. Chin. Phys. Lett. 2004, 21:1961. CPLEEU, 0256-307X, 10.1088/0256-307X/21/10/027, and.
35. Wang P.X. Long G.L. Li Y.S. J. Appl. Phys. 2006, 100:056107. JAPIAU, 0021-8979, 10.1063/1.2338830, and.
36. Fiorentino M. Santori C. Spillane S.M. Beausoleil R.G. Munro W.J. Phys. Rev. A 2007, 75:032334. PLRAAN, 1050-2947, 10.1103/PhysRevA.75.032334, and.
37. Svozil K. Phys. Rev. A 2009, 79:054306. PLRAAN, 1050-2947, 10.1103/PhysRevA.79.054306, e-print arXiv:quant-ph/0903.2744.
38. Born M. Z. Phys. 1926, 37:863. ZEPYAA, 0044-3328, 10.1007/BF01397477.
39. Born M. Z. Phys. 1926, 38:803. ZEPYAA, 0044-3328, 10.1007/BF01397184.
40. Zeilinger A. Nature (London) 2005, 438:743. NATUAS, 0028-0836, 10.1038/438743a.
41. Calude C.S. Svozil K. Advanced Science Letters 2008, 1:165. and e-print arXiv:quant-ph/0611029.
42. Chaitin G.J. Algorithmic Information Theory 1987, 10.1017/CBO9780511608858, (Cambridge University Press, Cambridge, ).
43. Calude C. Information and Randomness-An Algorithmic Perspective 2002, 2nd ed. (Springer, Berlin, ).
44. Landauer R. On Limits 1994, 39. J. L. Casti, J. F. Traub, in edited by and (Santa Fe Institute, Santa Fe, ), p. Santa Fe Institute Report No. 94-10-056.