Wikipedia:Wpc/provably unsolvable problem

Wpc/provably unsolvable problem is an unsolvable problem for which we have a proof that the goal cannot be reached.

---

Relevant Articles

related field(s)- theory of computation, mathematics

potential real-world examples-

• Hilberts tenth problem
• Entscheidungsproblem
• Word problem for groups

---

/Discussion

See also : Wpc