不可判定问题

undecidable problem