计算机科学的哲学
计算机科学哲学涉及计算机科学研究中出现的哲学问题。尽管有人尝试发展计算机科学哲学，如物理学哲学或数学哲学，但对计算机科学哲学的内容、目标、焦点或主题仍然没有达成共识[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] （页面存档备份，存于互联网档案馆）
