不可判定問題

不可判定問題（undecidable problem）是2018年公佈的計算機科學技術名詞。