[FOM] 2,3 Turing machine proof controversy

Vaughan Pratt pratt at cs.stanford.edu
Wed Nov 14 03:39:13 EST 2007

Vaughan Pratt wrote:
>  Let W (for "whitelocked") be the 
> subclass of T constrained to hold the average head position constant 
> (equivalently the heads must move in opposite directions) when both 
> heads are scanning a white cell.

T should have been I.

I'll be traveling the next two weeks so may be a bit slow responding to 

Vaughan Pratt

More information about the FOM mailing list