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

15

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

reference-request soft-question philosophy

— Raphael Augusto
source

9

Gödel, Escher, Bach me vient à l'esprit, mais je ne sais pas si c'est le genre de choses que vous recherchez.

— Martin Ender

1

Est -ce que Five Worlds d'Impagliazzo est le genre de chose que vous recherchez?

— EP

27

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

— Ryan Williams
source

Ce n'est apparemment pas sur cet essai, mais Aaronson a tendance à insinuer que l' informatique devrait être appelée épistémologie quantitative , ce qui la rapproche des fondements philosophiques.

— EP

15

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.

— Gustav Nordh
source

6

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

— Clement C.
source

5

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

— Abhishek Shetty
source

5

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.

— Geoffroy Couteau
source

3

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.

— Peter Leupold
source

2

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

— Mohammad Al-Turkistany
source

1

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

— sohom154
source

1

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.

— riemann77
source