References
Davis, M., Putnam, H. and Robinson, J. (1961), 'The Decision Problem for Exponential Diophantine Equations', Annals of Mathematics 74, pp. 425–436.
Bochner, G. and Martin W.T. (1948), Several Complex Variables, Princeton, NJ: Princeton University Press.
Davis, M. (1958), Computability and Unsolvability, New York: McGraw-Hill.
Smullyan, R. (1961), Theory of Formal Systems, Princeton, NJ: Princeton University Press.
Hermes, H. (1961), Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Berlin: Springer.
Robinson, S.J. (1952), 'Existential Definability in Arithmetic', Trans. Amer. Math. Soc. 1, pp. 437–449.
Hancock, H. (1958), Theory of Elliptic Functions, Dover Publishing.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Scarpellini, B. Two Undecidable Problems of Analysis. Minds and Machines 13, 49–77 (2003). https://doi.org/10.1023/A:1021381032553
Issue Date:
DOI: https://doi.org/10.1023/A:1021381032553