Teorik Bilgisayar Biliminin felsefi sonuçları hakkında bir kitap var mı?

15

Bilgisayarlarla ilgili bazı kitaplar buluyorum ama hepsi teknoloji ile ilgili. Teoriyle daha bağlantılı bir şey istiyorum.

reference-request soft-question philosophy

— Raphael Augusto
kaynak

9

Gödel, Escher, Bach akla geliyor, ama aradığınız şeylerin bu olup olmadığından emin değilim.

— Martin Ender

1

Mı Impagliazzo Beş Worlds aradığınız şey tür?

— EP

27

"Felsefecilerin Hesaplama Karmaşıklığına Neden Değer Vermesi Gerekir" başlıklı 50'den fazla makaleyi deneyin https://arxiv.org/abs/1108.1791

— Ryan Williams
kaynak

Görünüşe göre bu makale üzerinde değil, ancak Aaronson bilgisayar biliminin nicel epistemoloji olarak adlandırılması gerektiğini düşünüyor ve bu da onu felsefi temellere yaklaştırıyor.

— EP

15

Quantum Computing Scott Aaronson'dan Democritus'tan bu yana aklıma gelen en yakın maç. TCS'nin felsefi anlamlarına tamamen adanmış tek bir kitap olduğunu sanmıyorum.

— Gustav Nordh
kaynak

6

Arora ve Barak'ın (klasik taslak ) (klasik) Hesaplamalı Karmaşıklık kitabında ( burada çevrimiçi taslak ) hızlı bir şekilde arama yapmak ve yapmak , "felsefi" kelimesinin 19 alt bölümü vardır.

" ' nin felsefi önemi üzerine " $\mathrm{P}$
" " nin felsefi önemi $\mathrm{NP}$
Bölüm 16'da rastgelelik tartışması ("Derandomizasyon, Genişleticiler ve Ekstraktörler").

— Clement C.
kaynak

5

İşte Scott Aaronson'un felsefi doğasının bir başka denemesi. Kuantum Turing Makinesindeki Hayalet

— Abhishek Shetty
kaynak

5

Yukarıdaki cevaplardan bazılarını tamamlamak için Avi Widgerson'ın son Matematik ve Hesaplama kitabı bilgisayar bilimi ile felsefe arasındaki bölüm 20.5'teki felsefi etkileşimleri kısaca tartışmaktadır. Daha geniş olarak, tüm kitap, görünüşte farklı alanlar arasındaki etkileşime odaklandığı ve ToC'un çeşitli kavramlarının (rasgelelik, bilgi, etkileşim, evrim) altta yatan yapısını ve anlamını açıklayarak felsefi ilginin çok fazla materyalini içerir. , tümevarım, öğrenme ... diğerleri arasında). Kendi başına felsefe hakkında bir kitap olmasa da, okuyucuya ToC'nin tüm bu kavramlara ışık tuttuğu yeni ışığı merak ediyor. Ve hiçbir kanıt içermediğinden, standart okul kitaplarından önemli ölçüde ayrılıyor (aslında, bu kitap bu değil). Şiddetle tavsiye ederim.

— Geoffroy Couteau
kaynak

3

John Searle, “ Zihnin Yeniden Keşfi ” adlı kitabında , bir hesaplamanın ne olduğu sorusunu gündeme getiriyor. Özellikle, "hesaplı olmanın" herhangi bir sürece özgü bir özellik olmadığını belirtir. Aksine, sürece "anlamı" bağlayan bir gözlemci olmalıdır.

Bu etkili hipotez, sanırım kitap değil, çoğunlukla makale biçiminde olsa da oldukça fazla literatür yarattı.

— Peter Leupold
kaynak

2

Avi Wigderson, Bilgi, Yaratıcılık ve NP'ye karşı NP , felsefi sorunun şu olduğunu savunuyor: Yaratıcılık otomatikleştirilebilir mi? P = NP? 'ye eşittir.

— Muhammed El-Türkistan
kaynak

1

Kendimi fazla okumadım ama "Bilgisayar Programlarının Yapısı ve Yorumlanması" kitabını göz açıcı buluyorum.

Gerry Sussman bu kitapla inanılmaz bir iş çıkardı.

Okumaya değer. :-)

Tam Kitap Burada

— sohom154
kaynak

1

lance fortnow "altın bilet", bu P = NP ve diğer konularda çok daha hafif bir şekilde olması durumunda sonuçları ile ilgilenir.

— riemann77
kaynak