Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site faron.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!decvax!linus!faron!bs
From: bs@faron.UUCP (Robert D. Silverman)
Newsgroups: net.math
Subject: Omega
Message-ID: <440@faron.UUCP>
Date: Mon, 20-Jan-86 16:10:41 EST
Article-I.D.: faron.440
Posted: Mon Jan 20 16:10:41 1986
Date-Received: Thu, 23-Jan-86 10:10:13 EST
Distribution: net
Organization: The MITRE Coporation, Bedford, MA
Lines: 10

Does anyone have any references concerning the (relatively) new constant
called omega? Omega is the exact probability that a random input tape
fed to a deterministic Turing machine will cause the machine to halt.
Obviously this probability is very close to one because a random input
tape will have a high probability of having an error in it that would
cause a halt.

I believe that it has been shown that omega is not computable.
 
Bob Silverman