電腦科學的哲學
計算機科學哲學涉及計算機科學研究中出現的哲學問題。儘管有人嘗試發展計算機科學哲學，如物理學哲學或數學哲學，但對計算機科學哲學的內容、目標、焦點或主題仍然沒有達成共識[1] 。由於計算機程序的抽象性和計算機科學的技術野心，計算機科學哲學的許多概念問題也可以與科學哲學、數學哲學和技術哲學相媲美。 [2]
概述[編輯]
計算機科學的許多核心哲學問題都集中在與其相關的邏輯、本體論和認識論問題上。 [3]其中一些問題可能包括：
丘奇-圖靈論文[編輯]
丘奇-圖靈論題及其變體是計算理論的核心。由於作為一個非正式的概念，有效可計算性的概念沒有正式的定義，因此該論文雖然幾乎得到普遍接受，但無法得到正式證明。這篇論文的含義也具有哲學意義。哲學家們將丘奇-圖靈論點解釋為對心靈哲學有影響。 [6]
P 與 NP 問題[編輯]
P 與 NP 問題是計算機科學和數學中尚未解決的問題。它詢問是否可以在多項式時間內驗證其解決方案（因此定義為屬於類NP ）的每個問題也可以在多項式時間內解決（因此定義為屬於類P ）。大多數計算機科學家認為P ≠ NP 。 [7] [8]經過幾十年的研究這些問題，沒有人能夠為 3000 多個重要的已知NP完全問題中的任何一個找到多項式時間算法，除了這個原因之外，與其含義有關的哲學原因可能激發了這種信念。
例如，根據時任麻省理工學院的美國計算機科學家Scott Aaronson的說法：
如果P = NP ，那麼世界將與我們通常想像的截然不同。 「創造性的飛躍」不會有什麼特別的價值，解決問題和發現解決方案後認識到解決方案之間不存在根本性的差距。每個能夠欣賞交響樂的人都是莫扎特；每個能夠遵循逐步論證的人都是高斯。 [9]
另見[編輯]
參考[編輯]
- ^ Tedre, Matti. The Science of Computing: Shaping a Discipline. Chapman Hall. 2014.
- ^ Turner, Raymond; Angius, Nicola, Zalta, Edward N. , 編, The Philosophy of Computer Science, The Stanford Encyclopedia of Philosophy Spring 2020 (Metaphysics Research Lab, Stanford University), 2020 [2020-05-21], （原始內容存檔於2020-12-04）
- ^ Turner, Raymond. The Philosophy of Computer Science. Journal of Applied Logic. January 2008, 6 (4): 459. doi:10.1016/j.jal.2008.09.006. hdl:2434/807648
–透過ResearchGate.
- ^ Copeland, B. Jack. The Church-Turing Thesis. Stanford Encyclopedia of Philosophy. [2023-09-10]. （原始內容存檔於2021-08-16）.
- ^ Hodges, Andrew. Did Church and Turing have a thesis about machines?. [2023-09-10]. （原始內容存檔於2015-09-22）.
- ^ For a good place to encounter original papers see Chalmers, David J. (編). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. 2002. ISBN 978-0-19-514581-6. OCLC 610918145.
- ^ William I. Gasarch. The P=?NP poll. (PDF). SIGACT News. June 2002, 33 (2): 34–47 [26 September 2018]. CiteSeerX 10.1.1.172.1005 . S2CID 36828694. doi:10.1145/564585.564599. （原始內容存檔 (PDF)於2019-10-27）.
- ^ Rosenberger, Jack. P vs. NP poll results. Communications of the ACM. May 2012, 55 (5): 10 [2023-09-10]. （原始內容存檔於2021-08-20）.
- ^ Shtetl-Optimized » Blog Archive » Reasons to believe. [2021-09-16]. （原始內容存檔於2021-09-16） （美國英語）.
延伸閱讀[編輯]
- 馬蒂·泰德雷(2014)。計算科學：塑造一門學科。查普曼大廳。
- 斯科特·阿倫森。 「為什麼哲學家應該關心計算複雜性 （頁面存檔備份，存於互聯網檔案館）」。可計算性：哥德爾、圖靈、丘奇等。
- 蒂莫西·科爾伯恩。哲學和電腦科學。哲學探索。我夏普，1999。ISBN 1-56324-991-X國際標準書號 1-56324-991-X 。
- AK杜德尼。新圖靈綜合：電腦科學中的 66 個遊覽
- 盧西亞諾·弗洛里迪（編輯）。布萊克韋爾計算與信息哲學指南，2004 年。
- 盧西亞諾·弗洛里迪（編輯）。計算與信息哲學：5 個問題。自動出版社，2008。
- 盧西亞諾·弗洛里迪。哲學與計算：簡介，Routledge，1999。
- 克里斯蒂安·瓊格內爾.信息世界觀，對電腦科學方法論的探究。
- 揚·范·列文。 「邁向信息和計算科學的哲學」 ， NIAS Newsletter 42，2009 。
- 莫斯霍瓦基斯，Y.（2001）。什麼是算法？ Enquist, B. 和 Schmid, W.，編輯，《數學無限》 —年及以後，第 919-936 頁。施普林格。
- 亞歷山大·奧隆格倫，雅普·范登赫里克。信息文件。倫敦和紐約：勞特利奇，1999 年。ISBN 0-415-19749-X國際標準書號 0-415-19749-X
- 泰勒和弗朗西斯。
- 雷·特納和尼古拉·安吉斯。 《電腦科學哲學 （頁面存檔備份，存於互聯網檔案館）》。斯坦福哲學百科全書。
- 馬蒂·泰德雷(2011)。計算作為一門科學：競爭觀點的調查。思想與機器21, 3, 361–387。
- 雷·特納.計算人工製品——邁向電腦科學哲學。施普林格。 [1] （頁面存檔備份，存於互聯網檔案館）
外部連結[編輯]
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||