I want to propose an abstract model of the human mind that is, to the human mind, a bit like what a Euclidean rectangle is to a farmers field. I want to show why intelligence, in this model, requires a particular kind of uncomputability the kind that Gold [2] has called computability in the limit. This observation has implications for Computer Science and Cognitive Science if my abstract mod...