>...there is a more general theorem that essentially says that you can't know in general if a program enjoys any non-trivial property....

That would be Rice's theorem. http://en.wikipedia.org/wiki/Rice%27s_theorem