มีหนังสือเกี่ยวกับความหมายเชิงปรัชญาของวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีหรือไม่?

ฉันหาหนังสือบางเล่มเกี่ยวกับคอมพิวเตอร์ แต่ทั้งหมดเกี่ยวกับเทคโนโลยี ฉันต้องการบางสิ่งที่เชื่อมโยงกับทฤษฎีมากขึ้น

ลองเรียงความหน้า 50+ "ทำไมนักปรัชญาควรใส่ใจเกี่ยวกับความซับซ้อนในการคำนวณ" https://arxiv.org/abs/1108.1791

Quantum Computing เนื่องจาก Democritus โดย Scott Aaronson เป็นคู่ที่ใกล้เคียงที่สุดที่ฉันนึกได้ ฉันไม่คิดว่าจะมีหนังสือเล่มเดียวที่อุทิศให้กับผลกระทบทางปรัชญาของ TCS อย่างสมบูรณ์

การเปิดและทำการค้นหาอย่างรวดเร็วในหนังสือ (คลาสสิก) การคำนวณเชิงซ้อนของ Arora และ Barak ( ฉบับร่างออนไลน์ที่นี่ ) มีคำว่า "ปรัชญา" 19 รายการรวมถึงหัวข้อย่อยเช่น

• $\mathrm{P}$

• $\mathrm{NP}$

• การอภิปรายของการสุ่มในบทที่ 16 ("Derandomization, Expanders and Extractors")

นี่คือบทความเกี่ยวกับธรรมชาติทางปรัชญาของ Scott Aaronson ผีในเครื่องทัวริงควอนตัม

เพื่อเติมเต็มคำตอบข้างต้นหนังสือคณิตศาสตร์และการคำนวณล่าสุดของ Avi Widgerson กล่าวสั้น ๆ เกี่ยวกับการมีปฏิสัมพันธ์ระหว่างปรัชญาวิทยาศาสตร์คอมพิวเตอร์และปรัชญาในส่วนที่ 20.5 หนังสือทั้งเล่มมีเนื้อหาที่น่าสนใจทางปรัชญามากมายโดยมุ่งเน้นไปที่การมีอิทธิพลซึ่งกันและกันระหว่างสาขาต่าง ๆ ที่ดูเหมือนจะเกิดขึ้นและทำเช่นนั้นโดยอธิบายโครงสร้างพื้นฐานและความหมายของแนวคิดต่าง ๆ ของ ToC (แบบแผนความรู้ปฏิสัมพันธ์ปฏิสัมพันธ์วิวัฒนาการ การชักนำการเรียนรู้และอื่น ๆ อีกมากมาย) ในขณะที่ไม่ได้เป็นหนังสือเกี่ยวกับปรัชญาในตัวมันทำให้ผู้อ่านสงสัยเกี่ยวกับแสงใหม่หลั่งโดย ToC ในแนวคิดเหล่านี้ทั้งหมด และมันก็แยกย้ายจากหนังสือเรียนมาตรฐาน (จริง ๆ แล้วนั่นไม่ใช่หนังสือเล่มนี้) เนื่องจากไม่มีหลักฐานพิสูจน์ ฉันขอแนะนำอย่างยิ่ง

John Searle ในหนังสือของเขา " The Rediscovery of the Mind " เหนือสิ่งอื่นใดทำให้เกิดคำถามว่าการคำนวณคืออะไร โดยเฉพาะอย่างยิ่งเขากล่าวว่า "การคำนวณ" ไม่ใช่ทรัพย์สินที่มีอยู่ในกระบวนการใด ๆ แต่จะต้องมีผู้สังเกตการณ์บางคนที่อ้างถึง "ความหมาย" ในกระบวนการ

สมมติฐานที่มีอิทธิพลนี้ได้สร้างวรรณกรรมค่อนข้างมาก แต่ส่วนใหญ่อยู่ในรูปแบบของบทความไม่ใช่หนังสือฉันคิดว่า

Avi Wigderson, ในความรู้, ความคิดสร้างสรรค์และ P กับ NPระบุว่าคำถามเชิงปรัชญา: ความคิดสร้างสรรค์สามารถเป็นไปโดยอัตโนมัติหรือไม่? เทียบเท่ากับ P = NP หรือไม่

ฉันไม่ได้อ่านตัวเองมากนัก แต่ฉันพบว่าหนังสือ "โครงสร้างและการตีความโปรแกรมคอมพิวเตอร์" เปิดกว้างมาก

Gerry Sussman ทำงานที่ยอดเยี่ยมกับหนังสือเล่มนั้น

มันคุ้มค่าที่จะอ่าน :-)

จองแบบเต็มได้ที่นี่

lance fortnow "ตั๋วทองคำ" มันเกี่ยวข้องกับผลที่ตามมาของสิ่งที่เกิดขึ้นในกรณีที่ P = NP และปัญหาอื่น ๆ ในลักษณะที่เบามาก