On Thu Dec 28 05:19:13 2000 Wei Dai wrote:
>>Even within classic models of computation, there seem to be
>>variations in speed. As far as I can tell from my theory of
>>book, moving from a multi-tape TM to a single-tape TM can cause a
>>of running time for some problems, which would translate to a squaring
>>the speed prior for some strings. So a similar question is, how do you
>>pick which classic TM to base S on?
>Good point. Simulating a k-tape TM on a 1-tape TM may cause a quadratic
>slowdown indeed. Simulating a k-tape TM on a 2-tape TM, however,
>at most logarithmic slowdown. One should use a TM with several work
Talking about optimizing the universal Turing machine is completely
ridiculous and pointless. It could be blindingly fast or slow as
molasses. Since perceived time is relative to the observer it would not
make a bit of difference. And BTW I do believe that engineering will
drive philosophy by making quantum computers work.