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. |
Many of the results listed in this table are the direct consequence of implications concerning the unsolvability or solvability of certain problems. |
I think this is an unsolvable problem, and I might start with an attempted proof of its unsolvability rather than a solution. |
In particular, he proved the unsolvability of the halting problem. |