Re: on formally describable universes and measures

From: George Levy <>
Date: Wed, 03 Jan 2001 12:57:21 -0800

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?

Juergen answered:
>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.

Received on Wed Jan 03 2001 - 13:07:38 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST