計算機科學的哲學

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

概述

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

丘奇-图灵論文

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

P 与 NP 问题

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

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

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

另見

参考

  1. ^ Tedre, Matti. The Science of Computing: Shaping a Discipline. Chapman Hall. 2014. 
  2. ^ 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) 
  3. ^ 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. 
  4. ^ Copeland, B. Jack. The Church-Turing Thesis. Stanford Encyclopedia of Philosophy. [2023-09-10]. (原始内容存档于2021-08-16). 
  5. ^ Hodges, Andrew. Did Church and Turing have a thesis about machines?. [2023-09-10]. (原始内容存档于2015-09-22). 
  6. ^ 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. 
  7. ^ 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). 
  8. ^ Rosenberger, Jack. P vs. NP poll results. Communications of the ACM. May 2012, 55 (5): 10 [2023-09-10]. (原始内容存档于2021-08-20). 
  9. ^ 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]页面存档备份,存于互联网档案馆

外部链接