Abstract
The notion of a coming technological singularity is a key concept in contemporary science fiction, futurism and popular science. It is the central theme in block-buster movies such as The Matrix (1999) and The Terminator (1984) and a number of science fiction novels, such as William Gibson’s Neuromancer (1984) and William Thomas Quick’s trilogy Dreams of Flesh and Sand (1988), Dreams of Gods and Men (1989), and Singularities (1990) (see Esterbrook 2012, for further references and analysis of the science fiction literature). Furthermore, there are dozens of popular science books, hundreds of academic papers and even a congressional report on the singularity. There is a Singularity University and an annual singularity conference, where top academics and intellectuals including Douglas Hofstadter, Rodney Brooks, David Chalmers and Stephen Wolfram have given talks. So, yes, the singularity is a concept to be taken seriously.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Full list of speakers and mp3-recordings of the talks are available at http://intelligence.org/singularitysummit/.
- 3.
The mathematical content of the proposition is not consequential for us here. For those interested, Robbins’ problem in brief consists in showing a particular set of equations, including the so-called Robbins equation (¬(¬(x + y) + ¬ (x + ¬ y)) = x), form the basis of a Boolean algebra.
- 4.
As an example a toy problem could be: Show that the expression: “(R⊃~P)⋅(~R⊃Q)” can be transformed into the expression: “~(~Q⋅P)” given a twelve formal rules determining how to manipulate expressions containing the four logical operators “⊃”, “⋅”, “~” and “∨”. This was the main example considered in (Newell and Simon 1963).
- 5.
For those interested in the mathematical content a group (G,*) consists of a non-empty set of elements G and a binary composition * on the elements such that (G,*) satisfies the following four axioms:
-
1.
There is neutral element in G, i.e. an element e such that e*a = a for any element a in G.
-
2.
G is closed under the composition *, i.e. if a, b is in G, then a*b is also in G.
-
3.
The composition is associative, i.e. for all a, b, c in G, (a*b)*c=a*(b*c).
-
4.
All the elements of G have inverses, i.e. for any element a in G there exists an element a −1 in G such that a*a −1 = e.
-
1.
References
American Mathematical Society Committee on Professional Ethics. (1996). Procedures manual. Online document available at: http://www.ams.org/about-us/governance/policy-statements/copemanual.pdf. Last seen 10 Jan 2015.
Beeson, M. (2003). The mechanization of mathematics. In Alan Turing: Life and legacy of a great thinker (pp. 77–134). New York: Springer.
Colton, S. (2001). Experiments in meta-theory formation. In Proceedings of the AISB’01 symposium on creativity in arts and science. York: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
Colton, S. (2007). Computational discovery in pure mathematics. In S. Dzeroski & L. Todorowski (Eds.), Computational discovery of scientific knowledge. Introduction, techniques, and applications in environmental and life sciences, LNAI 4660 (pp. 175–201). Berlin/New York: Springer.
Corfield, D. (2003). Towards a philosophy of real mathematics. Cambridge: Cambridge University Press.
Crevier, D. (1993). AI. The tumultuous history of the search for artificial intelligence. New York: Basic Books.
Dahn, B. I. (1998). Robbins algebras are Boolean: A revision of McCune’s computer-generated solution of Robbins problem. Journal of Algebra, 208(2), 526–532.
DeCruz, H. (2007). Innate ideas as a naturalistic source of mathematical knowledge. Towards a Darwinian approach to mathematics. Brussels: Vrije Universiteit Brussel.
Durán, A. J., Pérez, M., & Varona, J. L. (2014). The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them? Notices of the AMS, 61(10), 1249–1252.
Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathematics. Educational Studies in Mathematics, 61(1), 103–131.
Easterbrook, N. (2012). Singularities. Science Fiction Studies, 39(1), 15–27.
Feigenson, L., Dehaene, S., & Spelke, E. (2004). Core systems of number. Trends in Cognitive Sciences, 8(7), 307–314.
Gibson, W. (1984). Neuromancer. New York: Ace Books.
Hutchins, E. (1995). Cognition in the wild. Cambridge: The MIT Press.
Jacobson, N. (1985). Basic algebra 1. San Francisco: W.H. Freeman.
Johansen, M. W. (2010). Naturalism in the philosophy of mathematics. Copenhagen: Faculty of Science, University of Copenhagen. Online publication available at: http://www.nbi.dk/natphil/prs/mwj/Dissertation-mwj2010.pdf
Johansen, M. W. (2014). What’s in a diagram? On the classification of symbols, figures and diagrams. In L. Magnani (Ed.), Model-based reasoning in science and technology (Studies in applied philosophy, epistemology and rational ethics 8, pp. 89-108). Berlin/Heidelberg: Springer.
Johansen, M. W., & Misfeldt, M. (2016). An empirical approach to the mathematical values of problem choice and argumentation. In B. Larvor (Ed.), Mathematical cultures: The London meetings 2012–2014 (pp. 259–269). Switzerland: Springer.
Jonas, H. (1979). Das Prinzip Verantwortung: Versuch einer Ethik für die technologische Zivilisation. Insel-Verlag: Frankfurt am Main.
Kerberi, M., & Polleti, M. (2002). On the design of mathematical concepts. Cognitive Science research paper, University of Birmingham. Available online at: http://www.cs.bham.ac.uk/~mmk/papers/02-Calculemus.html
Kurzweil, R. (2005). The singularity is near. When humans transcend biology. New York: Viking.
Lakatos, I. (1976). Proofs and refutations. Cambridge: Cambridge University Press.
Lakoff, G., & Núñez, R. (2000). Where mathematics comes from: How the embodied mind brings mathematics into being. New York: Basic Books.
Lützen, J. (2006). A scientific duo: Reflections on the interplay between mathematics and physics. Newsletter of the European Mathematical Society, 60, 23–27.
Maddy, P. (1997). Naturalism in mathematics. Oxford: Oxford University Press.
McCune, W. (1997). Solution of the Robbins problem. Journal of Automated Reasoning, 19(3), 263–276.
Newell, A., & Simon, H. A. (1963). GPS, a program that simulates human thought. In E. Feigenbaum & J. Feldman (Eds.), Computers and thought (pp. 279–293). New York: McGraw-Hill Book Company.
Núñez, R. (2004). Do real numbers really move? Language, thought, and gesture: The embodied cognitive foundations of mathematics. In F. Iida, R. Pfeifer, L. Steels, & Y. Kuniyoshi (Eds.), Embodied artificial intelligence (pp. 54–73). Berlin: Springer.
Pease, A., Crook, P., Smaill, A., Colton, S., & Guhe, M. (2009). Towards a computational model of embodied mathematical language. Proceedings of AISB '09, Second Symposium on Computing and Philosophy. http://www.aisb.org.uk/publications/proceedings/aisb2009.zip
Penrose, R. (1990). The emperor’s new mind, concerning computers, minds, and the laws of physics. Oxford: Oxford University Press.
Pylyshyn, Z. W. (Ed.). (1987). The robot’s dilemma. Norwood: Ablex Publishing Corporation.
Pylyshyn, Z. W., & Ford, K. (Eds.). (1996). The robot’s dilemma revisited. Norwood: Ablex Publishing Corporation.
Quick, W. T. (1988). Dreams of flesh and sand. New York: New American Library.
Quick, W. T. (1989). Dreams of gods and men. New York: New American Library.
Quick, W. T. (1990). Singularities. New York: Penguin.
Searle, J. (1980). Minds, brains, and programs. Behavioral and Brain Science, 3(3), 417–424.
Simon, H. A. (1965). The shape of automation for men and management. New York: Harper and Row.
Simon, H. A., & Newell, A. (1958). Heuristic problem solving: The next advance in operations research. Operations Research, 6(1), 1–10.
Sørensen, H. K. (2010). Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm. In B. Löwe & T. Müller (Eds.), PhiMSAMP. Philosophy of mathematics: Sociological aspects and mathematical practice (pp. 341–360). London: College Publications.
Steels, L., & Hild, M. (2012). Language grounding in robots. New York: Springer.
Turing, A. M. (1950). Computing machinery and intelligence. Mind, 59, 433–460.
Ulam, S. (1958). Tribute to John von Neumann. Bulletin of the American Mathematical Society, 64(3), part 2, (May): 1-49.
Vinge, V. (1983). First word. Omni (Jan. 1983): 10.
Vinge, V. (1988). Threats and other promises. New York: Simon and Schuster.
Vinge, V. (1993). The coming technological singularity: How to survive in the post-human era. In G. A. Landis (Ed.), Vision-21: Interdisciplinary science and engineering in the era of cyberspace (NASA publication CP-10129, pp. 11–22). Washington, DC NASA
Zeilberger, D. (1999a). Opinion 36: Don’t ask: What can the computer do for ME?, But rather: What CAN I do for the COMPUTER? Online opinion available at: http://www.math.rutgers.edu/~zeilberg/Opinion36.html
Zeilberger, D. (1999b). Opinion 37: Guess what? Programming is even more fun than proving, and, more importantly it gives as much, if not more, insight and understanding. Online opinion available at: http://www.math.rutgers.edu/~zeilberg/Opinion37.html
Zhang, J. (1997). The nature of external representations in problem solving. Cognitive Science, 21(2), 179–217.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Johansen, M.W. (2017). Science Fiction at the Far Side of Technology: Vernor Vinge’s Singularity Thesis Versus the Limits of AI-Research. In: Baron, C., Halvorsen, P., Cornea, C. (eds) Science Fiction, Ethics and the Human Condition. Springer, Cham. https://doi.org/10.1007/978-3-319-56577-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-56577-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-56575-0
Online ISBN: 978-3-319-56577-4
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)