可判定性

可判定性在数学和计算机科学中，可判定性（发音为 [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm]，德语为“决策问题”）是 David Hilbert 和 Wilhelm Ackermann 在 1928 年提出的一...