The irrationals are not recursively enumerable
HTML articles powered by AMS MathViewer
- by Richard Mansfield
- Proc. Amer. Math. Soc. 110 (1990), 495-497
- DOI: https://doi.org/10.1090/S0002-9939-1990-1019752-9
- PDF | Request permission
Abstract:
The set of rationals is not recursive over any field of infinite transcendence degree.References
- L. Blum, M. Shub, and S. Smale, On a theory of computation over the real numbers; NP completeness, recursive functions and universal machines, preprint, 1987.
- Harvey Friedman, Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory, Logic Colloquium ’69 (Proc. Summer School and Colloq., Manchester, 1969) North-Holland, Amsterdam, 1971, pp. 361–389. MR 0304140
- Harvey Friedman and Richard Mansfield, Algorithmic procedures, Trans. Amer. Math. Soc. 332 (1992), no. 1, 297–312. MR 1055807, DOI 10.1090/S0002-9947-1992-1055807-7
- Handbook of mathematical logic, Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland Publishing Co., Amsterdam, 1977. Edited by Jon Barwise; With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. MR 457132
Bibliographic Information
- © Copyright 1990 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 110 (1990), 495-497
- MSC: Primary 03D75; Secondary 68Q15
- DOI: https://doi.org/10.1090/S0002-9939-1990-1019752-9
- MathSciNet review: 1019752