>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
Angus> Jean-Marc Lasgouttes wrote: >> But can this really happen, or is it just a theoretical question? Angus> (Aside: as a mathematician, I though you found theory Angus> important?) Well as somebody who does modeling, I start by doing the computations in an informal way, and if it leads me to some interesting result, then I care about actually proving things. This is probably analog to the 'premature optimization' mantra for programming... JMarc
