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

[Josh Glover <jmglov@example.com>]

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? :)

Cheers,
Josh