[FOM] 2,3 Turing machine proof controversy
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
More information about the FOM