*already* computers generate bytecode that's
improbable/impossible for humans to decode. Computers have been
that way from the day of the very first compiler in the early
1950s. [thanks Grace Hopper! awesome lady she was]
So for a computer to be incomprehensible to a human is already
here.
Now, can we design a computer more intelligent than us?
That's where it's tricky.
_what's the measuring stick_?
_How_ can we measure the difference between "incomprehensible"
and "super-intelligent" - if we're incapable of being _more
intelligent_?
We have to be at a higher level to measure at a lower level.
Even when we measure bigger things, it's thanks to the power of
Optiks that things are measurable:
How else does the Universe fit in a 2mm circle in front of our
heads?
Even if we designed a chain of less and less comprehendable
computers going *upwards* to reach the "super-intelligent" and
have them back-translate DOWN to our level... we have no way of
verifying their correctness.