Godel's First Incompleteness Theorems tells us that a formal system is either complete or consistent. Or, equivalently by the data processing inequality, the information generated by a computer will be something less than the sum of its own complexity and that of its input. In other words, computers have no ability to innovate outside their programming and (static) environment. Thus, they do not "think".
But what if a computer was in communication with at least two other computers? The environment of any one computer might be considered to be the other two in that closed communication system. In such a system, "chaotic interactions" might occur. The reason why three computers would be necessary is, like the three-body problem, one computer might instantaneously serve as an entropy sink for the communication between the other two thus allowing them to explore a range of innovation outside their natural limitations. These two computers might, in respect to themselves and given this informationally dynamic environment, appear to innovate, i.e. to think.