认识论的景观：一个可计算性的角度
摘要：可计数的人类传播知识本质上是可以枚举的：每个句子、电影、音频记录都可以用一串足够长的0和1的字符串编码。Godel、Turing和其他人的工作表明，与语言技术可枚举性相关的存在固有的限制和属性。Godel的编号技术对可枚举结构是通用的，显示了语言技术的强大限制。可计算性理论是一个特殊的例子：程序可以编号，然后可以从中研究各种限制。可计算性也是科学的核心，因为任何理论的实验验证都假设理论结果已经计算出来，并与具体实验进行了对比。这意味着可计算的限制最终也是我们所理解的“科学理论”的限制，更一般地说，是对所有可传播知识的限制。我们认为从可计算性的角度来看认识论是有益的。我们展示了这可以精确地定义不同类型的知识获取技术，并有助于研究它们之间的关系。
作者：Fr''ed''eric Prost
论文ID：2001.10800
分类：Other Computer Science
分类简称：cs.OH
提交时间：2020-01-30