Apakah ada buku tentang implikasi filosofis dari Theoretical Computer Science?

Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan teori.

Coba esai 50+ halaman "Mengapa Para filsuf Harus Peduli Dengan Kompleksitas Komputasi" https://arxiv.org/abs/1108.1791

Quantum Computing Sejak Democritus oleh Scott Aaronson adalah pertandingan terdekat yang bisa saya pikirkan. Saya tidak berpikir ada buku tunggal yang sepenuhnya ditujukan untuk implikasi filosofis TCS.

Membuka dan melakukan pencarian cepat di buku Kompleksitas Komputasi (klasik) Arora dan Barak ( konsep online di sini ), ada 19 kemunculan kata "filosofis", termasuk subbagian seperti

• $\mathrm{P}$

• $\mathrm{NP}$

• diskusi tentang keacakan dalam Bab 16 ("Derandomisasi, Ekspander, dan Ekstraktor").

Berikut adalah esai lain yang bersifat filosofis oleh Scott Aaronson. Hantu di Mesin Kuantum Turing

Untuk melengkapi beberapa jawaban di atas, buku terbaru Avi Widgerson, Mathematics and Computation secara singkat membahas hubungan filosofis antara ilmu komputer dan filsafat di bagian 20.5. Secara lebih luas, keseluruhan buku ini mengandung banyak bahan yang menarik secara filosofis, karena ia berfokus terutama pada interaksi antara bidang-bidang yang tampaknya berbeda, dan melakukannya dengan menjelaskan struktur yang mendasari dan makna berbagai konsep ToC (keacakan, pengetahuan, interaksi, evolusi , induksi, belajar ... Di antara banyak lainnya). Meskipun bukan buku tentang filsafat itu sendiri, itu membuat pembaca bertanya-tanya tentang cahaya baru yang diberikan oleh ToC pada semua konsep ini. Dan itu secara signifikan menyimpang dari buku sekolah standar (memang, bukan itu buku ini), karena tidak mengandung bukti. Saya sangat merekomendasikannya.

John Searle dalam bukunya " The Rediscovery of the Mind " antara lain menimbulkan pertanyaan apa itu perhitungan. Secara khusus ia menyatakan bahwa "menjadi komputasi" bukanlah properti yang melekat pada proses apa pun. Sebaliknya, harus ada beberapa pengamat yang menghubungkan "makna" dengan proses.

Hipotesis yang berpengaruh ini telah menciptakan beberapa literatur meskipun sebagian besar dalam bentuk artikel, bukan buku, saya pikir.

Avi Wigderson, dalam Pengetahuan, Kreativitas dan P versus NP , berpendapat bahwa pertanyaan filosofis: Dapatkah kreativitas diotomatisasi? setara dengan P = NP ?.

Saya belum banyak membaca sendiri tetapi saya menemukan buku "Struktur dan Interpretasi Program Komputer" sangat membuka mata.

Gerry Sussman telah melakukan pekerjaan luar biasa dengan buku itu.

Ini layak dibaca. :-)

Buku Lengkap Di Sini

Lance fortnow "the golden ticket", ini berkaitan dengan konsekuensi dari apa yang terjadi dalam kasus P = NP dan masalah lainnya dengan cara yang lebih ringan.