> inference is in principle as powerful as human thinking
There is currently zero evidence to suggest that human thinking violates any of the basics principles of the theory of computation nor extend the existing limits of computability.
> Which is not at all a boring question.
It is because you aren't introducing any evidence to theoretically challenge what we've already know about computation for almost 100 years now.
> There is currently zero evidence...
Way smarter people than both of us disagree: among them being Roger Penrose, who wrote two books on this very subject.
See also my comment here: https://news.ycombinator.com/item?id=45804258
"There are more things in heaven and earth, Horatio, than are dreamt of in your philosophy"