Unless there's an infinite number of programs of finite size, which sounds impossible, then no.