多次提到彭罗斯将哥德尔不完备性定理(Gödel's incompleteness theorems)作为核心论点之一，下面谈一下全本（笔者）理解的这个定理及其意义。全本未必能用最严格的数学/逻辑定义来 ...

可计算性 可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费 ...