Abstract
Most debates on conceptual structures have focused on (Hilbert) formal theories, due to the absence of stronger theoretical frameworks (despite nearly 80 years of searching). In this paper we look for new conceptual structures by looking for weaker theories. We contend both that weaker theories are possible, and that they offer useful alternatives to the better known formal theories.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Church, A.: A note on the Entscheidungsproblem. Journal of Symbolic Logic 1(1), 40–41 (1936)
Church, A.: An unsolveable problem of elementary number theory. American Journal of Mathematics 58, 345–363 (1936)
Copeland, B.J.: Hypercomputation. Minds and Machines 12(4), 461–502 (2002)
Gandy, R.: The Confluence of Ideas in 1936. In: Herken [5], pp. 55–111 (1988)
Herken, R. (ed.): The Universal Turing Machine — A Half Century Survey. Oxford Science Publications (1988)
King, D.: Parting Software and Program Design. Ph.D. thesis, University of York (2004)
Kleene, S.C.: Introduction to Metamathematics, Biblioteca Mathematica, 6th edn. A Series, of Monographs on Pure and Applied Mathematics, vol. 1. Wolters-Noordhoff Publishing (1971)
Love, D.: From hypocomputation to hypercomputation. International Journal of Unconventional Computing 5(3–4), 339–367 (2009)
von Neumann, J.: On the Introduction of Transfinite Numbers. chap. (1923), pp. 346–354. Harvard University Press, Cambridge (1967)
Stannett, M.: Computation and hypercomputation. Minds and Machines 13(1), 115–153 (2003)
Teuscher, C., Sipper, M.: Hypercomputation: Hype or computation? Communications of the ACM 45(8), 23–24 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Love, D. (2011). Rigorous, and Informal?. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds) Conceptual Structures for Discovering Knowledge. ICCS 2011. Lecture Notes in Computer Science(), vol 6828. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22688-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-22688-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22687-8
Online ISBN: 978-3-642-22688-5
eBook Packages: Computer ScienceComputer Science (R0)