結果 : undecidable problem in computer science