További algoritmikusan megoldhatatlan problémák