Re: [tlug] Making programming easier... or something like that

["Stephen J. Turnbull" <stephen@example.com>]

Josh Glover writes:
 > 2012/10/29 Stephen J. Turnbull <stephen@example.com>:
 > 
 > > Josh Glover writes:
 > >
 > >  > I can see Atila's point, but I think Curt's assertion that programming
 > >  > is basically mathematics is pretty hard to argue with
 > >
 > > Oh, I'll argue that one even after there's no beer in the pitcher.
 > > Programs are mathematical, indeed -- but programming is an art.
 > 
 > But pure mathematics is also an art. Surely you've had to construct a
 > non-trivial inductive proof at some point, right? :)

You're cheating, Josh.  "How?" is left as an exercise for the reader.

As-long-as-we're-doing-maths-ly y'rs,