Consider the minds of specification-size 1 trillion. We can happily make the generalisation that none of them will be able to predict whether a given Turing machine halts. Yes, there are 2^trillion chances for this generalisation to be falsified, but we know it never will be.
Eliezer did qualify those statements:
Somewhere in mind design space is at least one mind with almost any kind of logically consistent property you care to imagine.
Eliezer did qualify those statements: