User: kaarok

Re:What if ..

On: Who Is Liable For Software With Security Holes?

And what if... no one can tell ?

Many problems seem to be so hard to solve that machines wouldn't be able to break through them.

But we just don't know (theorically) if this is true or not :)

There are (afaik) three theories :

• some problems cannot be solved by a machine (and that's fine)
• all problems are solvable by a machine, given a certain amount of time, memory, etc... we don't have for now the right algorithm, that's all (bye bye security ?)
• we just can't make up our mind (no one will [ever ?] know !)

this is about the complexity theory, more links here.