Wpc/provably unsolvable problem

Definition:

An unsolvable problem for which we have a proof that the goal cannot be reached.

Generalizations:

unsolvable problem

Specializations:

---

Relevant Wikipedia Articles:

the concept-

related field(s)- theory of computation, mathematics

potential real-world examples-

• Hilberts tenth problem
• Entscheidungsproblem
• Word problem for groups

---

/Discussion?