Minds and Machines

, Volume 13, Issue 1, pp 49–77 | Cite as

Two Undecidable Problems of Analysis

  • Bruno Scarpellini
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Davis, M., Putnam, H. and Robinson, J. (1961), 'The Decision Problem for Exponential Diophantine Equations', Annals of Mathematics 74, pp. 425–436.Google Scholar
  2. Bochner, G. and Martin W.T. (1948), Several Complex Variables, Princeton, NJ: Princeton University Press.Google Scholar
  3. Davis, M. (1958), Computability and Unsolvability, New York: McGraw-Hill.Google Scholar
  4. Smullyan, R. (1961), Theory of Formal Systems, Princeton, NJ: Princeton University Press.Google Scholar
  5. Hermes, H. (1961), Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Berlin: Springer.Google Scholar
  6. Robinson, S.J. (1952), 'Existential Definability in Arithmetic', Trans. Amer. Math. Soc. 1, pp. 437–449.Google Scholar
  7. Hancock, H. (1958), Theory of Elliptic Functions, Dover Publishing.Google Scholar

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Bruno Scarpellini
    • 1
  1. 1.Mathematics InstituteUniversity of BaselBaselSwitzerland

Personalised recommendations