結果 : undecidable problem computer science definition