Kastalia Knowledge Management System · Glasperlenspiel template · knot 1055

Taxonomy of Problems

🌐 public · created AE531026 (26.10.2023) · by DDH · open in the standard editor view · 📽 open as presentation

 

Ancestors (1 superordinated path)

Descendants (at least 15 branches originate here)

  • Taxonomy of Problems
    • is_parent unsolved
      Unsolved problems are problems for which we neither have a solution, nor know whether such solution can be found.
      • is_parent solvable ·
        P is solvable if, at some point in time, a proof will be provided that solution to P can be found.
      • is_parent unsolvable ·
        P is unsolvable if, at some point in time, a proof will be provided that P does not have solution.
      • is_parent fatal ·
        Problem P is "fatal" if no proof could ever be provided whether P is solvable or unsolvable. It is impossible to tell about problem if it is "fatal". That's why
    • contains solved
      P is considered to be SOLVED if we know that it doesn't have a solution and/or know at least one solution which satisfies our needs.