Abstract
This Chapter enumerates a 200 of recursion theoretic undecidabilities not covered before.
You have full access to this open access chapter, Download chapter PDF
The following theorems of recursive analysis [7, 564] have some implications for theoretical physics.
-
Specker’s theorem of recursive analysis: There exist recursive monotone bounded sequences of rational numbers whose limit is no computable number [477].
A concrete example of such a number is Chaitin’s Omega number [103, 109, 129], also discussed in Appendix A.6, the halting probability for a computer (using prefix-free code), which can be defined by a sequence of rational numbers with no computable rate of convergence.
-
Specker’s other theorem of recursive analysis: There exist a recursive real function which has its maximum in the unit interval at no recursive real number [478]. This has implications for the principle of least action [320].
-
Wang’s theorem of recursive analysis: The predicate “there exists a real number r such that whether or not \(G(r) = 0\)” is recursively undecidable for G(x) in a class of functions which involves polynomials and the sine function [559]. This, again, has some bearing on the principle of least action.
-
Uncomputable solutions of differential equations: There exist uncomputable solutions of the wave equations for computable initial values [78, 418].
-
Ubiquity and pervasiveness of undecidability: On the basis of theorems of recursive analysis [433, 442] many questions in dynamical systems theory are provable undecidable [107, 157, 280, 487].
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2018 The Author(s)
About this chapter
Cite this chapter
Svozil, K. (2018). Other Types of Recursion Theoretic Unknowables. In: Physical (A)Causality. Fundamental Theories of Physics, vol 192. Springer, Cham. https://doi.org/10.1007/978-3-319-70815-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-70815-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70814-0
Online ISBN: 978-3-319-70815-7
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)