[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