Has it been mathematically proven that antivirus can't detect all viruses? (security.stackexchange.com)