Existe algum livro sobre as implicações filosóficas da Ciência da Computação Teórica?

Encontro alguns livros sobre computadores, mas todos são sobre tecnologia. Eu quero algo mais ligado à teoria.

Experimente o ensaio de mais de 50 páginas "Por que os filósofos devem se preocupar com a complexidade computacional" https://arxiv.org/abs/1108.1791

Computação quântica Desde Demócrito, de Scott Aaronson, é a correspondência mais próxima que consigo pensar. Eu não acho que exista um único livro completamente dedicado às implicações filosóficas do TCS.

Abrindo e fazendo uma pesquisa rápida no livro (clássico) da Complexidade Computacional de Arora e Barak ( rascunho online aqui ), existem 19 ocorrências da palavra "filosófica", incluindo subseções como

• "Sobre a importância filosófica de $\mathrm{P}$ "

• "A importância filosófica de $\mathrm{NP}$ "

• uma discussão sobre aleatoriedade no capítulo 16 ("Desaeronização, expansores e extratores").

Aqui está outro ensaio de natureza filosófica por Scott Aaronson. O fantasma na máquina quântica de Turing

Para complementar algumas das respostas acima, o livro recente de Avi Widgerson, Matemática e computação , discute brevemente as interações filosóficas entre ciência da computação e filosofia na seção 20.5. De maneira mais ampla, o livro inteiro contém muito material de interesse filosófico, pois se concentra principalmente na interação entre campos aparentemente diferentes, explicando a estrutura e o significado subjacentes de vários conceitos de ToC (aleatoriedade, conhecimento, interação, evolução). , indução, aprendizado ... Entre muitos outros). Embora não seja um livro sobre filosofia em si, faz o leitor se perguntar sobre a nova luz lançada pelo ToC sobre todos esses conceitos. E parte significativamente dos livros escolares comuns (na verdade, não é isso que este livro é), pois não contém provas. Eu recomendo.

John Searle, em seu livro " A Redescoberta da Mente ", entre outras coisas, levanta a questão sobre o que é uma computação. Em particular, ele afirma que "ser computacional" não é uma propriedade inerente a nenhum processo. Antes, deve haver algum observador atribuindo o "significado" ao processo.

Essa hipótese influente criou bastante literatura, embora principalmente na forma de artigos, não livros, eu acho.

Avi Wigderson, em Conhecimento, Criatividade e P versus NP , argumenta que a questão filosófica: a criatividade pode ser automatizada? é equivalente a P = NP ?.

Ainda não li muito, mas acho o livro "Estrutura e interpretação de programas de computador" muito revelador.

Gerry Sussman fez um trabalho incrível com esse livro.

Vale a pena ler. :-)

Livro Completo Aqui

Agora, "o bilhete de ouro", lida com as conseqüências do que acontece no caso de P = NP e outras questões de uma maneira muito mais leve.