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

Re: Vectors as functions

To: Shriram Krishnamurthi <address@hidden>
Subject: Re: Vectors as functions
From: James McCartney <address@hidden>
Date: Fri, 15 Aug 2003 19:24:22 -0700
Cc: address@hidden
In-reply-to: <16189.27662.338705.801481@cs.brown.edu>
Sender: address@hidden

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

References:
- Re: Vectors as functions
  - From: Shriram Krishnamurthi <sk@cs.brown.edu>

Prev by Date: Re: Vectors as functions
Next by Date: Re: Vectors as functions
Previous by thread: Re: Vectors as functions
Next by thread: Re: Vectors as functions
Index(es):
- Date
- Thread