-
4
-
-
2442486781
-
Artificial intelligence: Cognition as computation
-
F. Machlup. New York, NY: Wiley-Interscience
-
Barr A. Artificial intelligence: cognition as computation. Machlup F. The Study of Information: Interdisciplinary Messages. 1983;237-265 Wiley-Interscience, New York, NY.
-
(1983)
The Study of Information: Interdisciplinary Messages
, pp. 237-265
-
-
Barr, A.1
-
5
-
-
2442598296
-
Infinitary logics
-
E. Agazzi (Ed.), Reidel, Dordrecht, The Netherlands
-
J. Barwise, Infinitary logics, in: E. Agazzi (Ed.), Modern Logic: A Survey, Reidel, Dordrecht, The Netherlands, 1980, pp. 93-112.
-
(1980)
Modern Logic: A Survey
, pp. 93-112
-
-
Barwise, J.1
-
6
-
-
2442436777
-
Solution of a small infinite puzzle
-
Black R. Solution of a small infinite puzzle. Analysis. 65(4):2002;345-346.
-
(2002)
Analysis
, vol.65
, Issue.4
, pp. 345-346
-
-
Black, R.1
-
7
-
-
0001051743
-
The paradox of temporal process
-
Blake R. The paradox of temporal process. J. Philos. 23:1926;675-684.
-
(1926)
J. Philos.
, vol.23
, pp. 675-684
-
-
Blake, R.1
-
8
-
-
0013059005
-
Introductory note to: Some basic theorems on the foundations of mathematics and their implications
-
Oxford University Press, Oxford, UK
-
G.S. Boolos, Introductory note to: some basic theorems on the foundations of mathematics and their implications, in: Collected Works III, Oxford University Press, Oxford, UK, 1995, pp. 290-304.
-
(1995)
Collected Works III
, pp. 290-304
-
-
Boolos, G.S.1
-
11
-
-
0009709494
-
Computation, among other things, is beneath us
-
Bringsjord S. Computation, among other things, is beneath us. Minds Mach. 4(4):1994;469-488.
-
(1994)
Minds Mach.
, vol.4
, Issue.4
, pp. 469-488
-
-
Bringsjord, S.1
-
13
-
-
0007344514
-
An argument for the uncomputability of infinitary mathematical expertise
-
P. Feltovich, K. Ford, & P. Hayes. Menlo Park, CA: AAAI Press
-
Bringsjord S. An argument for the uncomputability of infinitary mathematical expertise. Feltovich P., Ford K., Hayes P. Expertise in Context. 1997;475-497 AAAI Press, Menlo Park, CA.
-
(1997)
Expertise in Context
, pp. 475-497
-
-
Bringsjord, S.1
-
14
-
-
0007213847
-
The zombie attack on the computational conception of mind
-
Bringsjord S. The zombie attack on the computational conception of mind. Philos. Phenomenol. Res. 59(1):1999;41-69.
-
(1999)
Philos. Phenomenol. Res.
, vol.59
, Issue.1
, pp. 41-69
-
-
Bringsjord, S.1
-
15
-
-
2442472123
-
Review of John Searle's the mystery of consciousness
-
Bringsjord S. Review of John Searle's the mystery of consciousness. Minds Mach. 10(3):2000;457-459.
-
(2000)
Minds Mach.
, vol.10
, Issue.3
, pp. 457-459
-
-
Bringsjord, S.1
-
16
-
-
0035245522
-
In computation, parallel is nothing, physical everything
-
Bringsjord S. In computation, parallel is nothing, physical everything. Minds Mach. 11:2001;95-99.
-
(2001)
Minds Mach.
, vol.11
, pp. 95-99
-
-
Bringsjord, S.1
-
18
-
-
2442621355
-
The mental eye defense of an infinitized version of Yablo's paradox
-
Bringsjord S., van Heuveln B. The mental eye defense of an infinitized version of Yablo's paradox. Analysis. 66(1):2003;61-70.
-
(2003)
Analysis
, vol.66
, Issue.1
, pp. 61-70
-
-
Bringsjord, S.1
Van Heuveln, B.2
-
19
-
-
0442313098
-
A refutation of Penrose's Gödelian case against artificial intelligence
-
Bringsjord S., Xiao H. A refutation of Penrose's Gödelian case against artificial intelligence. J. Exp. Theoret. Artificial Intelligence. 12:2000;307-329.
-
(2000)
J. Exp. Theoret. Artificial Intelligence
, vol.12
, pp. 307-329
-
-
Bringsjord, S.1
Xiao, H.2
-
20
-
-
0007272490
-
Cognition is not computation: The argument from irreversibility
-
Bringsjord S., Zenzen M. Cognition is not computation. the argument from irreversibility Synthese. 113:1997;285-320.
-
(1997)
Synthese
, vol.113
, pp. 285-320
-
-
Bringsjord, S.1
Zenzen, M.2
-
22
-
-
2442564650
-
Universal limit Turing machines
-
Burgin M. Universal limit Turing machines. Notes Russian Acad. Sci. 325(4):1986;328-654.
-
(1986)
Notes Russian Acad. Sci.
, vol.325
, Issue.4
, pp. 328-654
-
-
Burgin, M.1
-
23
-
-
0013067041
-
How we know what technology can do
-
Burgin M. How we know what technology can do. Commun. ACM. 44(11):2001;83-88.
-
(2001)
Commun. ACM
, vol.44
, Issue.11
, pp. 83-88
-
-
Burgin, M.1
-
26
-
-
0000948377
-
Even Turing machines can compute uncomputable functions
-
J. Casti. London, UK: Springer
-
Copeland B.J. Even Turing machines can compute uncomputable functions. Casti J. Unconventional Models of Computation. 1998;150-167 Springer, London, UK.
-
(1998)
Unconventional Models of Computation
, pp. 150-167
-
-
Copeland, B.J.1
-
27
-
-
0000661597
-
Super Turing machines
-
Copeland B.J. Super Turing machines. Complexity. 4:1998;30-32.
-
(1998)
Complexity
, vol.4
, pp. 30-32
-
-
Copeland, B.J.1
-
28
-
-
61249477110
-
Turing's O-machines, Searle, Penrose and the brain
-
Copeland B.J. Turing's O-machines, Searle, Penrose and the brain. Analysis. 58(2):1998;128-138.
-
(1998)
Analysis
, vol.58
, Issue.2
, pp. 128-138
-
-
Copeland, B.J.1
-
29
-
-
0003648431
-
-
New York, NY: Academic Press
-
Davis M., Sigal R., Weyuker E. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. 1994;Academic Press, New York, NY.
-
(1994)
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
-
-
Davis, M.1
Sigal, R.2
Weyuker, E.3
-
30
-
-
84936010109
-
Computationalism
-
Dietrich E. Computationalism. Soc. Epistemol. 4(2):1990;135-154.
-
(1990)
Soc. Epistemol.
, vol.4
, Issue.2
, pp. 135-154
-
-
Dietrich, E.1
-
31
-
-
0001060760
-
Forever is a day: Supertasks in Pitowski and Malament-Hogarth spacetimes
-
Earman J., Norton J. Forever is a day. supertasks in Pitowski and Malament-Hogarth spacetimes Philos. Sci. 60(1):1993;22-42.
-
(1993)
Philos. Sci.
, vol.60
, Issue.1
, pp. 22-42
-
-
Earman, J.1
Norton, J.2
-
33
-
-
2442585503
-
-
Reading, MA: Addison-Wesley
-
Eicholz R.E., O'Daffer P.G., Charles R.I., Young S.I., Barnett C.S., Clemens S.R., Gilmer G.F., Reeves A., Renfro F.L., Thompson M.M., Thornton C.A. Grade 7 Mathematics. 1995;Addison-Wesley, Reading, MA.
-
(1995)
Grade 7 Mathematics
-
-
Eicholz, R.E.1
O'daffer, P.G.2
Charles, R.I.3
Young, S.I.4
Barnett, C.S.5
Clemens, S.R.6
Gilmer, G.F.7
Reeves, A.8
Renfro, F.L.9
Thompson, M.M.10
Thornton, C.A.11
-
34
-
-
38049127411
-
Penrose's Gödelian argument
-
This is an electronic publication
-
S. Feferman, Penrose's Gödelian argument, Psyche 2.1. This is an electronic publication. It is available at http://psyche.cs.monash.edu.au/ psyche/volume2-1/psyche-95-2-7-shadows-5-feferman.html, 1995.
-
(1995)
Psyche 2.1
-
-
Feferman, S.1
-
35
-
-
84969469721
-
Mental algorithms: Are minds computational systems?
-
Fetzer J. Mental algorithms. are minds computational systems? Pragmatics Cognition. 2(1):1994;1-29.
-
(1994)
Pragmatics Cognition
, vol.2
, Issue.1
, pp. 1-29
-
-
Fetzer, J.1
-
36
-
-
2442537024
-
A small infinite puzzle
-
Friedman K. A small infinite puzzle. Analysis. 65(4):2002;344-345.
-
(2002)
Analysis
, vol.65
, Issue.4
, pp. 344-345
-
-
Friedman, K.1
-
37
-
-
0013059005
-
Some basic theorems on the foundations of mathematics and their implications
-
Oxford University Press, Oxford, UK
-
K. Gödel, Some basic theorems on the foundations of mathematics and their implications, in: Collected Works III, Oxford University Press, Oxford, UK, 1951/1995, pp. 304-323.
-
(1951)
Collected Works III
, pp. 304-323
-
-
Gödel, K.1
-
38
-
-
0002295357
-
Limiting recursion
-
Gold M. Limiting recursion. J. Symbolic Logic. 30(1):1965;28-47.
-
(1965)
J. Symbolic Logic
, vol.30
, Issue.1
, pp. 28-47
-
-
Gold, M.1
-
39
-
-
0034401276
-
Infinite time Turing machines
-
Hamkins J.D., Lewis A. Infinite time Turing machines. J. Symbolic Logic. 65(2):2000;567-604.
-
(2000)
J. Symbolic Logic
, vol.65
, Issue.2
, pp. 567-604
-
-
Hamkins, J.D.1
Lewis, A.2
-
40
-
-
0001829116
-
Other bodies, other minds: A machine incarnation of an old philosophical problem
-
Harnad S. Other bodies, other minds. a machine incarnation of an old philosophical problem Minds Mach. 1(1):1991;43-54.
-
(1991)
Minds Mach.
, vol.1
, Issue.1
, pp. 43-54
-
-
Harnad, S.1
-
42
-
-
0011204801
-
Waking up from the Boolean dream
-
Bantam, New York, NY
-
D. Hofstadter, Waking up from the Boolean dream, in: Metamagical Themas: Questing for the Essence of Mind and Matter, Bantam, New York, NY, 1985, pp. 661-665.
-
(1985)
Metamagical Themas: Questing for the Essence of Mind and Matter
, pp. 661-665
-
-
Hofstadter, D.1
-
43
-
-
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? Found. Phys. Lett. 5:1992;173-181.
-
(1992)
Found. Phys. Lett.
, vol.5
, pp. 173-181
-
-
Hogarth, M.1
-
44
-
-
2442551891
-
The Ada perplex: How Byron's daughter came to be celebrated as a cybervisionary
-
Holt J. The Ada perplex. how Byron's daughter came to be celebrated as a cybervisionary The New Yorker March. 5:2001;88-93.
-
(2001)
The New Yorker
, vol.MARCH 5
, pp. 88-93
-
-
Holt, J.1
-
47
-
-
0003309402
-
Thinking may be more than computing
-
Kugel P. Thinking may be more than computing. Cognition. 18:1986;128-149.
-
(1986)
Cognition
, vol.18
, pp. 128-149
-
-
Kugel, P.1
-
48
-
-
0032156178
-
Why Gödel's theorem cannot refute computationalism
-
LaForte G., Hayes P., Ford K. Why Gödel's theorem cannot refute computationalism. Artificial Intelligence. 104:1998;265-286.
-
(1998)
Artificial Intelligence
, vol.104
, pp. 265-286
-
-
LaForte, G.1
Hayes, P.2
Ford, K.3
-
50
-
-
0442309527
-
Minds, machines, and Gödel
-
A.R. Anderson. Englewood Cliffs, NJ: Prentice-Hall
-
Lucas J.R. Minds, machines, and Gödel. Anderson A.R. Minds and Machines. 1967;43-59 Prentice-Hall, Englewood Cliffs, NJ. (Lucas' paper is available online at http://users.ox.ac.uk/~jrlucas/mmg.html ).
-
(1967)
Minds and Machines
, pp. 43-59
-
-
Lucas, J.R.1
-
51
-
-
0013059980
-
Minds, machines, and Gödel: A retrospect
-
P. Millican, & A. Clark. Oxford, UK: Oxford University Press
-
Lucas J.R. Minds, machines, and Gödel: a retrospect. Millican P., Clark A. Machines and Thought: The Legacy of Alan Turing. 1996;103-124 Oxford University Press, Oxford, UK.
-
(1996)
Machines and Thought: The Legacy of Alan Turing
, pp. 103-124
-
-
Lucas, J.R.1
-
53
-
-
0041486672
-
-
New York, NY: Routledge
-
Moore A.W. The Infinite. 1990;Routledge, New York, NY.
-
(1990)
The Infinite
-
-
Moore, A.W.1
-
54
-
-
0001304710
-
Physical symbol systems
-
Newell A. Physical symbol systems. Cognitive Sci. 4:1980;135-183.
-
(1980)
Cognitive Sci.
, vol.4
, pp. 135-183
-
-
Newell, A.1
-
56
-
-
0004112412
-
-
Oxford, UK: Oxford University Press
-
Penrose R. Shadows of the Mind. 1994;Oxford University Press, Oxford, UK.
-
(1994)
Shadows of the Mind
-
-
Penrose, R.1
-
57
-
-
0042948677
-
Beyond the doubting of a shadow: A reply to commentaries on Shadows of the Mind
-
This is an electronic publication
-
Penrose R. Beyond the doubting of a shadow. a reply to commentaries on Shadows of the Mind Psyche. 2(3):1996;. This is an electronic publication. It is available at http://psyche.cs.monash.edu.au/v2/psyche-2-23-penrose.html.
-
(1996)
Psyche
, vol.2
, Issue.3
-
-
Penrose, R.1
-
58
-
-
0042447771
-
-
Collier, New York, NY
-
R.S. Peters (Ed.), Body, Man, and Citizen: Selections from Hobbes' Writing, Collier, New York, NY, 1965.
-
(1965)
Body, Man, and Citizen: Selections from Hobbes' Writing
-
-
Peters, R.S.1
-
59
-
-
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
-
60
-
-
0039109004
-
Recursively enumerable sets of positive integers and their decision problems
-
Post E. Recursively enumerable sets of positive integers and their decision problems. Bull. Amer. Math. Soc. 50:1944;284-316.
-
(1944)
Bull. Amer. Math. Soc.
, vol.50
, pp. 284-316
-
-
Post, E.1
-
61
-
-
0002019785
-
Trial and error predicates and a solution to a problem of Mostowski
-
Putnam H. Trial and error predicates and a solution to a problem of Mostowski. J. Symbolic Logic. 30(1):1965;49-57.
-
(1965)
J. Symbolic Logic
, vol.30
, Issue.1
, pp. 49-57
-
-
Putnam, H.1
-
62
-
-
0009167221
-
Review of Roger Penrose's shadows of the mind
-
Putnam H. Review of Roger Penrose's shadows of the mind. Bull. Amer. Math. Soc. 32(3):1995;370-373.
-
(1995)
Bull. Amer. Math. Soc.
, vol.32
, Issue.3
, pp. 370-373
-
-
Putnam, H.1
-
63
-
-
0542444051
-
How minds can be computational systems
-
Rapaport W. How minds can be computational systems. J. Exp. Theoret. Artif. Intell. 10:1998;403-419.
-
(1998)
J. Exp. Theoret. Artif. Intell.
, vol.10
, pp. 403-419
-
-
Rapaport, W.1
-
64
-
-
0002719358
-
Syntactic semantics: Foundations of computational natural-language understanding
-
J. Fetzer. Dordrecht, The Netherlands: Kluwer
-
Rapaport W. Syntactic semantics: foundations of computational natural-language understanding. Fetzer J. Aspects of Artificial Intelligence. 1988;81-131 Kluwer, Dordrecht, The Netherlands.
-
(1988)
Aspects of Artificial Intelligence
, pp. 81-131
-
-
Rapaport, W.1
-
66
-
-
0000266218
-
The limits of empiricism
-
Russell B. The limits of empiricism. Proc. Aristotelian Soc. 36:1936;131-150.
-
(1936)
Proc. Aristotelian Soc.
, vol.36
, pp. 131-150
-
-
Russell, B.1
-
68
-
-
0019199513
-
Minds, brains and programs
-
Searle J. Minds, brains and programs. Behavioral Brain Sci. 3:1980;417-424. This paper is available online at http://members.aol.com/ NeoNoetics/MindsBrainsPrograms.html.
-
(1980)
Behavioral Brain Sci.
, vol.3
, pp. 417-424
-
-
Searle, J.1
-
69
-
-
2442501536
-
Mechanism, truth, and Penrose's new argument
-
Shapiro S. Mechanism, truth, and Penrose's new argument. J. Philos. Logic. 32(1):2003;19-42.
-
(2003)
J. Philos. Logic
, vol.32
, Issue.1
, pp. 19-42
-
-
Shapiro, S.1
-
71
-
-
0018878497
-
Cognitive science: The newest science of the artificial
-
Simon H. Cognitive science. the newest science of the artificial Cognitive Sci. 4:1980;33-56.
-
(1980)
Cognitive Sci.
, vol.4
, pp. 33-56
-
-
Simon, H.1
-
72
-
-
0019406359
-
Study of human intelligence by creating artificial intelligence
-
Simon H. Study of human intelligence by creating artificial intelligence. Amer. Sci. 69(3):1981;300-309.
-
(1981)
Amer. Sci.
, vol.69
, Issue.3
, pp. 300-309
-
-
Simon, H.1
-
73
-
-
0008222826
-
-
Cambridge, MA: MIT Press
-
Stillings N., Weisler S., Chase C., Feinstein M., Garfield J., Rissland E. Cognitive Science. 1995;MIT Press, Cambridge, MA.
-
(1995)
Cognitive Science
-
-
Stillings, N.1
Weisler, S.2
Chase, C.3
Feinstein, M.4
Garfield, J.5
Rissland, E.6
-
74
-
-
0012265317
-
-
Ph.D. Dissertation, Princeton University, Princeton, NJ
-
A. Turing, Systems of Logic Based on Ordinals, Ph.D. Dissertation, Princeton University, Princeton, NJ, 1938.
-
(1938)
Systems of Logic Based on Ordinals
-
-
Turing, A.1
-
75
-
-
84960599352
-
Systems of logic based on ordinals
-
Turing A. Systems of logic based on ordinals. Proc. London Math. Soc. (Ser. 2). 45:1939;161-228.
-
(1939)
Proc. London Math. Soc. (Ser. 2)
, vol.45
, pp. 161-228
-
-
Turing, A.1
-
76
-
-
0003190274
-
Intelligent machinery
-
B. Meltzer, & D. Michie. Edinburgh, UK: Edinburgh University Press
-
Turing A. Intelligent machinery. Meltzer B., Michie D. Machine Intelligence. 1969;1-24 Edinburgh University Press, Edinburgh, UK.
-
(1969)
Machine Intelligence
, pp. 1-24
-
-
Turing, A.1
-
77
-
-
84960561455
-
On computable numbers with applications to the entscheidung-problem
-
Turing A.M. On computable numbers with applications to the entscheidung-problem. Proc. London Math. Soc. 42:1936;230-265.
-
(1936)
Proc. London Math. Soc.
, vol.42
, pp. 230-265
-
-
Turing, A.M.1
-
79
-
-
0037590763
-
On computabilism and physicalism: Some sub-problems
-
J. Cornwell. Oxford, UK: Oxford University Press
-
Wang H. On computabilism and physicalism: some sub-problems. Cornwell J. Nature's Imagination: The Frontiers of Scientific Vision. 1995;161-189 Oxford University Press, Oxford, UK.
-
(1995)
Nature's Imagination: The Frontiers of Scientific Vision
, pp. 161-189
-
-
Wang, H.1
|