Abstract
This paper consists of a further analysis (continuing that of [11]) of the hypercomputing neural network model of Hava Siegelmann ([21]).
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
Arlò-Costa, H.: Unpublished comment in discussion with the author (2003)
Boolos, G., Jeffrey, R.: Computability and Logic (2e). Cambridge University Press, New York (1980)
Bunge, M.: Sense and Reference. Treatise on Basic Philosophy, vol. 1. Reidel, Dordrecht (1974)
Bunge, M.: Epistemology and Methodology I: Exploring the World. Treatise on Basic Philosophy, vol. 5. Reidel, Dordrecht (1983)
Bunge, M.: Epistemology and Methodology III: philosophy of science and technology: Part I. Formal and Physical Sciences. Treatise on Basic Philosophy, vol. 7. Reidel, Dordrecht (1985)
Bunge, M.: Epistemology and Methodology III: philosophy of science and technology: Part II: Life Science, Social Science and Technology. Treatise on Basic Philosophy, vol. 7. Reidel, Dordrecht (1985)
Bunge, M.: Philosophy of Science (2 vols.). Transaction, New Brunswick (1998)
Churchland, P., Sejnowski, T., Terrence: The Computational Brain. MIT Press, Cambridge (1996)
Davis, M., (adopting remarks of D. Scott). The Myth of Hypercomputation. In: Teuscher, C. (ed.) Alan Turing: Life and Legacy of a Great Thinker. Springer, Berlin (2006)
Douglas, K.: A Special Davidsonian Theory of Events. Unpublished MA Thesis, Department of Philosophy, University of British Columbia (2001), http://www.philosopher-animal.com/papers/thesis.pdf
Douglas, K.: Super-Turing Computation: A Case Study Analysis. Unpublished M.S. Thesis, Carnegie Mellon University (2003), http://www.philosopher-animal.com/papers/take6c.PDF
Douglas, K.: What Does a Computer Simulation Have to Reproduce? The Case of VMWare. Unpublished paper presented at IACAP 2010
Gandy, R.: Church’s Thesis and Principles for Mechanisms. In: Barwise, J., Keisler, H.J., Kunen, K. (eds.) The Kleene Symposium. North-Holland, Amsterdam (1980)
Kelly, K., Schulte, O.: The Computable Testability of Theories Making Uncomputable Predictions. Erkenntnis 43, 29–66 (1995)
Niiniluoto, I.: Critical Scientific Realism. Oxford University Press, Oxford (1999, 2004)
Norton, J.: Approximation and Idealization: Why the Difference Matters. (unpublished manuscript) (2011), http://www.pitt.edu/~jdnorton/
Odifreddi, P.: Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers. Elsevier Science, Amsterdam (1989)
Olszewski, A., Woleński, J., Janusz, R. (eds.): Church’s Thesis after 70 years. Ontos Verlag, Heusenstamm (2006)
Quine, W.V.O.: Two Dogmas of Empiricism. The Philosophical Review 60, 20–43 (1951)
Shapiro, S.: Computability, Proof, and Open-Texture. In: [17]
Sieg, W.: Calculation by Man and Machine: Mathematical Presentation. Technical Report No. CMU-PHIL-105 (2000)
Siegelmann, H.: Neural Networks and Analog Computation: Beyond the Turing Limit. Birkhäuser, Boston (1999)
Wikipedia contributors. "Hypercomputation” in Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/wiki/Hypercomputation (accessed January 29, 2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Douglas, K. (2013). Learning to Hypercompute? An Analysis of Siegelmann Networks. In: Dodig-Crnkovic, G., Giovagnoli, R. (eds) Computing Nature. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 7. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37225-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-37225-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37224-7
Online ISBN: 978-3-642-37225-4
eBook Packages: EngineeringEngineering (R0)