메뉴 건너뛰기




Volumn 317, Issue 1-3, 2004, Pages 167-190

The modal argument for hypercomputing minds

Author keywords

Computationalism; Hypercomputation; Incompleteness theorems

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATION THEORY; INFORMATION ANALYSIS; THEOREM PROVING; TURING MACHINES;

EID: 2442549794     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2003.12.010     Document Type: Conference Paper
Times cited : (27)

References (80)
  • 4
    • 2442486781 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 30
    • 84936010109 scopus 로고
    • 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 scopus 로고
    • 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
  • 34
    • 38049127411 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 43
    • 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? Found. Phys. Lett. 5:1992;173-181.
    • (1992) Found. Phys. Lett. , vol.5 , pp. 173-181
    • Hogarth, M.1
  • 44
    • 2442551891 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 54
    • 0001304710 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 59
    • 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
  • 60
    • 0039109004 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 74
    • 0012265317 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


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