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

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

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

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

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

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

ตัวอย่างเช่น ตามที่ Scott Aaronson นักวิทยาการคอมพิวเตอร์ชาวอเมริกันที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (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

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

 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-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-X
  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.

อ้างอิง 

วิทยาการคอมพิวเตอร์