| |||||||||||||
|
| |||||||||||||
Open Source And VirusesOpen Source And VirusesPosted Jun 8, 2004 13:34 UTC (Tue) by Wol (guest, #4433)In reply to: Open Source And Viruses by tzafrir Parent article: Open Source And Viruses Plus the fact that a "proof of correctness" is a mathematical proof that something is "logically true". The trouble is that science, the study of the real world, has no concept of a proof of correctness - all it knows is proofs of incorrectness, and by implication "well, it's probably correct because we haven't proved it false". A proof of correctness, BY DEFINITION, must instantly be worthless immediately you try to apply it to a real-world, or scientific, problem. Cheers,
(Log in to post comments)
|
|
||||||||||||