-
1
-
-
84960561455
-
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
-
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
-
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
-
-
B. Jack Copeland, The Church-Turing thesis, in: E.N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. August 2002. Available from: .
-
-
-
-
5
-
-
0003150965
-
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
-
6
-
-
0039554596
-
-
Basil Blackwell, Oxford
-
Geach P.T. Logic Matters (1972), Basil Blackwell, Oxford
-
(1972)
Logic Matters
-
-
Geach, P.T.1
-
7
-
-
0033116551
-
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
-
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
-
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
-
-
J.P. Laraudogoitia, Supertasks, in: E.N. Zalta, (Ed.), Stanford Encyclopedia of Philosophy, November 2001. Available from: .
-
-
-
-
11
-
-
0004015419
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|