--- Vladimir Nesov <[EMAIL PROTECTED]> wrote: > Exactly. That's why it can't hack provably correct programs.
Which is useless because you can't write provably correct programs that aren't extremely simple. *All* nontrivial properties of programs are undecidable. http://en.wikipedia.org/wiki/Rice%27s_theorem And good luck translating human goals expressed in ambiguous and incomplete natural language into provably correct formal specifications. > This race isn't symmetric. Yes it is, because every security tool can be used by both sides. Here is one more example: http://www.virustotal.com/ This would be handy if I wanted to write a virus and make sure it isn't detected. -- Matt Mahoney, [EMAIL PROTECTED] ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=90866991-a570cd
