Abstract
In his celebrated 1936 paper Turing defined a machine to be circular iff it performs an infinite computation outputting only finitely many symbols. We define α as the probability that an arbitrary machine be circular and we prove that α is a random number that goes beyond Ω, the probability that a universal self delimiting machine halts. The algorithmic complexity of α is strictly greater than that of Ω, but similar to the algorithmic complexity of Ω', the halting probability of an oracle machine. What makes α interesting is that it is an example of a highly random number definable without considering oracles.
Honorary co-author.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cristian. S. Calude. Information and Randomness. An Algorithmic Perspective. Springer-Verlag, Berlin, 1994.
Cristian S. Calude, Peter H. Hertling, Bakhadyr Khoussainov, and Yongee Wang. Recursively enumerable reals and Chaitin Ω numbers. Theoretical Computer Science, 255: 125–149, 2001.
G. J. Chaitin. Information-theoretic limitations of formal systems. J. ACM, 21: 403–424, 1974.
G. J. Chaitin. A theory of program size formally identical to information theory. J. ACM, 22: 329–340, 1975.
G. J. Chaitin. Algorithmic entropy of sets. Computers & Mathematics with Applications, 2: 233–245, 1976.
G. J. Chaitin. Exploring Randomness. Springer-Verlag, London, 2001.
S. Daicz. Una nueva versión de la probabilidad de detención. Tesis de licenciatura, Facultad de Cs. Exactas y Naturales, Universidad de Buenos Aires, 2000.
L. G. Kraft. A device for quantizing, grouping and coding amplitude modulated pulses. Master’s thesis, Dept. of Electrical Engineering, M.I.T., Cambridge, Massachusets, 1949.
A. Kučera, T.A. Slaman. Randomness and recursive enumerability. SIAM J. on Computing. to appear.
R. M. Solovay. On random r.e. sets. In A. I. Arruda, N. C. A. da Costa, and R. Chuaqui, editors, Non-Classical Logics, Model Theory and Computability, pages 283–307. North-Holland Publishing Company, 1977.
A. Turing. On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society, 2nd series, 42: 230–265, 1936.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this paper
Cite this paper
Becher, V., Daicz, S., Chaitin, G. (2001). A Highly Random Number. In: Calude, C.S., Dinneen, M.J., Sburlan, S. (eds) Combinatorics, Computability and Logic. Discrete Mathematics and Theoretical Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-0717-0_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0717-0_6
Publisher Name: Springer, London
Print ISBN: 978-1-85233-526-7
Online ISBN: 978-1-4471-0717-0
eBook Packages: Springer Book Archive