SCOPUS 정보 검색 플랫폼

Volumn 12, Issue 2, 2002, Pages 259-280

Logically possible machines

a WILLIAM PATERSON UNIVERSITY (United States)

Author keywords

Convergence; Fixed point; Infinite algorithm; Infinite machine; Infinite mind; Limit; Possible world; Situation; Super Turing computer

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; CONVERGENCE OF NUMERICAL METHODS; FORMAL LOGIC; SET THEORY; SUPERCOMPUTERS;

FIXED POINT; INFINITE ALGORITHM; INFINITE MACHINE; INFINITE MIND; LOGICALLY POSSIBLE MACHINES; MODAL LOGIC; POSSIBLE WORLD; SUPER MACHINES; TRANSFINITE SET THEORY;

TURING MACHINES;

EID: 0036577340 PISSN: 09246495 EISSN: None Source Type: Journal
DOI: 10.1023/A:1015603317236 Document Type: Article

Times cited : (9)

References (52)

1
- 0000131884
- Tasks, super-tasks, and the modern eleatics
- (1962) Journal of Philosophy , vol.59 , pp. 765-784
- Benacerraf, P.¹

2
- 0003615227
- New York: Springer
- (1998) Complexity and Real Computation
- Blum, L.¹ Cucker, F.² Shub, M.³ Smale, S.⁴

3
- 0003773186
- New York: Cambridge University Press
- (1980) Computability and Logic (2nd Edition)
- Boolos, G.¹ Jeffrey, R.²

4
- 0003411413
- New York: John Wiley & Sons
- (1977) Elementary Differential Equations (3rd Edition)
- Boyce, W.¹ DiPrima, R.²

5
- 0000622662
- Does a rock implement every finite-state automation?
- (1996) Synthese , vol.108 , pp. 309-333
- Chalmers, D.¹

6
- 34250084340
- Is the Church-Turing thesis true?
- (1993) Minds and Machines , vol.3 , pp. 283-312
- Cleland, C.¹

7
- 0029252194
- Effective procedures and computable functions
- (1995) Minds and Machines , vol.5 , pp. 9-23
- Cleland, C.¹

8
- 0009686529
- Software, abstraction, and ontology
- (1999) The Monist , vol.82 , pp. 3-20
- Colburn, T.¹

9
- 0001821065
- Beyond the universal Turing machine
- (1999) Australasian Journal of Philosophy , vol.77 , pp. 46-66
- Copeland, B.J.¹ Sylvan, R.²

10
- 0003023423
- What is computation?
- (1996) Synthese , vol.108 , pp. 335-359
- Copeland, B.J.¹

11
- 0000661597
- Super-Turing machines
- (1998) Complexity , vol.4 , pp. 30-32
- Copeland, B.J.¹

12
- 0000948377
- Even Turing machines can compute uncomputable functions
- in C. Calude, J. Casti and M. Dinneen, eds.; New York: Springer
- (1998) Unconventional Models of Computation
- Copeland, B.J.¹

13
- 0009722240
- The world is everything that is the case
- in M. Loux, Ed.; Ithaca. NY: Cornell University Press
- (1972) The Possible and the Actual , pp. 129-145
- Cresswell, M.J.¹

14
- 0022421379
- Quantum theory, the Church-Turing principle and the universal quantum computer
- (1985) Proceedings of the Royal Society, Series A , vol.400 , pp. 97-117
- Deutsch, D.¹

15
- 0009686530
- New York: Springer
- (1991) The Joy of Sets: Fundamentals of Contemporary Set Theory
- Devlin, K.¹

16
- 0002707112
- The foundations of psychology: A logico-computational inquiry into the concept of mind
- in R. Cummins and J. Pollock. eds.; Cambridge, MA: MIT Press
- (1991) Philosophy and AI: Essays at the Interface , pp. 39-78
- Doyle, J.¹

17
- 0003679103
- New York: American Elsevier
- (1974) Set Theory: An Introduction to Large Cardinals
- Drake, F.¹

18
- 77956947880
- Church's thesis and principles for mechanisms
- in J. Barwise, H. Keisler and K. Kunen, eds.; New York: North-Holland
- (1980) The Kleene Symposium , pp. 123-148
- Gandy, R.¹

19
- 0004258585
- New York: Oxford University Press
- (1997) Computation, Dynamics, and Cognition
- Giunti, M.¹

20
- 0009687418
- Can an infinitude of operations be performed in a finite time?
- (1969) British Journal of the Philosophy of Science , vol.20 , pp. 203-218
- Grunbaum, A.¹

21
- 0034401276
- Infinite time Turing machines
- (2000) Journal of Symbolic Logic , vol.65 , pp. 567-604
- Hamkins, J.D.¹ Lewis, A.²

22
- 0000560797
- Non-Turing computers and non-Turing computability
- (1994) Philosophy of Science Association , vol.1 , pp. 126-138
- Hogarth, M.¹

