cast off

Taxonomy of Problems

26.10.2023 · AE531026
 
scan to join on your phone
> click / swipe / arrow keys to begin_
picture of
picture of "problem about which it is impossible to find out if it can be solved or not", black background

unsolved

26.10.2023 · AE531026
Unsolved problems are problems for which we neither have a solution, nor know whether such solution can be found.

solvable

26.10.2023 · AE531026
P is solvable if, at some point in time, a proof will be provided that solution to P can be found.

unsolvable

26.10.2023 · AE531026
P is unsolvable if, at some point in time, a proof will be provided that P does not have solution.
illustration of
illustration of "unsolvable and undecidable problem which leads to madness", black background

fatal

26.10.2023 · AE531026
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 it is fatal ;)