From: Shane Legg (shane@vetta.org)
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?
Shane
On 10/16/07, Nick Hay <nickjhay@gmail.com> 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