不可判定问题

不可判定问题（undecidable problem）是2018年公布的计算机科学技术名词。