Re: The Meaning That Immortality Gives to Life

From: Shane Legg (
Date: Wed Oct 17 2007 - 06:32:25 MDT

Could you make your claim more precise?

What do you mean by a "bridge", or a nice form,
and when you talk about proving correctness,
correctness at doing what? Correctly predicting?


On 10/16/07, Nick Hay <> wrote:
> That is, it doesn't exclude predicting some complex systems, maybe
> many, and especially those of particularly nice forms (e.g. highly
> complex but understandable bridges, complex programs with attached
> proofs of correctness, etc).
> -- Nick

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:58 MDT