메뉴 건너뛰기




Volumn 108, Issue 3, 1996, Pages 335-359

What is computation?

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0003023423     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/BF00413693     Document Type: Article
Times cited : (140)

References (37)
  • 4
    • 33748495743 scopus 로고
    • On When a Semantics is not a Semantics
    • Copeland, B. J.: 1979, 'On When a Semantics is not a Semantics', Journal of Philosophical Logic 8, 399-413.
    • (1979) Journal of Philosophical Logic , vol.8 , pp. 399-413
    • Copeland, B.J.1
  • 5
    • 33748506823 scopus 로고
    • What is a Semantics for Classical Negation?
    • Copeland, B. J.: 1986, 'What is a Semantics for Classical Negation?', Mind XCV, 478-90.
    • (1986) Mind , vol.95 , pp. 478-490
    • Copeland, B.J.1
  • 6
    • 0000761260 scopus 로고
    • The Curious Case of the Chinese Gym
    • Copeland, B. J.: 1993a, 'The Curious Case of the Chinese Gym', Synthese 95, 173-86.
    • (1993) Synthese , vol.95 , pp. 173-186
    • Copeland, B.J.1
  • 11
  • 12
    • 0001331738 scopus 로고    scopus 로고
    • On Alan Turing's Anticipation of Connectionism
    • Copeland, B. J. and Proudfoot, D.: 1996, 'On Alan Turing's Anticipation of Connectionism', Synthese 108, this issue.
    • (1996) Synthese , vol.108 , Issue.THIS ISSUE
    • Copeland, B.J.1    Proudfoot, D.2
  • 15
    • 0001681040 scopus 로고
    • Bertrand Russell's the Analysis of Matter: Its Historical Context and Contemporary Interest
    • Demopoulos, W. and Friedman, M.: 1985, 'Bertrand Russell's The Analysis of Matter: Its Historical Context and Contemporary Interest', Philosophy of Science 52, 621-39.
    • (1985) Philosophy of Science , vol.52 , pp. 621-639
    • Demopoulos, W.1    Friedman, M.2
  • 16
    • 0022421379 scopus 로고
    • Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer
    • Series A
    • Deutsch, D.: 1985, 'Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer', Proceedings of the Royal Society, Series A, 400, 97-117.
    • (1985) Proceedings of the Royal Society , vol.400 , pp. 97-117
    • Deutsch, D.1
  • 18
    • 77956947880 scopus 로고
    • Church's Thesis and Principles for Mechanisms
    • J. Barwise, H. J. Keisler, and K. Kunen (eds): 1980, North-Holland, Amsterdam
    • Gandy, R.: 1980, 'Church's Thesis and Principles for Mechanisms', in J. Barwise, H. J. Keisler, and K. Kunen (eds): 1980, The Kleene Symposium, North-Holland, Amsterdam, pp. 123-148.
    • (1980) The Kleene Symposium , pp. 123-148
    • Gandy, R.1
  • 19
    • 2342504814 scopus 로고
    • Notationality and the Information Processing Mind
    • Goel, V.: 1991, 'Notationality and the Information Processing Mind', Minds and Machines 1, 129-165.
    • (1991) Minds and Machines , vol.1 , pp. 129-165
    • Goel, V.1
  • 22
    • 0043033635 scopus 로고
    • Form, Function, and Feel
    • Lycan, W. G.: 1981, 'Form, Function, and Feel', Journal of Philosophy 78, 24-50.
    • (1981) Journal of Philosophy , vol.78 , pp. 24-50
    • Lycan, W.G.1
  • 23
    • 0004163272 scopus 로고
    • MIT Press, Cambridge, Mass.
    • Lycan, W. G.: 1987, Consciousness, MIT Press, Cambridge, Mass.
    • (1987) Consciousness
    • Lycan, W.G.1
  • 24
    • 0012368263 scopus 로고
    • Mr. Russell's "Causal Theory of Perception"
    • Newman, M. H. A.: 1928, 'Mr. Russell's "Causal Theory of Perception"', Mind 37, 137-48.
    • (1928) Mind , vol.37 , pp. 137-148
    • Newman, M.H.A.1
  • 32
    • 84935496658 scopus 로고
    • Getting Started: Beginnings in the Logic of Action
    • Atti del Convegno Internazionale di Storia della Logica, San Gimignano 5-8 dicembre 1987. CLUEB, Bologna, Italy
    • Segerberg, K.: 1989, 'Getting Started: Beginnings in the Logic of Action'. Atti del Convegno Internazionale di Storia della Logica, Le teorie delle modalità; San Gimignano 5-8 dicembre 1987. CLUEB, Bologna, Italy.
    • (1989) Le Teorie delle Modalità
    • Segerberg, K.1
  • 34
  • 36
    • 84960561455 scopus 로고
    • On Computable Numbers, with an Application to the Entscheidungsproblem
    • Series 2, (1936-37)
    • Turing, A. M.: 1936, 'On Computable Numbers, with an Application to the Entscheidungsproblem', Proceedings of the London Mathematical Society, Series 2, 42 (1936-37), 230-65.
    • (1936) Proceedings of the London Mathematical Society , vol.42 , pp. 230-265
    • Turing, A.M.1
  • 37
    • 0014655371 scopus 로고
    • Intelligent Machinery
    • National Physical Laboratory Report, Reprinted in Meltzer, B. and Michie, D. (eds), Edinburgh University Press, Edinburgh
    • Turing, A. M.: 1948, 'Intelligent Machinery', National Physical Laboratory Report, Reprinted in Meltzer, B. and Michie, D. (eds), Machine Intelligence, Vol. 5, Edinburgh University Press, Edinburgh, pp. 3-23.
    • (1948) Machine Intelligence , vol.5 , pp. 3-23
    • Turing, A.M.1


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