On the Computability of Artificial General Intelligence