計算機科學的哲學

計算機科學哲學涉及計算機科學研究中出現的哲學問題。儘管有人嘗試發展計算機科學哲學，如物理學哲學或數學哲學，但對計算機科學哲學的內容、目標、焦點或主題仍然沒有達成共識^[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]

另見

• 計算機輔助證明：哲學異議
• 人工智能哲學
• 信息哲學
• 數學哲學
• 科學哲學
• 技術哲學