Abstract
In an episode of the television series Star Trek an ambitious star fleet researcher wants to requisition the android Mr. Data as an experimental subject. Data objected to this on the basis that one highly probable result of the experiments would be the cessation of his existence. The researcher claimed that Data was only a machine, hence star fleet property, and had no say in the matter. A military court was convened. Data was defended by Jean-Luc Picard, captain of the starship Enterprise on which Data served as science officer. Picard’s defense was that although it was not clear that Data was a self-conscious entity, it would set a dangerous precedent with regard to the rights of future self-aware constructs to declare that he was property.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Minsky, M., “Will robots inherit the Earth?”, Scientific American, 271, No. 4, 1994, pp. 108–113.
Moravec, H., Mind Child, Cambridge, MA, Harvard Univ., 1988.
Lucas, J.B., “Minds, machines, and Gödel”, Philosophy, 36, 1961, pp. 112–127.
Lewis, D., “Lucas against mechanism”, Philosophy, 44, 1969, p. 231.
Benacerraf, P., “God, the devil, and Gödel”, The Monist, 51, 1967, pp. 9–32.
Good, I.J., “Gödel’s theorem is a red herring”, British Journal for the Philosophy of Science, 19, 1969, pp. 359–373.
Penrose, R., The Emperor’s New Mind, NY, Oxford Univ., 1989.
Penrose, R., “Precis on the emperor’s new mind, concerning computers, minds, and the laws of physics”, Behavioral and Brain Sciences, 13, 1990, pp. 643–705.
Penrose, R., Shadows of the Mind, NY, Oxford U. Press, 1994.
Gödel, K., “On formally undecidable propositions of Principia mathematica and related systems: I”, In: Solomon Feferman (ed.), Collected Works, Vol. I, NY, Oxford University Press, 1986.
Turing, A., “Computing machinery and intelligence”, MIND, 59, 1950, pp. 433–460.
Coder, D., “Gödel’s theorem and mechanism”, Philosophy, 44, 1969, pp. 234–237.
Bowie, G.L., “Lucas’ number is finally up”, Journal of Philosophical Logic, 11, 1982, pp. 279–285.
Lewis, D., “Lucas against mechanism: II”, Canadian Journal of Philosophy, IX, No. 3, 1979, pp. 373–376.
Lucas, J.R., “Mechanism: a rejoinder”, Philosophy, 45, 1970, p. 149.
Sloman, A., The emperors real mind,preprint.
Gödel, K., “Some basic theorems on the foundations of mathematics and their implications”, Unpublished Gibbs Lecture. To appear in: Collected Works, Vol. III.
Casti, J.L., Complexification,NY, Harper Collins, 1994, pp. 166ff.
Goldberg, P., The Intuitive Edge, Los Angeles, J.P. Tarcher, 1983.
Hadamard, J., An Essay on the Psychology of Invention in the Mathematical Field, Princeton, Princeton University Press, 1945.
Hilbert, D., “On the infinite”, (Stefan Bauer-Mengelberg, trans.) in: Van Heijenoort, J. (ed.), From Frege to Gödel: A source Book in Mathematical Logic, 1879–1931, Cambridge, Harvard University Press, 1967, p. 376.
Kal, V., On Intuition and Discursive Reasoning in Aristotle, Leiden, E.J. Brill, 1988, p. 47.
Ellsworth, T. amp; Sindt, V., “Helping ”Aha“ to happen: the contribution of Irving Sigil”,in Educational Leadership, 51, 5, 1994, pp. 40–49.
Gödel, K., “What is Cantor’s continuum problem?”, The American Mathematical Monthly, 54, 1947, pp. 515–525.
Casti, J.L., amp; Traub, J.F. (eds.), On Limits,Santa Fe Institute preprint 94–10–056.
Heinlein, R.A., Time Enough for Love, NY, Putnam, 1973, p. 371.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Voorhees, B. (1999). Gödel’s Theorem and Strong AI: Is Reason Blind?. In: Cornelis, G.C., Smets, S., Van Bendegem, J.P. (eds) Metadebates on Science. EINSTEIN MEETS MAGRITTE: An Interdisciplinary Reflection on Science, Nature, Art, Human Action and Society, vol 6. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2245-2_4
Download citation
DOI: https://doi.org/10.1007/978-94-017-2245-2_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5242-1
Online ISBN: 978-94-017-2245-2
eBook Packages: Springer Book Archive