Apakah ada buku tentang implikasi filosofis dari Theoretical Computer Science?

15

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

reference-request soft-question philosophy

— Raphael Augusto
sumber

9

Gödel, Escher, Bach muncul di benak, tetapi saya tidak yakin apakah itu jenis barang yang Anda cari.

— Martin Ender

1

Apakah Impagliazzo Five Worlds adalah jenis hal yang Anda cari?

— EP

27

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

— Ryan Williams
sumber

Tampaknya bukan pada esai itu, tetapi Aaronson cenderung menyindir bahwa ilmu komputer harus disebut epistemologi kuantitatif , yang membawanya lebih dekat dengan alasan filosofis.

— EP

15

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.

— Gustav Nordh
sumber

6

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").

— Clement C.
sumber

5

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

— Abhishek Shetty
sumber

5

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.

— Geoffroy Couteau
sumber

3

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.

— Peter Leupold
sumber

2

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

— Mohammad Al-Turkistany
sumber

1

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

— sohom154
sumber

1

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.

— riemann77
sumber