Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? ***********

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/30/05 

Date: 30 Jan 2005 12:02:07 +0100

"r.e.s." <r.s@ZZmindspring.com> writes:

> The formula given there is meant only
> for a restricted type of UTM -- one whose domain (the
> set of p such that U(p) halts) is *prefix-free*.

  More specifically, a prefix-free Turing machine which is universal
for prefix-free Turing machines.

Quantcast