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 http://www.flightgear.org/~curt HumanFIRST Program http://www.humanfirst.umn.edu/ FlightGear Project http://www.flightgear.org Unique text: 2f585eeea02e2c79d7b1d8c4963bae2d
_______________________________________________ Flightgear-devel mailing list [EMAIL PROTECTED] http://mail.flightgear.org/mailman/listinfo/flightgear-devel 2f585eeea02e2c79d7b1d8c4963bae2d