ปรัชญาวิทยาการคอมพิวเตอร์

ปรัชญาวิทยาการคอมพิวเตอร์ เกี่ยวข้องกับคำถามเชิงปรัชญาที่เกิดขึ้นในการศึกษาวิทยาการคอมพิวเตอร์ ยังไม่มีความเข้าใจทั่วไปเกี่ยวกับเนื้อหา จุดมุ่งหมาย จุดเน้นหรือหัวข้อของปรัชญาวิทยาการคอมพิวเตอร์ แม้จะมีความพยายามที่จะพัฒนาปรัชญาวิทยาการคอมพิวเตอร์เช่นเดียวกับหรือ เนื่องจากลักษณะที่เป็นนามธรรมของโปรแกรมคอมพิวเตอร์และความก้าวหน้าทางเทคโนโลยีของวิทยาการคอมพิวเตอร์ คำถามเชิงแนวคิดหลายประการของปรัชญาวิทยาการคอมพิวเตอร์จึงเปรียบได้กับและปรัชญาเทคโนโลยี

ภาพรวม

คำถามเชิงปรัชญาที่สำคัญหลายข้อของวิทยาการคอมพิวเตอร์มีศูนย์กลางอยู่ที่ประเด็นเชิงตรรกะ ภววิทยา และญาณวิทยาที่เกี่ยวข้องกัน คำถามเหล่านี้บางส่วนอาจรวมถึง:

• การคำนวณคืออะไร?
• รวบรวมแนวคิดทางคณิตศาสตร์ของในด้านตรรกวิทยาและคณิตศาสตร์หรือไม่?
• อะไรคือผลทางปรัชญาของปัญหา P vs NP ?
• ข้อมูลคืออะไร?

วิทยานิพนธ์ของศาสนจักร - ทัวริง

และรูปแบบต่างๆ เป็นศูนย์กลางของทฤษฎีการคำนวณ เนื่องจากเป็นแนวคิดที่ไม่เป็นทางการ แนวคิดของการคำนวณที่มีประสิทธิภาพไม่มีคำจำกัดความที่เป็นทางการ ถึงแม้วิทยานิพนธ์จะมีการยอมรับในระดับสากล แต่ก็ไม่สามารถพิสูจน์ได้อย่างเป็นทางการ ความหมายของวิทยานิพนธ์ฉบับนี้ยังเป็นข้อกังวลเชิงปรัชญาอีกด้วย นักปรัชญาได้ตีความวิทยานิพนธ์ของคริสตจักร-ทัวริงว่ามีความหมายสำหรับ

ปัญหา P กับ NP

ปัญหา P กับ NP เป็นปัญหาที่ยังแก้ไม่ตกในวิทยาการคอมพิวเตอร์และคณิตศาสตร์ มันถามว่าทุกปัญหาที่สถานการณ์สามารถตรวจสอบได้ในหรือไม่ (และถูกกำหนดให้เป็นของคลาส NP ) สามารถแก้ไขได้ในเวลาพหุนาม (และถูกกำหนดให้เป็นของคลาส P ) นักวิทยาการคอมพิวเตอร์ส่วนใหญ่เชื่อว่า P ≠ NP . นอกเหนือจากเหตุผลที่มีการศึกษาปัญหาเหล่านี้มาหลายทศวรรษแล้ว ยังไม่มีใครสามารถค้นหาอัลกอริธึมเวลาพหุนามสำหรับ ปัญหา NP ที่สำคัญที่ทราบกันดีอยู่แล้วมากกว่า 3,000 รายการ เหตุผลทางปรัชญาที่เกี่ยวข้องกับความหมายของมันอาจเป็นสาเหตุของความเชื่อนี้

ตัวอย่างเช่น ตามที่ นักวิทยาการคอมพิวเตอร์ชาวอเมริกันที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) ได้กล่าวไว้ว่า

