理論計算機科学の哲学的意味に関する本はありますか？

コンピューターに関する本をいくつか見つけましたが、それらはすべてテクノロジーに関するものです。もっと理論に関連したものが欲しい。

50ページ以上のエッセイ「哲学者は計算の複雑さを気にする必要がある」を試してくださいhttps://arxiv.org/abs/1108.1791

量子コンピューティングは、Scott AaronsonによるDemocritusが、私が考えることができる最も近い一致だからです。TCSの哲学的意味を完全に扱った本は1つもないと思います。

Arora and Barak（オンラインドラフトはこちら）の（古典的な）計算複雑性の本を開いてクイック検索を行うと、「哲学的」という単語が19個出現します。

• $\mathrm{P}$

• $\mathrm{NP}$

• 第16章のランダム性の説明（「ランダム化解除、エキスパンダー、エクストラクター」）。

ここに、スコットアーロンソンによる哲学的性質の別のエッセイがあります。量子チューリングマシンのゴースト

上記の回答の一部を補完するために、Avi Widgersonの最近の本Mathematics and Computationでは、セクション20.5でコンピューターサイエンスと哲学の哲学的相互作用について簡単に説明しています。より広く、本全体は哲学的に興味のある多くの資料を含んでいます。主に一見異なる分野間の相互作用に焦点を当てており、ToCのさまざまな概念の基礎となる構造と意味（ランダム性、知識、相互作用、進化、誘導、学習...など）。それ自体は哲学についての本ではありませんが、読者はこれらすべての概念についてToCが放つ新しい光について疑問に思います。また、証明が含まれていないため、標準の教科書とは大きく異なります（実際、この本とは異なります）。強くお勧めします。

ジョン・サールの著書「心の再発見」では、とりわけ計算とは何かという疑問が提起されています。特に、彼は「計算的であること」はいかなるプロセスにも固有の特性ではないと述べています。むしろ、プロセスに「意味」を帰属させるオブザーバーが存在する必要があります。

この影響力のある仮説はかなりの文献を生み出しましたが、ほとんどは本ではなく記事の形をとっています。

知識、創造性、P対NPの Avi Wigdersonは、哲学的質問：創造性を自動化できるかと主張しています。P = NP？と同等です。

私自身はあまり読みませんでしたが、本「コンピュータプログラムの構造と解釈」は目を見張るものがあります。

Gerry Sussmanはその本で素晴らしい仕事をしました。

読む価値があります。:-)

完全な本はこちら

ランスは「黄金のチケット」を知っています。P= NPの場合や他の問題が発生した場合の結果を非常に軽い方法で処理します。