Existe-t-il un livre sur les implications philosophiques de l'informatique théorique?

Je trouve des livres sur les ordinateurs, mais tous portent sur la technologie. Je veux quelque chose de plus lié à la théorie.

Essayez l'essai de plus de 50 pages "Pourquoi les philosophes devraient se soucier de la complexité informatique" https://arxiv.org/abs/1108.1791

L'informatique quantique depuis Démocrite de Scott Aaronson est la correspondance la plus proche à laquelle je peux penser. Je ne pense pas qu'il existe un seul livre entièrement consacré aux implications philosophiques du TCS.

En ouvrant et en faisant une recherche rapide dans le livre (classique) sur la complexité computationnelle d'Arora et Barak ( ébauche en ligne ici ), il y a 19 occurrences du mot "philosophique", y compris des sous-sections telles que

• $\mathrm{P}$

• $\mathrm{NP}$

• une discussion sur le caractère aléatoire dans le chapitre 16 ("Derandomization, Expanders and Extractors").

Voici un autre essai de nature philosophique de Scott Aaronson. Le fantôme dans la machine quantique de Turing

Pour compléter certaines des réponses ci-dessus, le livre récent d'Avi Widgerson Mathematics and Computation discute brièvement des interactions philosophiques entre l'informatique et la philosophie dans la section 20.5. Plus largement, le livre entier contient beaucoup de matériel d'intérêt philosophique, car il se concentre principalement sur l'interaction entre des domaines apparemment différents, et le fait en expliquant la structure sous-jacente et la signification de divers concepts de ToC (aléatoire, connaissance, interaction, évolution , induction, apprentissage ... Entre autres). Bien qu'il ne s'agisse pas d'un livre sur la philosophie en soi, il incite le lecteur à s'interroger sur la nouvelle lumière apportée par ToC sur tous ces concepts. Et il s'écarte considérablement des manuels scolaires standard (en effet, ce n'est pas ce que ce livre est), car il ne contient aucune preuve. Je le recommande fortement.

John Searle dans son livre " La redécouverte de l'esprit " pose entre autres la question de ce qu'est un calcul. En particulier, il déclare que «le calcul» n'est pas une propriété inhérente à tout processus. Il doit plutôt y avoir un observateur attribuant le "sens" au processus.

Cette hypothèse influente a créé pas mal de littérature, mais surtout sous forme d'articles, pas de livres, je pense.

Avi Wigderson, dans Knowledge, Creativity and P versus NP , avance que la question philosophique: la créativité peut-elle être automatisée? est équivalent à P = NP ?.

Je n'ai pas beaucoup lu moi-même mais je trouve le livre "Structure et interprétation des programmes informatiques" très révélateur.

Gerry Sussman a fait un travail incroyable avec ce livre.

Cela vaut la peine d'être lu. :-)

Livre complet ici

lance fortnow "le billet d'or", il traite les conséquences de ce qui se passe dans le cas P = NP et d'autres problèmes d'une manière très légère.