[Sussex] Challenge

Steve Dobson SDobson at manh.com
Wed Apr 30 15:48:00 UTC 2003


Geoff / Mark

On 30 April 2003 at 15:34 Geoff Teale wrote in response to Mark M:
> > You asked for a proof, not a calculation. If you install any 
> > decent theorem
> > proving software, then this should come up as rigorous.
> 
> Yup.. agreed.. this is the same scemantic hole Steve used.  
> It's a pretty good answer and it appeals to the pedant in me.
> 
> You have both produced the proof I asked for without actually 
> solving the problem I intended, as the prize is awarded for the
> best arguement this is a strong contender.

Okay mine's half a pint of Horsham Best then ;-)

Steve




More information about the Sussex mailing list