Constant Compression and Random Weights
Wolfgang Merkle, Jason Teutsch · Computability · 2012
A real number which equals the probability that a universal prefix-free machine halts when its input bits are determined by tosses of a fair coin is known as an Omega number. We present a new characterization of Omega numbers: a real in the unit inte