AI: Criterion for General Artificial Intelligence
An automaton is generally intelligent if it is capable of arriving at conflicting conclusions from the same set of axioms.
This is impossible for a logically consistent automaton. Therefore, it is impossible for an automaton to be generally intelligent.