References

1

Ashcraft, M.H. (1994) Human Memory and Cognition (New York, NY: HarperCollins).

2

Barr, A. (1983) ``Artificial Intelligence: Cognition as Computation," in Fritz Machlup, ed., The Study of Information: Interdisciplinary Messages (New York, NY: Wiley-Interscience), pp. 237-262.

3

Barwise, J. & Etchemendy, J. (1993) Turing's World 3.0 (Stanford, CA: CSLI Publications).

4

Bennett, C.H. (1984) ``Thermodynamically Reversible Computation," Phys. Rev. Lett. 53: 1202.

5

Bennett, C.H. (1982) ``The Thermodynamics of Computation -- A Review," International Journal of Theoretical Physics 21: 905-940.

6

Bennett, C. H. (1973) ``Logical Reversibility of Computation," IBM Journal of Research Development November: 525-532.

7

Berlekamp, E., Conway, J., Guy, R. (1982) Winning Ways, vol. 2 (NY, NY: Academic Press). See chapter 25 for Conway's description of Life.

8

Block, N. (1995) ``On a Confusion About a Function of Consciousness," Behavioral and Brain Sciences 18: 227-247.

9

Boolos, G.S. & Jeffrey, R.C. (1980) Computability and Logic (Cambridge, UK: Cambridge University Press).

2a

Bringsjord, S. & Ferrucci, D. (forthcoming) Artificial Intelligence, Literary Creativity, and Story Generation: The State of the Art (Hillsdale, NJ: Lawrence Erlbaum).

2b

Bringsjord, S. & Zenzen, M. (forthcoming) In Defense of Uncomputable Cognition (Dordrecht, The Netherlands: Kluwer).

2c

Bringsjord, S. (1995) ``Could, How Could We Tell If, and Why Should -- Androids Have Inner Lives," in Ford, K. & Glymour, C., eds., Android Epistemology, (Cambridge, MA: MIT Press), pp. 93-122.

2d

Bringsjord, S. (1994) ``Computation, Among Other Things, Is Beneath Us," Minds & Machines 4.4: 469-488.

2e

Bringsjord, S. (1992) What Robot's Can and Can't Be (Dordrecht, The Netherlands: Kluwer).

2f

Bringsjord, S. (1991) ``Is the Connectionist-Logicist Clash One of AI's Wonderful Red Herrings?" Journal of Experimental and Artificial Intelligence 3.4: 319-349.

2g

Bringsjord, S & Zenzen, M. (1991) ``In Defense of Hyper-Logicist AI," IJCAI `91, (Mountain View, CA: Morgan Kaufmann), pp. 1066-1072.

10

Davis, M. and E. Weyuker (1983) Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (New York, NY: Academic Press).

11

Dennett, D. (1993) ``Review of John Searle's The Rediscovery of the Mind," Journal of Philosophy 90.4: 193-205.

12

Dennett, D. (1991) Consciousness Explained (Boston, MA: Little, Brown).

13

Descartes, R. (1911-first edition) The Philosophical Works of Descartes, Vol. I, translated by Haldane, E.S. & Ross, G.R.T. (Cambridge, UK: Cambridge University Press).

14

Dietrich, E. (1990) ``Computationalism," Social Epistemology 4.2: 135-154.

15

Ebbinghaus, H.D., Flum, J., Thomas, W. (1984) Mathematical Logic (New York, NY: Springer-Verlag).

16

Fetzer, J. (1994) ``Mental Algorithms: Are Minds Computational Systems?" Pragmatics and Cognition 2.1: 1-29.

17

Harnad, S. (1991) ``Other Bodies, Other Minds: A Machine Incarnation of an Old Philosophical Problem," Minds and Machines 1.1: 43-54.

18

Haugeland, J. (1981) Artificial Intelligence: The Very Idea (Cambridge, MA: MIT Press).

19

Hobbes, T. (1839) De Corpore, chap. 1, in English Works, ed. Molesworth, reprinted in (1962) Body, Man and Citizen (New York, NY: Collier).

20

Hofstadter, D. R. (1985) ``Waking Up from the Boolean Dream," Chapter 26 in his Metamagical Themas: Questing for the Essence of Mind and Pattern (New York, NY: Bantam), pp. 631-665.

21

Hopcroft, J.E. & Ullman, J.D. (1979) Introduction to Automata Theory, Languages and Computation (Reading, MA: Addison-Wesley).

22

Jacquette, D. (1994) Philosophy of Mind (Englewood Cliffs, NJ: Prentice-Hall).

23

Johnson-Laird, P. (1988) The Computer and the Mind (Cambridge, MA: Harvard University Press).

24

Lewis, H. and C. Papadimitriou (1981) Elements of the Theory of Computation (Englewood Cliffs, NJ: Prentice-Hall).

25

Marxen, H. & Buntrock, J. (1990) ``Attacking the Busy Beaver 5," Bulletin of the European Association for Theoretical Computer Science 40: 247-251.

26

Maudlin, T. (1989) ``Computation and Consciousness," Journal of Philosophy 84: 407-432.

27

McCulloch, W.S. & Pitts, W. (1943) ``A Logical Calculus of the Ideas Immanent in Nervous Activity," Bulletin of Mathematical Biophysics 5: 115-137.

28

Newell, A. (1980) ``Physical Symbol Systems," Cognitive Science 4: 135-183.

29

Partee, B., Meulen, A. & Wall, R. (1990) Mathematical Methods in Linguistics (Dordrecht, The Netherlands: Kluwer Academic Publishers).

30

Poundstone, W. (1985) The Recursive Universe (NY, NY: William Morrow).

31

Putnam, H. (1960) ``Minds and Machines," in his (1975) Mind, Language, and Reality: Philosophical Papers vol. 2 (Cambridge, UK: Cambridge University Press).

32

Rado, T. (1963) ``On Non-Computable Functions," Bell System Technical Journal 41: 877-884.

33

Rogers, H. (1967) Theory of Recursive Functions and Effective Computability (New York, NY: McGraw-Hill).

34

Schacter, D.L. (1989) ``On the Relation Between Memory and Consciousness: Dissociable Interactions and Conscious Experience," in Varieties of Memory and Consciousness: Essays in Honour of Endel Tulving, ed. H. Roediger & F. Craik (Hillsdale, NJ: Erlbaum).

35

Searle, J. (1980) ``Minds, Brains and Programs," Behavioral and Brain Sciences 3: 417-424.

36

Simon, H. (1980) ``Cognitive Science: The Newest Science of the Artificial," Cognitive Science 4: 33-56.

37

Simon, H. (1981) ``Study of Human Intelligence by Creating Artificial Intelligence," American Scientist 69.3: 300-309.

38

Smolensky, P. (1988) ``On the Proper Treatment of Connectionism," Behavioral & Brain Sciences 11: 1-22.

39

Smolensky, P. (1988) ``Putting Together Connectionism -- Again," Behavioral & Brain Sciences 11: 59-70.

40

Soare, R. (1980) Recursively Enumerable Sets and Degrees (New York, NY: Springer-Verlag).

41

Stillings, N.A., Weisler, S.E., Chase, C.H., Feinstein, M.H., Garfield, J.L., Rissland, E.L. (1995) Cognitive Science: An Introduction (Cambridge, MA: MIT Press).

42

Zenzen, M. and Hollinger, H. (1985) The Nature of Irreversibility (Dordrecht, The Netherlands: D. Reidel).