[Haskell-cafe] Re: Why purely in haskell?
jonathanccast at fastmail.fm
Fri Jan 11 22:01:08 EST 2008
On 11 Jan 2008, at 5:13 AM, Achim Schneider wrote:
> Jonathan Cast <jonathanccast at fastmail.fm> wrote:
>> What kind of mathematics? I don't know of any mathematics where
>> algebraic simplifications are employed without proof of the
>> underlying equations (in some denotational model).
> Mathematics as, as my professor put it, "Solving by staring".
Professor of what? I would have been flunked for such an approach.
More information about the Haskell-Cafe