Jonathan Cast <[EMAIL PROTECTED]> wrote: > On 11 Jan 2008, at 5:13 AM, Achim Schneider wrote: > > > Jonathan Cast <[EMAIL PROTECTED]> 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. > Professor as in "gives lectures", he's a Dipl. Ing... and also also as in "got a Job for life", although not formally. I think his main point in telling it is to stop people from blindly expanding and reducing around.
-- (c) this sig last receiving data processing entity. Inspect headers for past copyright information. All rights reserved. Unauthorised copying, hiring, renting, public performance and/or broadcasting of this signature prohibited. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe