From: Nick Tarleton (nickptar@gmail.com)
Date: Sat Nov 24 2007 - 14:10:03 MST
On Nov 24, 2007 11:15 AM, John K Clark <johnkclark@fastmail.fm> wrote:
>
> I am much smarter and more complex than this program, and yet it has the
> capacity to surprise me. You think this simple minded little program can
> do something that a Jupiter Brain cannot do; I think otherwise.
>
You cannot predict every program's behavior; it does not follow that every
program
is unpredictable. It is impossible to prove statements about the behavior of
programs
in general, sure, but we can still construct particular programs we can
prove things
about.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:01 MDT