วิกิพีเดีย

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

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

ภาพรวม แก้

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

วิทยานิพนธ์ของศาสนจักร - ทัวริง แก้

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

ปัญหา P กับ NP แก้

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

ตัวอย่างเช่น ตามที่ Scott Aaronson นักวิทยาการคอมพิวเตอร์ชาวอเมริกันที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) ได้กล่าวไว้ว่า

ถ้า P = NP โลกจะเป็นสถานที่ที่แตกต่างอย่างลึกซึ้งกว่าที่เราคิดไว้ จะไม่มีค่าพิเศษใดใน "การก้าวกระโดดอย่างสร้างสรรค์" ไม่มีช่องว่างพื้นฐานระหว่างการแก้ปัญหาและการตระหนักถึงวิธีแก้ปัญหาเมื่อค้นพบแล้ว ทุกคนที่ชื่นชมซิมโฟนีจะเป็น Mozart ทุกคนที่สามารถทำตามข้อโต้แย้งทีละขั้นตอนได้จะเป็น Gauss [10]

ดูเพิ่มเติม แก้

เชื่อมโยงภายนอก แก้

อ่านเพิ่มเติม แก้

  • 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]

อ้างอิง แก้

  1. ↑ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
  2. ↑ 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
  3. ↑ 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)
  4. ↑ Copeland, B. Jack. "The Church-Turing Thesis". Stanford Encyclopedia of Philosophy.
  5. ↑ Hodges, Andrew. "Did Church and Turing have a thesis about machines?".
  6. ↑ 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.
  7. ↑ 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.
  8. ↑ 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.
  9. ↑ Rosenberger, Jack (May 2012). "P vs. NP poll results". Communications of the ACM. 55 (5): 10.
  10. ↑ "Shtetl-Optimized » Blog Archive » Reasons to believe" (ภาษาอังกฤษแบบอเมริกัน). สืบค้นเมื่อ 2021-09-16.
เข้าถึงจาก "https://th.wikipedia.org/w/index.php?title=ปรัชญาวิทยาการคอมพิวเตอร์&oldid=11009074"