by Frederick Williams <frederick.williams2@[EMAIL PROTECTED]
>
Jul 14, 2008 at 02:58 PM
Paul Sperry wrote:
>
> In article <_X4ek.4829$Ek.1538@[EMAIL PROTECTED]
>, Jack <jj@[EMAIL PROTECTED]
>
> wrote:
>
> >the first I fix with the definition 'let t : N ---> N be arbitrary'.
>
> This isn't a definition and you can't "fix" an arbitrary function.
But one can make an arbitrary choice and then not change it throughout
the rest of the discussion.
--
He is not here; but far away
The noise of life begins again
And ghastly thro' the drizzling rain
On the bald street breaks the blank day.
