有没有关于理论计算机科学的哲学含义的书？

我找到了一些有关计算机的书，但它们都是关于技术的。我想要更多与理论相关的东西。

尝试50页以上的文章“为什么哲学家应该关心计算复杂性” https://arxiv.org/abs/1108.1791

量子计算自从Scott Aaronson提出的Democritus是我能想到的最接近的匹配。我认为没有一本书专门论述TCS的哲学含义。

在Arora和Barak 的（经典）计算复杂度书籍（此处为在线草案）中打开并进行快速搜索，发现“哲学”一词有19个出现，包括以下小节：

• $\mathrm{P}$

• $\mathrm{NP}$

• 在第16章（“随机化，扩展器和提取器”）中讨论了随机性。

这是斯科特·亚伦森（Scott Aaronson）撰写的另一篇哲学性论文。量子图灵机中的幽灵

为了补充上述某些答案，Avi Widgerson的最新著作《数学与计算》在第20.5节中简要讨论了计算机科学与哲学之间的哲学相互作用。更广泛地讲，整本书包含许多哲学方面的内容，因为它主要侧重于看似不同的领域之间的相互作用，并通过解释ToC的各种概念（随机性，知识，相互作用，进化）的基本结构和含义来做到这一点。 ，归纳，学习...等等。虽然它本身不是一本关于哲学的书，但它使读者对ToC在所有这些概念上的新发现感到好奇。而且它与标准教科书有很大出入（实际上，这不是这本书的意思），因为它不包含任何证明。我强烈推荐它。

约翰·塞尔（John Searle）在他的《心灵的重新发现》一书中提出了一个问题，即什么是计算。他特别指出，“正在计算”不是任何过程所固有的属性。相反，必须有一些观察者将“含义”归因于过程。

我认为，这种有影响力的假设创造了相当多的文学作品，尽管它们大多以文章而非书籍的形式出现。

Avi Wigderson在“ 知识，创造力和P与NP的对比”一书中提出了一个哲学问题：创造力可以自动化吗？等于P = NP?。

我没有做太多的自我阅读，但是我发现《计算机程序的结构和解释》这本书令人大开眼界。

格里·萨斯曼（Gerry Sussman）在这本书上做得非常出色。

值得一读。:-)

整本书在这里

预先忘记“黄金票”，它以非常轻松的方式处理了在P = NP情况下发生的后果以及其他问题。