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

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

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

* การคำนวณคืออะไร?
* วิทยานิพนธ์ของคริสตจักร–ทัวริง รวบรวมแนวคิดทางคณิตศาสตร์ของวิธีการที่มีประสิทธิภาพในด้านตรรกวิทยาและคณิตศาสตร์หรือไม่?
* อะไรคือผลทางปรัชญาของปัญหา 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;.
* 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;
*  Taylor and Francis.
* Ray Turner and Nicola Angius. "The Philosophy of Computer Science". *Stanford Encyclopedia of Philosophy*.
* Matti Tedre (2011). **'. Minds & Machines **21''', 3, 361–387.
* Ray Turner. Computational Artefacts-Towards a Philosophy of Computer Science. Springer. https://www.springer.com/gb/book/9783662555644

## อ้างอิง

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