Abstract
If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal objects. They have infinitely complex bodies. Transfinite games anchor their social relations.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abelson, H. and diSessa, A. (1984), Turtle Geometry: The Computer as a Medium for Exploring Mathematics, Cambridge, MA: MIT Press.
Axelrod, R. (1984), The Evolution of Cooperation, New York: Basic Books.
Bekenstein, J. and Schiffer, M. (1990), 'Quantum Limitations on the Storage and Transmission of Information', International Journal of Modern Physics, 1 pp. 355–422.
Bhalla, U. and Iyengar, R. (1999),' Emergent Properties of Networks of Biological Signaling Pathways', Science 283, pp. 381–387.
Blum, L., Cucker, F. Shub, M. and Smale, S. (1998), Complexity and Real Computation, NewYork: Springer-Verlag.
Boolos, G. and Jeffrey, R. (1980), Computability and Logic (2nd edition), New York: Cambridge University Press.
Borges, J.L. (1964), Labyrinths, New York: New Directions.
Boucher, A. (1997),' Parallel Machines', Minds and Machines 7, pp. 543–551.
Brams, J. (1983), Superior Beings, New York: Springer.
Bray, D. (1995), 'Protein Molecules as Computational Elements in Living Cells', Nature 376(6538), pp. 307–312.
Ciesielski, K. and Laver, R. (1990), 'A Game of D. Gale in which One of the Players has Limited Memory', Periodica mathematica Hungarica 22, pp. 153–158.
Conway, J. (2001), On Numbers and Games (2nd edition), Natick, MA: A. K. Peters.
Copeland, B.J. (1998a), 'Super-Turing Machines', Complexity 4(1), pp. 30–32.
Copeland, B.J. (1998b), 'Even Turing Machines can Compute Uncomputable Functions', in C. Calude, J. Casti, and M. Dinneen, eds., Unconventional models of Computation, New York: Springer.
Copeland, B.J. (2000), 'Narrow Versus Wide Mechanism', Journal of Philosophy 95(1), pp. 5–32.
Cuthbertson, R., Paton, R. and Holcombe, M. (1996), Computation in Cellular and Molecular Biological Systems, River Edge, NJ: World Scientific.
Danielson, P. (1992), Artificial Morality: Virtuous Robots for Virtual Games, New York: Routledge.
Davies, E.B. (2000), 'Building Infinite Machines', British Journal for the Philosophy of Science 52(4), pp. 671–682.
Dennett, D. (1996), Kinds of Minds, New York: Basic Books.
Deutsch, D. (1985), 'Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer', Proceedings of the Royal Society, Series A, 400, pp. 97–117.
Doyle, J. (1991), 'The Foundations of Psychology', in R. Cummins and J. Pollock, eds., Philosophy and AI: Essays at the Interface, Cambridge, MA: MIT Press, pp. 39–78.
Earman, J. and Norton, J. (1996), 'Infinite Pains: The Trouble with Supertasks', in A. Morton and S. Stich, eds., Benacerraf and His Critics, Cambridge, MA: Blackwell, pp. 231–262.
Farmer, J. and Belin, A. d'A. (1991), 'Artificial Life: The Coming Evolution', in C. Langton, C. Taylor, J. Farmer, and S. Rasmussen, Artificial Life II, Reading, MA: Addison-Wesley, pp. 815–840.
Fodor, J. (1975), The Language of Thought, Cambridge, MA: Harvard University Press.
Fodor, J. (1987), Psychosemantics, Cambridge, MA: MIT Press.
Fodor, J. (1990), A Theory of Content and Other Essays, Cambridge, MA: MIT Press.
Freiling, C. (1984), 'Banach Games', Journal of Symbolic Logic 49(2), pp. 343–375.
Gale, D. and Stewart, F.M. (1953), 'Infinite Games With Perfect Information', in H. Kuhn and A. Tucker, eds., Contributions to the Theory of Games Vol. 2, Annals of Mathematical Studies 28, Princeton, NJ: Princeton University Press, pp. 245–266.
Giunti, M. (1997), Computation, Dynamics, and Cognition, New York: Oxford University Press.
Glasgow, J. and Papadias, D. (1992), 'Computational Imagery', Cognitive Science 16, pp. 355–394.
Hamilton, A. (1982), Numbers, Sets, and Axioms: The Apparatus of Mathematics, NewYork: Cambridge University Press.
Hamkins, J.D. and Lewis, A. (2000), 'Infinite Time Turing Machines', Journal of Symbolic Logic 65(2), pp. 567–604.
Hick, J. (1976), Death and Eternal Life, New York: Harper and Row.
Hintikka, J. (1969), Models for Modalities, Dordrecht: Reidel.
Hintikka, J. (1975), The Intentions of Intentionality, Dordrecht: Reidel.
Jech, T. (1984), 'More Game-Theoretic Properties of Boolean Algebras', Annals of Pure and Applied Logic 26, pp. 11–29.
Juhl, C. (1995), 'Is Gold-Putnam Diagonalization Complete?', Journal of Philosophical Logic 24, pp. 117–138.
Karp, C. (1964), Languages with Expressions of Infinite Length, Amsterdam: North-Holland.
Kitcher, P. (1984), The Nature of Mathematical Knowledge, New York: Oxford University Press.
Koetsier, T. and Allis, V. (1997),' 'Assaying Supertasks', Logique et Analyse 159, pp. 291–313.
Koshland, D.E., Jr. (1980), 'Bacterial Chemotaxis in Relation to Neurobiology', Annual Review of Neurosciences 3, pp. 43–75.
Leibniz, G.W. (1710/1996) Theodicy, trans. E.M. Huggard with modifications by E. Steinhart, Peru, IL: Open Court.
Leslie, J. (2001), Infinite Minds: A Philosophical Cosmology, New York: Oxford.
Lewis, D. (1986), On the Plurality of Worlds, Cambridge, MA: Blackwell.
Lodish, H., Baltimore, H., Berk, A., Zipusky, S., Matsudaira, P. and Darnell, J. (1995), Molecular Cell Biology, 3rd edition, New York: W.H. Freeman.
Lovejoy, A. (1936), The Great Chain of Being, Cambridge, MA: Harvard University Press.
Maes, P. (1995), 'Modeling Adaptive Autonomous Agents', in C. Langton, ed., Artificial Life: An Overview, Cambridge, MA: MIT Press, pp. 135–162.
Mandik, P. (2002), 'Synthetic Neuroethology', in T. Bynum and J. Moor, eds., Metaphilosophy Special Issue: CyberPhilosophy: The Intersection of Philosophy and Computing, Metaphilosophy 33(1/2), pp. 11–29.
Mandlebrot, B. (1978), Fractals: Form, Chance, and Dimension, San Francisco: CA: W.H. Freeman.
McAdams, H. and Shapiro, L. (1995), 'Circuit Simulation of Genetic Networks', Science 269, pp. 650–656.
Moravec, H. (1988), Mind Children: The Future of Robot and Human Intelligence, Cambridge MA: Harvard University Press.
Moravec, H. (2000), Robot: Mere Machine to Transcendent Mind, New York: Oxford University Press.
Ortony, A., Clore, G., and Collins, A. (1990), The Cognitive Structure of Emotions, NewYork: Cambridge University Press.
Penrose, R. (1991), The Emporer's New Mind, New York: Penguin Books.
Poincare, H. (1952), Science and Hypothesis, New York: Dover Publications.
Preparata, F. and Shamos, M. (1985), Computational Geometry: An Introduction, NewYork: Springer.
Proclus (1992), The Elements of Theology, trans. E.R. Dodds, New York: Oxford University Press.
Prusinkiewicz, P. and Lindenmayer, A. (1990), The Algorithmic Beauty of Plants, NewYork: Springer.
Ptashne, M. (1996), A Genetic Switch: Phage (Lambda) and Higher Organisms, 2nd edition, New York: Blackwell Science.
Quine, W.V. (1969), Ontological Relativity and Other Essays, New York: Columbia University Press.
Quine, W.V. (1976), 'Wither Physical Objects?', Boston Studies in the Philosophy of Science 39, pp. 497–504.
Quine, W.V. (1978), 'Facts of the Matter', Southwestern Journal of Philosophy 9(2), pp. 155–169.
Quine, W.V. (1981), Theories and Things, Cambridge, MA: Harvard University Press.
Royce, J. (1927), The World and the Individual, First Series, Supplementary Essay, NewYork: The Macmillan Company.
Royce, J. (1987), 'The Conception of God', in J. Royce, J. Le Conte, G. Howison and S. Mezes, The Conception of God, New York: The Macmillan Company.
Rucker, R. (1995), Infinity and the Mind, Princeton, NJ: Princeton University Press.
Russell, S. and Norvig, P. (1995), Artificial Intelligence: A Modern Approach, Englewood Clifs, NJ: Prentice Hall.
Scheepers, M. (1993), 'Variations on a Game of Gale (I): Coding Strategies', Journal of Symbolic Logic 58(3), pp. 1035–1043.
Scott, J. and Pawson, T. (2000), 'Cell Communication: The Inside Story', Scientific American 282(6), pp. 72–79.
Shagrir, O. (1997), 'Two Dogmas of Computationalism', Minds and Machines 7(3), pp. 321–344.
Siegelmann, H. (1995), 'Computation beyond the Turing Limit', Science 268, pp. 545–548.
Siegelmann, H. (1996), 'The Simple Dynamics of Super Turing Theories', Theoretical Computer Science 168, pp. 461–472.
Smart, J.J.C. (1972), 'Space', in P. Edwards, ed., The Encyclopedia of Philosophy, NewYork: Macmillan Publishing, Vol. 7, pp. 506–511.
Smolgyi, R. and Sniegoski, C. (1996), 'Modeling the Complexity of Genetic Networks', Complexity 1(6), pp. 45–63.
Sorensen, R. (1994), 'Infinite Decision Theory', in J. Jordan, ed., Gambling on God. London: Rowman and Littlefield, pp. 139–159.
Stalnaker, R. (1984), Inquiry, Cambridge, MA: MIT Press.
Steinhart, E. (2001), 'Persons vs. Brains: Biological Intelligence in the Human Organism', Biology and Philosophy 16(1), pp. 3–27.
Steinhart, E. (2002), 'Logically Possible Machines', Minds and Machines 12(2), pp. 259–280.
Taliaferro, C. (1985), 'Divine Cognitive Power', International Journal for Philosophy of Religion 18, pp. 133–140.
Taliaferro, C. (1994), Consciousness and the Mind of God, New York: Cambridge University Press.
Tye, M. (1995), Ten Problems of Consciousness, Cambridge, MA, MIT Press.
Yockey, H. (1992), Information Theory and Molecular Biology, New York: Cambridge University Press.
Yuh, C.-H. et al. (1998), 'Genomic cis-Regulatory Logic', Science 279, pp. 1896–1902.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Steinhart, E. Supermachines and Superminds. Minds and Machines 13, 155–186 (2003). https://doi.org/10.1023/A:1021307923600
Issue Date:
DOI: https://doi.org/10.1023/A:1021307923600