FUD is not needed here
Posted Mar 15, 2007 9:19 UTC (Thu) by Wol
In reply to: FUD is not needed here
Parent article: A second remote hole for OpenBSD
"Any piece of complex software cannot be proven correct" ...
Well, it's maths, so while maths can be proven correct, there is no guarantee that it mirrors reality - that's Science's domain.
What's that Knuth quote? "Beware of bugs, I have only proved this program correct, I have not proved that it works".
Don't get me on my database hobbyhorse :-) and remember that Maths proves things "correct in theory", Science proves things "wrong in practice". The latter is more important but people prefer to dwell on the former :-(
to post comments)