23
- 0004047063
- Untitled article; Sunday, 31 December 2000. Sec. 4 (Week in Review)
- (2000) New York Times , pp. 4
- Johnson, G.¹

24
- 0000172023
- Assaying supertasks
- (1997) Logique et Analyse , vol.159 , pp. 291-313
- Koetsier, T.¹ Allis, V.²

25
- 0001122210
- Causation
- (1973) Journal of Philosophy , vol.70 , pp. 556-567
- Lewis, D.¹

26
- 0004069749
- Cambridge, MA: Blackwell
- (1986) On the Plurality of Worlds
- Lewis, D.¹

27
- 0003666299
- San Francisco, CA: W. H. Freeman
- (1978) Fractals: Form, Chance, and Dimension
- Mandlebrot, B.¹

28
- 0004086440
- Cambridge, MA: Harvard University Press
- (1988) Mind Children: The Future of Robot and Human Intelligence
- Moravec, H.¹

29
- 0009655792
- Facts as truthmakers
- (1986) The Monist , vol.69 , pp. 177-188
- Pendlebury, M.¹

30
- 0003560855
- Chicago, IL: Contemporary Books, Inc.
- (1985) The Recursive Universe: Cosmic Complexity and the Limits of Scientific Knowledge
- Poundstone, W.¹

31
- 0003900799
- Cambridge, MA: MIT Press
- (1988) Representation and Reality
- Putnam, H.¹

32
- 0003701059
- New York: Columbia University Press
- (1969) Ontological Relativity and Other Essays
- Quine, W.V.¹

33
- 27744494750
- Wither physical objects?
- (1976) Boston Studies in the Philosophy of Science , vol.39 , pp. 497-504
- Quine, W.V.¹

34
- 54749112848
- Facts of the matter
- (1978) Southwestern Journal of Philosophy , vol.9 , pp. 155-169
- Quine, W.V.¹

35
- 0004288380
- Cambridge, MA: Harvard University Press
- (1981) Theories and Things
- Quine, W.V.¹

36
- 78049306871
- New York: Macmillan. Lectures originally delivered 1899
- (1899) The World and the Individual (First Series: Supplementary Essay)
- Royce, J.¹

37
- 78049306871
- Gloucester, MA: Peter Smith. Lectures originally delivered 1900
- (1900) The World and the Individual (Second Series)
- Royce, J.¹

38
- 0003866918
- Princeton, NJ: Princeton University Press
- (1995) Infinity and the Mind
- Rucker, R.¹

39
- 0009707880
- Causal connections
- in J. Kim and E. Sosa, eds.; Malden, MA: Blackwell
- (1984) Metaphysics , pp. 444-457
- Salmon, W.¹

40
- 0032629433
- When physical systems realize functions
- (1999) Minds and Machines , vol.9 , pp. 161-196
- Scheutz, M.¹

41
- 0002815174
- Is the brain a digital computer?
- (1990) Proceedings and Addresses of the American Philosophical Association , vol.64 , pp. 21-37
- Searle, J.¹

42
- 0031200424
- Two dogmas of computationalism
- (1997) Minds and Machines , vol.7 , pp. 321-344
- Shagrir, O.¹

43
- 49949116848
- An abstract model for parallel computations: Gandy's thesis
- (1999) The Monist , vol.82 , pp. 150-164
- Sieg, W.¹ Byrnes, J.²

44
- 0030283989
- The simple dynamics of super Turing theories
- (1996) Theoretical Computer Science , vol.168 , pp. 461-472
- Siegelmann, H.¹

45
- 0001635391
- The mind as a control system
- in C. Hookway and D. Peterson, eds.; Royal Institute of Philosophy Supplement 34, New York: Cambridge University Press
- (1993) Philosophy and Cognitive Science
- Sloman, A.¹

46
- 0003839170
- Cambridge, MA: MIT Press
- (1995) Cognitive Science: An Introduction (2nd Edition)
- Stillings, N.¹ Weisler, S.² Chase, C.³ Feinstein, M.⁴ Garfield, J.⁵ Rissland, E.⁶

47
- 0009686041
- Proof theory and set theory
- (1985) Synthese , vol.62 , pp. 255-263
- Takeuti, G.¹

48
- 0003674175
- Reading, MA: Addison-Wesley
- (1998) Calculus and Analytic Geometry (9th Edition)
- Thomas, G.¹ Finney, R.² Weir, M.³

49
- 70350455861
- Tasks and supertasks
- (1954) Analysis , vol.15 , pp. 1-13
- Thomson, J.¹

50
- 0003415313
- Cambridge, MA: MIT Press
- (1987) Cellular Automata Machines: A New Environment for Modeling
- Toffoli, T.¹ Margolus, N.²

51
- 0003596363
- New York: Atheneum. (Original work in German)
- (1927) Philosophy of Mathematics and Natural Science
- Weyl, H.¹

52
- 0033611463
- Getting its from bits
- (1999) Nature , vol.397 , pp. 303-306
- Wilczek, F.¹

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