M Kummer - Annual Symposium on Theoretical Aspects of …, 1996 - Springer
We show that the set R of Kolmogorov random strings is truth-table complete. This improves
the previously known Turing completeness of R and shows how the halting problem can be …