unsolvability
1. domain of unsolvability
不可解域
2. degree of unsolvability
不可解度
3. On the basis of principle of unsolvability of Hume's problem, we elucide that it is fesible to establish a inductive machine of discovery.
最后,本文描述了科学发现机器的结构,并在文献的基础上,描述了一种同时具有发生与评价功能的归纳发现机器并论证了它的合理性。
4. algorithmic unsolvability
算法不可解性
5. recursive unsolvability
递归不可解性