I took "proving programs with predicate calculus" and dropped out at the deadline because I just couldn't understand it. LOL
--- On Fri, 7/17/09, Paul Newton <[email protected]> wrote: > From: Paul Newton <[email protected]> > Subject: Re: Is it possible to prove "functional equivalence" > To: [email protected] > Date: Friday, July 17, 2009, 2:00 PM > Thanks Paul > > It was more of "theoretical" question than a practical one > but yes > obviously writing a unit test suite/harness would be the > way to go in > practical circumstances ... > > Ditto > > Paul McNett wrote: > > Paul Newton wrote: > > > >> Is it ever possible to prove, scientifically or > mathematically, that two functions are exactly equivalent ? > >> For example, these two functions: > >> > > > > I don't know about "prove", but you could be > practically confident by > > writing a unit test suite with your whole range of > expected > > inputs/outputs, and then run each function through the > test suite. > > > > Paul > > > > > [excessive quoting removed by server] > > _______________________________________________ > Post Messages to: [email protected] > Subscription Maintenance: http://leafe.com/mailman/listinfo/profox > OT-free version of this list: http://leafe.com/mailman/listinfo/profoxtech > Searchable Archive: http://leafe.com/archives/search/profox > This message: > http://leafe.com/archives/byMID/profox/[email protected] > ** All postings, unless explicitly stated otherwise, are > the opinions of the author, and do not constitute legal or > medical advice. This statement is added to the messages for > those lawyers who are too stupid to see the obvious. > _______________________________________________ Post Messages to: [email protected] Subscription Maintenance: http://leafe.com/mailman/listinfo/profox OT-free version of this list: http://leafe.com/mailman/listinfo/profoxtech Searchable Archive: http://leafe.com/archives/search/profox This message: http://leafe.com/archives/byMID/profox/[email protected] ** All postings, unless explicitly stated otherwise, are the opinions of the author, and do not constitute legal or medical advice. This statement is added to the messages for those lawyers who are too stupid to see the obvious.
