机构名称：
¥ 1.0
1. 简介 这一讨论源于两个基本问题：什么是物理上可计算的？图灵可计算性和物理可计算性之间是什么关系？由于图灵可计算性是可计算性理论的核心力量，前一个问题常常用后者来提出（例如，Arrighi 和 Dowek 2012 ；Cotogno 2003 ；Hogarth 1994 ；Shagrir 和 Pitowsky 2003 ；Ziegler 2009 ，以及无数其他人）。Piccinini（2011 年、2018 年）对物理上的丘奇-图灵论题的讨论遵循了这种格式。他认为，如果可计算性概念与对有限观察者在认识论上有用的东西联系起来，那么物理上的丘奇-图灵论题的一个适度版本可能成立。这个谦虚的物理丘奇-图灵论题指出，图灵可计算的内容充当了物理可计算内容的上限，前提是给定一些物理计算的限制。这些限制旨在将讨论限制在对有限观察者可能具有认识论用途的物理计算上。虽然谦虚的物理丘奇-图灵论题似乎很有道理，但我们将看到，皮奇尼尼用来论证这一论题的关于什么算作认识论有用的物理计算的说明需要更明确的概念基础。特别是，我认为它回避了关于人们认为哪些物理过程是可能的计算操作的问题，并隐含地用
论认识论有用的物理计算
主要关键词
相关文件推荐
