明确界定实际认知的一种固有局限

一个世纪前，数位顶尖数学家各自发现的严重逻辑错误，促使人们接受了极高标准的严谨性，这最终成为计算机科学的基础。至1931年，Godel已得到一个明确且非凡的结果：该基础的一种固有局限。除非以下两个极为脆弱的假设同时成立——人类是无误的推理者且仅通过形式推理规则进行推理，否则该局限不以任何微小程度适用于人类实际认知。这两个假设均被来自知名认知科学实验的经验数据所否定。本文研究一种新颖的多部分方法论如何将计算机科学中的可计算性理论重构，以获得一种其对人类认知的适用避免与经验数据相矛盾的假设的明确局限。该局限适用于个体人类、有限人类集合，更一般地适用于任何现实世界实体。