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

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

**ภาพรวม**
คำถามเชิงปรัชญาที่สำคัญหลายข้อของวิทยาการคอมพิวเตอร์มีศูนย์กลางอยู่ที่ประเด็นเชิงตรรกะ  ภววิทยา และญาณวิทยาที่เกี่ยวข้องกัน  คำถามเหล่านี้บางส่วนอาจรวมถึง:- การคำนวณคืออะไร?- วิทยานิพนธ์ของคริสตจักร–ทัวริง รวบรวมแนวคิดทางคณิตศาสตร์ของวิธีการที่มีประสิทธิภาพในด้านตรรกวิทยาและคณิตศาสตร์หรือไม่?  - อะไรคือผลทางปรัชญาของปัญหา 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 date=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. 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. 0-415-19749-XISBN 0-415-19749-X- 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. 

**อ้างอิง**
หมวดหมู่:วิทยาการคอมพิวเตอร์