Darren New wrote:

> Why does anyone care? Because if you can simulate any arbitrary TM with 
> your specific TM, then you have a Universal TM, which proves that there 
> exists a single program that can calculate any algorithm. Why do you 
> care about *that*? Because if you can write a simulation of a Universal 
> TM in BASIC, then you can prove that BASIC is theoretically as powerful 
> as any other machine that can be simulated by a TM.

...ignoring for a moment such minor details as "efficiency" and "easy of 
use" that are of no consequence to mathematicians who have theoretical 
machines with infinite RAM capacity available to them. ;-)

Post a reply to this message