まえがき
プロローグ
第1部 心の理解になぜ新しい物理学が必要なのか――意識的思考の計算不可能性
1 意識と計算
1.1 心と科学
1.2 ロボットはこの面倒な世界を救うことができるか?
1.3 計算と意識的思考のA, B, C, D
1.4 物理主義 対 心理主義
1.5 計算――トップダウンとボトムアップの手続き
1.6 観点Cはチャーチ‐テューリングのテーゼを破っているか?
1.7 カオス
1.8 アナログ計算
1.9 計算不可能になりうるのはどんな種類の活動か?
1.10 未来については?
1.11 コンピュータは権利や責任をもちうるか?
1.12 「気づき」、「理解」、「意識」、「知能」
1.13 ジョン・サールの議論
1.14 計算モデルのいくつかの困難
1.15 現在のAIの制約はCの弁護になるか?
1.17 プラトン主義か神秘主義か?
1.18 数学的理解の重要性とは何か?
1.19 ゲーデルの定理は常識的振る舞いとどうかかわるか?
1.20 心的な視覚化と仮想現実
1.21 数学的想像は非計算的か?
2 ゲーデル的論法
2.1 ゲーデルの定理とテューリング機械
2.2 計算
2.3 非停止計算
2.4 ある計算が停止しないことをどのようにして決定するのか?
2.5 計算の種族――ゲーデル‐テューリングの結論G
2.6 Gに対するありうべき技術的な反論
2.7 いくつかのより深い数学的考察
2.8 ω無矛盾性の条件
2.9 形式的システムとアルゴリズム的証明
2.10 Gに対するありうべきさらなる専門的批判
付録A 明示的なゲーデル化テューリング機械
3 数学的思考における計算不可能性の論拠
3.1 ゲーデルとテューリングは何を考えたのか?
3.2 不健全なアルゴリズムは数学的理解を可知的な仕方でシミュレートできるか?
3.3 可知的アルゴリズムは数学的理解を不可知の仕方でシミュレートできるか?
3.4 数学者はそれと知らずに不健全なアルゴリズムを使っているだろうか?
3.5 アルゴリズムは知りえないものでありうるか?
3.6 自然淘汰か、神の御業か?
3.7 一つのアルゴリズム、それとも多数の?
3.8 俗離れした秘儀的な数学者の自然淘汰
3.9 学習アルゴリズム
3.10 環境は非アルゴリズム的な外的因子を提供できるか?
3.11 ロボットはどのようにして学ぶことができるか?
3.12 ロボットは「固い数学的信念」を獲得することができるか?
3.13 ロボット数学の根底にあるメカニズム
3.14 基礎的矛盾
3.15 矛盾を回避する方法
3.16 ロボットはMを信じる必要があるか?
3.17 ロボットの誤りとロボットの「意味」
3.18 ランダムさをどう取り入れるか――ロボット活動のアンサンブル
3.19 誤った☆主張の除去
3.20 検討を要するのは有限個の☆μ主張だけである
3.21 予防措置の適切さ?
3.22 カオスは心の計算的モデルを救えるか?
3.23 帰謬法――幻想的な対話
3.24 背理的推論を用いてきたのだろうか?
3.25 数学的証明の複雑さ
3.26 計算的なループの破れ
3.27 トップダウンそれともボトムアップの計算数学?
3.28 結論