1

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.