計算機科學的哲學

計算机科學哲學涉及計算机科學研究中出现的哲學问题。尽管有人尝试发展計算机科學哲學，如物理學哲學或数學哲學，但对計算机科學哲學的内容、目标、焦点或主题仍然没有达成共识^[1] 。由于計算机程序的抽象性和計算机科學的技术野心，計算机科學哲學的许多概念问题也可以与科學哲學、数學哲學和技术哲學相媲美。 ^[2]

概述

計算机科學的许多核心哲學问题都集中在与其相关的逻辑、本体論和认识論问题上。 ^[3]其中一些问题可能包括：

• 什么是計算？
• 丘奇-图灵論文是否抓住了逻辑和数學中有效方法的数學概念？ ^{[4] [5]}
• P 与 NP 问题的哲學后果是什么？
• 什么是信息？

丘奇-图灵論文

丘奇-图灵論题及其变体是計算理論的核心。由于作为一个非正式的概念，有效可計算性的概念没有正式的定义，因此该論文虽然几乎得到普遍接受，但无法得到正式证明。这篇論文的含义也具有哲學意义。哲學家们将丘奇-图灵論点解释为对心灵哲學有影响。 ^[6]

P 与 NP 问题

P 与 NP 问题是計算机科學和数學中尚未解决的问题。它询问是否可以在多项式时间内验证其解决方案（因此定义为属于类NP ）的每个问题也可以在多项式时间内解决（因此定义为属于类P ）。大多数計算机科學家认为P ≠ NP 。 ^{[7] [8]}经过几十年的研究这些问题，没有人能够为 3000 多个重要的已知NP完全问题中的任何一个找到多项式时间算法，除了这个原因之外，与其含义有关的哲學原因可能激发了这种信念。

例如，根据时任麻省理工學院的美国計算机科學家Scott Aaronson的说法：

如果P = NP ，那么世界将与我们通常想象的截然不同。 “创造性的飞跃”不会有什么特别的价值，解决问题和发现解决方案后认识到解决方案之间不存在根本性的差距。每个能够欣赏交响乐的人都是莫扎特；每个能够遵循逐步論证的人都是高斯。 ^[9]

另見

• 計算机辅助证明：哲學异议
• 人工智能哲學
• 信息哲學
• 数學哲學
• 科學哲學
• 技术哲學