ถ้า P = NP โลกจะเป็นสถานที่ที่แตกต่างอย่างลึกซึ้งกว่าที่เราคิดไว้ จะไม่มีค่าพิเศษใดใน "การก้าวกระโดดอย่างสร้างสรรค์" ไม่มีช่องว่างพื้นฐานระหว่างการแก้ปัญหาและการตระหนักถึงวิธีแก้ปัญหาเมื่อค้นพบแล้ว ทุกคนที่ชื่นชมซิมโฟนีจะเป็น Mozart ทุกคนที่สามารถทำตามข้อโต้แย้งทีละขั้นตอนได้จะเป็น Gauss

ดูเพิ่มเติม

• ปรัชญาเทคโนโลยี

เชื่อมโยงภายนอก

• The International Association for Computing and Philosophy
• Philosophy of Computing and Information at PhilPapers
• A draft version of Philosophy of Computer Science by William J. Rapaport
• Philosophy of Computation at Berkeley 2021-10-20 ที่ เวย์แบ็กแมชชีน

อ่านเพิ่มเติม

• Matti Tedre (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
• Scott Aaronson. "Why Philosophers Should Care About Computational Complexity". In Computability: Gödel, Turing, Church, and beyond.
• Timothy Colburn. Philosophy and Computer Science. Explorations in Philosophy. M.E. Sharpe, 1999. ISBN ISBN .
• A.K. Dewdney. New Turing Omnibus: 66 Excursions in Computer Science
• Luciano Floridi (editor). The Blackwell Guide to the Philosophy of Computing and Information, 2004.
• (editor). Philosophy of Computing and Information: 5 Questions. Automatic Press, 2008.
• . Philosophy and Computing: An Introduction, Routledge, 1999.
• Christian Jongeneel. The informatical worldview, an inquiry into the methodology of computer science.
• . , NIAS Newsletter 42, 2009.
• Moschovakis, Y. (2001). What is an algorithm? In Enquist, B. and Schmid, W., editors, Mathematics unlimited — 2001 and beyond, pages 919–936. Springer.
• , . Filosofie van de informatica. London and New York: Routledge, 1999. ISBN ISBN 
• Tedre, Matti (2014), The Science of Computing: Shaping a Discipline, ISBN  Taylor and Francis.
• Ray Turner and Nicola Angius. "The Philosophy of Computer Science". Stanford Encyclopedia of Philosophy.
• Matti Tedre (2011). Computing as a Science: A Survey of Competing Viewpoints. Minds & Machines 21, 3, 361–387.
• Ray Turner. Computational Artefacts-Towards a Philosophy of Computer Science. Springer. [1]

อ้างอิง

1. Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
2. Turner, Raymond; Angius, Nicola (2020), Zalta, Edward N. (บ.ก.), "The Philosophy of Computer Science", The Stanford Encyclopedia of Philosophy (Spring 2020 ed.), Metaphysics Research Lab, Stanford University, สืบค้นเมื่อ 2020-05-21
3. Turner, Raymond (January 2008). "The Philosophy of Computer Science". Journal of Applied Logic. 6 (4): 459. doi:10.1016/j.jal.2008.09.006 – โดยทาง ResearchGate. {{}}: |hdl-access= ต้องการ |hdl= ((help))
4. Copeland, B. Jack. "The Church-Turing Thesis". Stanford Encyclopedia of Philosophy.
5. Hodges, Andrew. "Did Church and Turing have a thesis about machines?".
6. For a good place to encounter original papers see , บ.ก. (2002). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. ISBN . OCLC 610918145.
7. For a good place to encounter original papers see , บ.ก. (2002). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. ISBN . OCLC 610918145.
8. William I. Gasarch (June 2002). "The P=?NP poll" (PDF). . 33 (2): 34–47.  10.1.1.172.1005. doi:10.1145/564585.564599. สืบค้นเมื่อ 26 September 2018.
9. Rosenberger, Jack (May 2012). "P vs. NP poll results". Communications of the ACM. 55 (5): 10.
10. "Shtetl-Optimized » Blog Archive » Reasons to believe" (ภาษาอังกฤษแบบอเมริกัน). สืบค้นเมื่อ 2021-09-16.