Christian Mayer wrote:

We should recode FGFS functional then.

Then I can proofe that that I'll never crash a plane! :)

In one of my classes at school, we played around a little bit with the idea of "proving" mathematically that an algorithm was correct. Hard, mind bending stuff, but fascinating. Proving the that proof is correct might be more difficult. :-)


Curtis Olson
HumanFIRST Program
FlightGear Project
Unique text:        2f585eeea02e2c79d7b1d8c4963bae2d

_______________________________________________ Flightgear-devel mailing list [EMAIL PROTECTED] 2f585eeea02e2c79d7b1d8c4963bae2d

Reply via email to