ปรัชญาวิทยาการคอมพิวเตอร์
ปรัชญาวิทยาการคอมพิวเตอร์ เกี่ยวข้องกับคำถามเชิงปรัชญาที่เกิดขึ้นในการศึกษาวิทยาการคอมพิวเตอร์ ยังไม่มีความเข้าใจทั่วไปเกี่ยวกับเนื้อหา จุดมุ่งหมาย จุดเน้นหรือหัวข้อของปรัชญาวิทยาการคอมพิวเตอร์ [1] แม้จะมีความพยายามที่จะพัฒนาปรัชญาวิทยาการคอมพิวเตอร์เช่นเดียวกับปรัชญาฟิสิกส์หรือปรัชญาคณิตศาสตร์ เนื่องจากลักษณะที่เป็นนามธรรมของโปรแกรมคอมพิวเตอร์และความก้าวหน้าทางเทคโนโลยีของวิทยาการคอมพิวเตอร์ คำถามเชิงแนวคิดหลายประการของปรัชญาวิทยาการคอมพิวเตอร์จึงเปรียบได้กับปรัชญาวิทยาศาสตร์และปรัชญาเทคโนโลยี [2]
ภาพรวม[แก้]
คำถามเชิงปรัชญาที่สำคัญหลายข้อของวิทยาการคอมพิวเตอร์มีศูนย์กลางอยู่ที่ประเด็นเชิงตรรกะ ภววิทยา และญาณวิทยาที่เกี่ยวข้องกัน [3] คำถามเหล่านี้บางส่วนอาจรวมถึง:
- การคำนวณคืออะไร?
- วิทยานิพนธ์ของคริสตจักร–ทัวริง รวบรวมแนวคิดทางคณิตศาสตร์ของวิธีการที่มีประสิทธิภาพในด้านตรรกวิทยาและคณิตศาสตร์หรือไม่? [4] [5]
- อะไรคือผลทางปรัชญาของปัญหา P vs NP ?
- ข้อมูลคืออะไร?
วิทยานิพนธ์ของศาสนจักร - ทัวริง[แก้]
วิทยานิพนธ์ของศาสนจักร–ทัวริง และรูปแบบต่างๆ เป็นศูนย์กลางของทฤษฎีการคำนวณ เนื่องจากเป็นแนวคิดที่ไม่เป็นทางการ แนวคิดของการคำนวณที่มีประสิทธิภาพไม่มีคำจำกัดความที่เป็นทางการ ถึงแม้วิทยานิพนธ์จะมีการยอมรับในระดับสากล แต่ก็ไม่สามารถพิสูจน์ได้อย่างเป็นทางการ ความหมายของวิทยานิพนธ์ฉบับนี้ยังเป็นข้อกังวลเชิงปรัชญาอีกด้วย นักปรัชญาได้ตีความวิทยานิพนธ์ของคริสตจักร-ทัวริงว่ามีความหมายสำหรับปรัชญาจิต [6] [7]
ปัญหา P กับ NP[แก้]
ปัญหา P กับ NP เป็นปัญหาที่ยังแก้ไม่ตกในวิทยาการคอมพิวเตอร์และคณิตศาสตร์ มันถามว่าทุกปัญหาที่สถานการณ์สามารถตรวจสอบได้ในเวลาพหุนามหรือไม่ (และถูกกำหนดให้เป็นของคลาส NP ) สามารถแก้ไขได้ในเวลาพหุนาม (และถูกกำหนดให้เป็นของคลาส P ) นักวิทยาการคอมพิวเตอร์ส่วนใหญ่เชื่อว่า P ≠ NP . [8] [9] นอกเหนือจากเหตุผลที่มีการศึกษาปัญหาเหล่านี้มาหลายทศวรรษแล้ว ยังไม่มีใครสามารถค้นหาอัลกอริธึมเวลาพหุนามสำหรับ ปัญหา NP ที่สำคัญที่ทราบกันดีอยู่แล้วมากกว่า 3,000 รายการ เหตุผลทางปรัชญาที่เกี่ยวข้องกับความหมายของมันอาจเป็นสาเหตุของความเชื่อนี้
ตัวอย่างเช่น ตามที่ Scott Aaronson นักวิทยาการคอมพิวเตอร์ชาวอเมริกันที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) ได้กล่าวไว้ว่า
ถ้า P = NP โลกจะเป็นสถานที่ที่แตกต่างอย่างลึกซึ้งกว่าที่เราคิดไว้ จะไม่มีค่าพิเศษใดใน "การก้าวกระโดดอย่างสร้างสรรค์" ไม่มีช่องว่างพื้นฐานระหว่างการแก้ปัญหาและการตระหนักถึงวิธีแก้ปัญหาเมื่อค้นพบแล้ว ทุกคนที่ชื่นชมซิมโฟนีจะเป็น Mozart ทุกคนที่สามารถทำตามข้อโต้แย้งทีละขั้นตอนได้จะเป็น Gauss [10]
ดูเพิ่มเติม[แก้]
- การพิสูจน์โดยใช้คอมพิวเตอร์ช่วย: การคัดค้านทางปรัชญา
- ปรัชญาปัญญาประดิษฐ์
- ปรัชญาสารสนเทศ
- ปรัชญาคณิตศาสตร์
- ปรัชญาวิทยาศาสตร์
- ปรัชญาเทคโนโลยี
เชื่อมโยงภายนอก[แก้]
- 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 1-56324-991-XISBN 1-56324-991-X.
- 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.
- Luciano Floridi (editor). Philosophy of Computing and Information: 5 Questions. Automatic Press, 2008.
- Luciano Floridi. Philosophy and Computing: An Introduction, Routledge, 1999.
- Christian Jongeneel. The informatical worldview, an inquiry into the methodology of computer science.
- Jan van Leeuwen. "Towards a philosophy of the information and computing sciences", 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.
- Alexander Ollongren, Jaap van den Herik. Filosofie van de informatica. London and New York: Routledge, 1999. ISBN 0-415-19749-XISBN 0-415-19749-X
- Tedre, Matti (2014), The Science of Computing: Shaping a Discipline, ISBN 9781482217698 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]
อ้างอิง[แก้]
- ↑ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- ↑ 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
- ↑ 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.
{{cite journal}}
:|hdl-access=
ต้องการ|hdl=
(help) - ↑ Copeland, B. Jack. "The Church-Turing Thesis". Stanford Encyclopedia of Philosophy.
- ↑ Hodges, Andrew. "Did Church and Turing have a thesis about machines?".
- ↑ For a good place to encounter original papers see Chalmers, David J., บ.ก. (2002). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. ISBN 978-0-19-514581-6. OCLC 610918145.
- ↑ For a good place to encounter original papers see Chalmers, David J., บ.ก. (2002). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. ISBN 978-0-19-514581-6. OCLC 610918145.
- ↑ William I. Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. CiteSeerX 10.1.1.172.1005. doi:10.1145/564585.564599. สืบค้นเมื่อ 26 September 2018.
- ↑ Rosenberger, Jack (May 2012). "P vs. NP poll results". Communications of the ACM. 55 (5): 10.
- ↑ "Shtetl-Optimized » Blog Archive » Reasons to believe" (ภาษาอังกฤษแบบอเมริกัน). สืบค้นเมื่อ 2021-09-16.