单词undecidable
网络: 不可判定的；不可决定的；不可判定论题
An undecidable statement can be thought of as a mathematical form of a statement like "I always lie. "
一个无法判定的命题可以被当成是“我总是说谎”的数学形式。
So subjects assessed true statements as believable faster than they judged them as unbelievable or undecidable .
因此，受试者评估正确的叙述并认为可信，要比评估不正确或无法确定的叙述来得快。
As a consequence type checking becomes undecidable.
作为结论类型检查成为不可判定性的。