“I think this is an unsolvable problem, and I might start with an attempted proof of its unsolvability rather than a solution.”
“This led to work by many mathematicians to further explain the theory and philosophy of mathematical unsolvability in terms of logic or other models of mathematics.”
“In particular, he proved the unsolvability of the halting problem.”