Also provably unsolvable are so-called undecidable problems, such as the halting problem for Turing machines.
Bizonyítottan megoldhatatlanok továbbá az úgynevezett eldönthetetlen problémák, mint a Turing-gépekhez kapcsolódó leállási probléma.