메뉴 건너뛰기




Volumn 178, Issue 1, 2006, Pages 93-102

The Church-Turing thesis: Still valid after all these years?

Author keywords

Church Turing thesis; Hypercomputation; Turing machine

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE;

EID: 33745506851     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2005.09.086     Document Type: Article
Times cited : (8)

References (20)
  • 1
    • 84960561455 scopus 로고
    • On computable numbers, with an application to the Entscheidungsproblem
    • Turing A.M. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42 (1936) 230-265
    • (1936) Proceedings of the London Mathematical Society , vol.42 , pp. 230-265
    • Turing, A.M.1
  • 2
    • 0000954072 scopus 로고
    • An unsolvable problem of elementary number theory
    • Church A. An unsolvable problem of elementary number theory. The American Journal of Mathematics 58 (1936) 345-363
    • (1936) The American Journal of Mathematics , vol.58 , pp. 345-363
    • Church, A.1
  • 3
    • 3843077255 scopus 로고    scopus 로고
    • The Church-Turing thesis: its nature and status
    • The Legacy of Alan Turing. Millican P., and Clark A. (Eds), Clarendon Press, Oxford
    • Galton A. The Church-Turing thesis: its nature and status. In: Millican P., and Clark A. (Eds). The Legacy of Alan Turing. Machines and Thought vol. I (1996), Clarendon Press, Oxford 137-164
    • (1996) Machines and Thought , vol.I , pp. 137-164
    • Galton, A.1
  • 4
    • 33745514029 scopus 로고    scopus 로고
    • B. Jack Copeland, The Church-Turing thesis, in: E.N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. August 2002. Available from: .
  • 5
    • 0003150965 scopus 로고
    • The confluence of ideas in 1936
    • Herken R. (Ed), Oxford University Press, Oxford
    • Gandy R. The confluence of ideas in 1936. In: Herken R. (Ed). The Universal Turing Machine: A Half-Century Survey (1988), Oxford University Press, Oxford 55-111
    • (1988) The Universal Turing Machine: A Half-Century Survey , pp. 55-111
    • Gandy, R.1
  • 7
    • 0033116551 scopus 로고    scopus 로고
    • Alan Turing's forgotten ideas in computer science
    • Copeland B.J., and Proudfoot D. Alan Turing's forgotten ideas in computer science. Scientific American 280 (1999) 76-81
    • (1999) Scientific American , vol.280 , pp. 76-81
    • Copeland, B.J.1    Proudfoot, D.2
  • 8
    • 0036577027 scopus 로고    scopus 로고
    • Accelerating Turing machines
    • Copeland B.J. Accelerating Turing machines. Minds and Machines 12 (2002) 281-301
    • (2002) Minds and Machines , vol.12 , pp. 281-301
    • Copeland, B.J.1
  • 9
    • 70350455861 scopus 로고
    • Tasks and super-tasks
    • Thomson J.F. Tasks and super-tasks. Analysis 15 1 (1954) 1-13
    • (1954) Analysis , vol.15 , Issue.1 , pp. 1-13
    • Thomson, J.F.1
  • 10
    • 33745499244 scopus 로고    scopus 로고
    • J.P. Laraudogoitia, Supertasks, in: E.N. Zalta, (Ed.), Stanford Encyclopedia of Philosophy, November 2001. Available from: .
  • 11
    • 0004015419 scopus 로고
    • The physical Church thesis and physical computational complexity
    • Pitowsky I. The physical Church thesis and physical computational complexity. Iyyun 39 (1990) 81-99
    • (1990) Iyyun , vol.39 , pp. 81-99
    • Pitowsky, I.1
  • 12
    • 0001512202 scopus 로고
    • Does general relativity allow an observer to view an eternity in a finite time?
    • Hogarth M. Does general relativity allow an observer to view an eternity in a finite time?. Foundations of Physics Letters 5 (1992) 173-181
    • (1992) Foundations of Physics Letters , vol.5 , pp. 173-181
    • Hogarth, M.1
  • 13
    • 0001060760 scopus 로고
    • Forever is a day: supertasks in Pitowsky and Malament-Hogarth spacetimes
    • Earman J., and Norton J.D. Forever is a day: supertasks in Pitowsky and Malament-Hogarth spacetimes. Philosophy of Science 60 (1993) 22-42
    • (1993) Philosophy of Science , vol.60 , pp. 22-42
    • Earman, J.1    Norton, J.D.2
  • 15
    • 0037312546 scopus 로고    scopus 로고
    • Physical hypercomputation and the Church-Turing thesis
    • Shagrir O., and Pitowsky I. Physical hypercomputation and the Church-Turing thesis. Minds and Machines 13 (2003) 87-101
    • (2003) Minds and Machines , vol.13 , pp. 87-101
    • Shagrir, O.1    Pitowsky, I.2
  • 16
    • 0029290401 scopus 로고
    • Computation beyond the Turing limit
    • Siegelmann H.T. Computation beyond the Turing limit. Science 268 (1995) 545-548
    • (1995) Science , vol.268 , pp. 545-548
    • Siegelmann, H.T.1
  • 18
    • 0030570631 scopus 로고    scopus 로고
    • Recursion theory on the reals and continuous-time computation
    • Moore C. Recursion theory on the reals and continuous-time computation. Theoretical Computer Science 162 (1996) 23-44
    • (1996) Theoretical Computer Science , vol.162 , pp. 23-44
    • Moore, C.1
  • 19
    • 0022421379 scopus 로고
    • Quantum theory, the Church-Turing principle, and the universal quantum computer
    • Deutsch D. Quantum theory, the Church-Turing principle, and the universal quantum computer. Proceedings of the Royal Society, London, A 400 (1985) 97-117
    • (1985) Proceedings of the Royal Society, London, A , vol.400 , pp. 97-117
    • Deutsch, D.1
  • 20
    • 0036868306 scopus 로고    scopus 로고
    • Quantum hypercomputation
    • Kieu T.D. Quantum hypercomputation. Minds and Machines 12 (2002) 541-561
    • (2002) Minds and Machines , vol.12 , pp. 541-561
    • Kieu, T.D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.