OT on DNA (or maybe not so OT) (Re: Meeting with a political person)

John Tapsell tapselj0 at cs.man.ac.uk
Sat Jan 19 03:46:07 UTC 2002

On Saturday 19 January 2002 23:43, you wrote:
> DNA together with its execution mechanism can probably be proved to be
> able to form a turing machine. I am not aware of such a proof existing at
> this time, but from where I'm sitting it seems pretty safe to at
> least speculate that the system is turing complete.

Hmm, If we are made from turing languages, then we ourselves can't do 
anything computers can't do.  In particular, the halting problem applies to 
us, so we can't tell any property about another person (and never be wrong)


More information about the Discussion mailing list