[FOM] Chatins Omega
pax0 at seznam.cz
pax0 at seznam.cz
Fri Jul 20 09:53:22 EDT 2012
Dear FOMers
I have two simple questions about the famous Chaitins Omega number.
I was told that these questions are answered in the Chaitins book
The limits of mathematics, but I'm unable to identify the exact page where.
Also other references are welcome.
1. How the exact knowledge of Omega enables us to decide the halting
problem for Turing machines?
2. How the universal TM coming from the omega (or the Omega coming
from the Universal TM)
decides where, in its input, ends code for the Turing machine being
simulated and where starts input for this TM
being simulated.
Thank you ,Jan Pax
More information about the FOM
mailing list