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

15

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

reference-request soft-question philosophy

— Raphael Augusto
fonte

9

Gödel, Escher, Bach vem à mente, mas não tenho certeza se esse é o tipo de coisa que você está procurando.

— Martin Ender

1

É de Impagliazzo cinco mundos o tipo de coisa que você está procurando?

— EP

27

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

— Ryan Williams
fonte

Aparentemente, não está nesse ensaio, mas Aaronson tende a brincar que a ciência da computação deve ser chamada de epistemologia quantitativa , o que a aproxima de fundamentos filosóficos.

— EP

15

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.

— Gustav Nordh
fonte

6

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

— Clemente C.
fonte

5

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

— Abhishek Shetty
fonte

5

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.

— Geoffroy Couteau
fonte

3

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.

— Peter Leupold
fonte

2

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 ?.

— Mohammad Al-Turkistany
fonte

1

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

— sohom154
fonte

1

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.

— riemann77
fonte