Sobre porqué un programa no puede decirme que hará otro, o porqué no existe el antivirus perfecto

¿Qué sería un antivirus perfecto? Un antivirus perfecto podría ser una aplicación, la cual, examinando el código fuente de otra aplicación completamente desconocida y nueva, nos dijera qué es lo que va a hacer antes de que ésta tenga oportunidad de ejecutarse...Nuestro objetivo en este artículo es demostrar que tal programa M no es posible llevarlo a cabo.