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

ปรัชญาวิทยาการคอมพิวเตอร์ เกี่ยวข้องกับคำถามเชิงปรัชญาที่เกิดขึ้นในการศึกษาวิทยาการคอมพิวเตอร์  ยังไม่มีความเข้าใจทั่วไปเกี่ยวกับเนื้อหา จุดมุ่งหมาย จุดเน้นหรือหัวข้อของปรัชญาวิทยาการคอมพิวเตอร์  แม้จะมีความพยายามที่จะพัฒนาปรัชญาวิทยาการคอมพิวเตอร์เช่นเดียวกับปรัชญาฟิสิกส์หรือปรัชญาคณิตศาสตร์ เนื่องจากลักษณะที่เป็นนามธรรมของโปรแกรมคอมพิวเตอร์และความก้าวหน้าทางเทคโนโลยีของวิทยาการคอมพิวเตอร์  คำถามเชิงแนวคิดหลายประการของปรัชญาวิทยาการคอมพิวเตอร์จึงเปรียบได้กับปรัชญาวิทยาศาสตร์และปรัชญาเทคโนโลยี 
== ภาพรวม ==
คำถามเชิงปรัชญาที่สำคัญหลายข้อของวิทยาการคอมพิวเตอร์มีศูนย์กลางอยู่ที่ประเด็นเชิงตรรกะ  ภววิทยา และญาณวิทยาที่เกี่ยวข้องกัน  คำถามเหล่านี้บางส่วนอาจรวมถึง:
การคำนวณคืออะไร?
วิทยานิพนธ์ของคริสตจักร–ทัวริง รวบรวมแนวคิดทางคณิตศาสตร์ของวิธีการที่มีประสิทธิภาพในด้านตรรกวิทยาและคณิตศาสตร์หรือไม่?  
อะไรคือผลทางปรัชญาของปัญหา 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&nbsp;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 &#x2014; 2001 and beyond, pages 919–936. Springer.
Alexander Ollongren, Jaap van den Herik. Filosofie van de informatica. London and New York: Routledge, 1999. ISBN&nbsp;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. [https://www.springer.com/gb/book/9783662555644]
== อ้างอิง ==
วิทยาการคอมพิวเตอร์