An Oracle for Insight Problems

Will humans ever be able to solve this problem If humans possessed the same limitations on computation as computers, then they would never be able to solve this (and many other) problems. However, math and science, as disciplines, assume that unknown problems with definite answers will eventually be knowable. Simply stated, the progress of science depends on the ability of humans to eventually solve such problems as these. 

Another option, however, is that humans are able to incrementally arrive at solutions to halting problems. This would mean that humans have access to an oracle which is more powerful than Unitary computational systems, but less powerful than a halting oracle. 

Bringsjord s group has considerable experience with the halting problem, but 

Using Turing Oracles in Cognitive Models of Problem-Solving 

This explanation actually fits surprisingly well it is non-algorithmic (it is determining unprovable axioms), it is incremental (each axiom gives more explanatory power), and it is weaker than a halting oracle. 

---