|
|
A160753
|
|
Binary expansion of the Chaitin halting probability Omega_L for a certain programming language L.
|
|
0
|
|
|
0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
COMMENTS
|
If this sequence were extended to 5000 terms, it would settle the Riemann hypothesis.
|
|
REFERENCES
|
C. S. Calude, E. Calude and M. J. Dinneen, A new measure of the difficulty of problems, J. Mult.-Valued Logic Soft. Comput., 12 (2006), 285-307.
C. S. Calude and M. J. Dinneen, Exact approximations of omega numbers, Internat. J. Bifur. Chaos, 17 (6) (2007), 1937-1954.
|
|
LINKS
|
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,hard,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|