a single text fulfilling mathematical prerequisites for SICP? [Was: Re: [plt-scheme] PLT Scheme and SICP]

On Mon, Apr 21, 2008 at 3:49 AM, Benjamin L. Russell
<dekudekuplex at yahoo.com> wrote:
>  I.e., at some point in this proof, there is an "aha!"
>  moment--a moment in which insight strikes.  The
>  problem is how to arrive at this "aha! moment"
>  deterministically, for other problems in SICP
>  involving creative mathematical proofs as well.

The problem stated here is equivalent to the problem of getting to
Carnegie Hall.

-- Paul