[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Vectors as functions




On Friday, August 15, 2003, at 04:26 PM, Shriram Krishnamurthi wrote:

> And one could argue, loosely, that
> things that make it hard for programs to reason about programs also
> make it hard(er) for humans to reason about them.

very loosely..
Humans are able to easily reason about a lot of things that are very 
difficult for programs.
Humans can reason about noisy, fuzzy, under specified, context 
sensitive, things.

-- 
--- james mccartney