1 . algorithmic unsolvability
:Moe,‘] 用規(guī)定方法確切地解決一個給定間題的不可能性.下面是數(shù)學(xué)中已經(jīng)考慮過的不可解性的最重要的例子. 算法不可解性(algorithmic unsolvability).在數(shù)學(xué).
1 . recursive unsolvability
recursive set 遞歸集recursive unsolvability遞歸不可解性recursively enumerable set 遞歸可數(shù)集