Esiste un libro sulle implicazioni filosofiche dell'informatica teorica?

15

Trovo alcuni libri sui computer, ma tutti riguardano la tecnologia. Voglio qualcosa di più legato alla teoria.

reference-request soft-question philosophy

— Raffaello Augusto
fonte

9

Gödel, Escher, Bach vengono in mente, ma non sono sicuro che sia il tipo di cose che stai cercando.

— Martin Ender,

1

È di Impagliazzo Cinque Mondi il genere di cosa che stai cercando?

— EP

27

Prova il saggio di oltre 50 pagine "Perché ai filosofi dovrebbe interessarsi della complessità computazionale" https://arxiv.org/abs/1108.1791

— Ryan Williams
fonte

Apparentemente non è su quel saggio, ma Aaronson tende a domare che l' informatica dovrebbe essere chiamata epistemologia quantitativa , il che lo avvicina a motivi filosofici.

— EP

15

Informatica quantistica da quando Democrito di Scott Aaronson è la partita più vicina a cui riesco a pensare. Non credo che esista un libro completamente dedicato alle implicazioni filosofiche della TCS.

— Gustav Nordh
fonte

6

Aprendo e facendo una rapida ricerca nel libro (classico) Complessità computazionale di Arora e Barak ( la bozza online qui ), ci sono 19 occorrenze della parola "filosofico", tra cui sottosezioni come

"Sull'importanza filosofica di " $\mathrm{P}$
"L'importanza filosofica di " $\mathrm{NP}$
una discussione sulla casualità nel capitolo 16 ("Derandomizzazione, espansori ed estrattori").

— Clemente C.
fonte

5

Ecco un altro saggio di natura filosofica di Scott Aaronson. Il fantasma nella macchina quantistica di Turing

— Abhishek Shetty
fonte

5

A complemento di alcune delle risposte di cui sopra, il recente libro di Avi Widgerson Mathematics and Computation discute brevemente delle interpretazioni filosofiche tra informatica e filosofia nella sezione 20.5. Più in generale, l'intero libro contiene un sacco di materiale di interesse filosofico, poiché si concentra principalmente sull'interazione tra campi apparentemente diversi e lo fa spiegando la struttura e il significato di base dei vari concetti di ToC (casualità, conoscenza, interazione, evoluzione , induzione, apprendimento ... Tra molti altri). Pur non essendo un libro sulla filosofia in sé, fa meravigliare il lettore sulla nuova luce diffusa da ToC su tutti questi concetti. E parte in modo significativo dai libri di testo standard (in effetti, non è questo il libro), in quanto non contiene prove. Lo consiglio vivamente.

— Geoffroy Couteau
fonte

3

John Searle nel suo libro " La riscoperta della mente ", tra le altre cose, solleva la questione di cosa sia un calcolo. In particolare afferma che "essere computazionali" non è una proprietà inerente a nessun processo. Piuttosto, ci deve essere un osservatore che attribuisce il "significato" al processo.

Questa ipotesi influente ha creato un bel po 'di letteratura, sebbene principalmente sotto forma di articoli, non di libri, credo.

— Peter Leupold
fonte

2

Avi Wigderson, in Conoscenza, Creatività e P contro NP , sostiene che la domanda filosofica: la creatività può essere automatizzata? è equivalente a P = NP ?.

— Mohammad Al-Turkistany
fonte

1

Non ho letto molto da solo, ma trovo molto interessante il libro "Struttura e interpretazione dei programmi per computer".

Gerry Sussman ha svolto un lavoro straordinario con quel libro.

Vale la pena leggere. :-)

Libro completo qui

— sohom154
fonte

1

lancia per ora "il biglietto d'oro", affronta le conseguenze di ciò che accade nel caso P = NP e altre questioni in un modo molto più leggero.

— riemann77
fonte