概述 编辑 計算机科學的许多核心哲學问题都集中在与其相关的逻辑、本体論和认识論问题上。 [3]
丘奇-图灵論文 编辑 丘奇-图灵論题 及其变体是計算理論的 核心。由于作为一个非正式的概念，有效可計算性的概念没有正式的定义，因此该論文虽然几乎得到普遍接受，但无法得到正式证明。这篇論文的含义也具有哲學意义。哲學家们将丘奇-图灵論点解释为对心灵哲學 有影响。 [6]
P 与 NP 问题 编辑 P 与 NP 问题 是計算机科學和数學中尚未解决的问题。它询问是否可以在多项式时间 内验证其解决方案（因此定义为属于类NP ）的每个问题也可以在多项式时间内解决（因此定义为属于类P ）。大多数計算机科學家认为P ≠ NP 。 [7] [8] 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 ^ 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-6OCLC 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] （页面存档备份，存于互联网档案馆 ） 外部链接 编辑 国际计算与哲学协会 （页面存档备份，存于互联网档案馆 ） PhilPapers的计算与信息哲学 （页面存档备份，存于互联网档案馆 ） 伯克利计算哲学 （页面存档备份，存于互联网档案馆 ）
計算機科學的哲學, 計算机科學哲學涉及計算机科學研究中出现的哲學问题, 尽管有人尝试发展計算机科學哲學, 如物理學哲學或数學哲學, 但对計算机科學哲學的内容, 目标, 焦点或主题仍然没有达成共识, 由于計算机程序的抽象性和計算机科學的技术野心, 計算机科學哲學的许多概念问题也可以与科學哲學, 数學哲學和技术哲學相媲美, 目录, 概述, 丘奇, 图灵論文, 问题, 另見, 参考, 延伸閱讀, 外部链接概述, 编辑計算机科學的许多核心哲學问题都集中在与其相关的逻辑, 本体論和认识論问题上, 其中一些问题可能包括, 什么. 計算机科學哲學涉及計算机科學研究中出现的哲學问题 尽管有人尝试发展計算机科學哲學 如物理學哲學或数學哲學 但对計算机科學哲學的内容 目标 焦点或主题仍然没有达成共识 1 由于計算机程序的抽象性和計算机科學的技术野心 計算机科學哲學的许多概念问题也可以与科學哲學 数學哲學和技术哲學相媲美 2 目录 1 概述 2 丘奇 图灵論文 3 P 与 NP 问题 4 另見 5 参考 6 延伸閱讀 7 外部链接概述 编辑計算机科學的许多核心哲學问题都集中在与其相关的逻辑 本体論和认识論问题上 3 其中一些问题可能包括 什么是計算 丘奇 图灵論文是否抓住了逻辑和数學中有效方法的数學概念 4 5 P 与 NP 问题的哲學后果是什么 什么是信息 丘奇 图灵論文 编辑丘奇 图灵論题及其变体是計算理論的核心 由于作为一个非正式的概念 有效可計算性的概念没有正式的定义 因此该論文虽然几乎得到普遍接受 但无法得到正式证明 这篇論文的含义也具有哲學意义 哲學家们将丘奇 图灵論点解释为对心灵哲學有影响 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 nbsp 通过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 nbsp 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 页面存档备份 存于互联网档案馆 外部链接 编辑国际计算与哲学协会 页面存档备份 存于互联网档案馆 PhilPapers的计算与信息哲学 页面存档备份 存于互联网档案馆 伯克利计算哲学 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 計算機科學的哲學 amp oldid 78959902, 维基百科，wiki ，书籍，书籍，图书馆，
文章 ，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。