> I'm not sure if this is a formal result or not, but it seems like
>any continuous system can be simulated to arbitrary accuracy by a Turing
>machine [snip]
Besides, surely in a quantised universe there are, at bottom, *no*
`continuous' systems? Of course non-locality and re-entrant Hofstadterian
Tangled Strange Loops might make any interesting granular system effectively
intractable (prior to Tipler's deity coming on line).
Damien Broderick