結果 : examples of undecidable problems in computer science