数学的認識について / 数学の基礎と計算科学

マルゼミ 「Interactive Proof 入門」に向けて  blog集

人は、正しくないことを信ずることがあること

  1. 数学者の「不実さ」について
  2. 嘘つきが盲人に色を教える話
  3. 人は、正しくないことを信ずることがあること
  4. 知ることと信じること
  5. 「大貧民」の必勝法
  6. コンピュータが数学的定理を証明することの意味
  7. 機械は、論理的=数学的推論能力を持つ

神託、魔法使い、数学的証明

  1. 計算は好きですか?
  2. 数学者も計算を間違えることがある
  3. 誤った「証明」
  4. 「巨人の肩の上の小人」
  5. 小さな子供も巨人に成長することがある
  6. 人工知能と計算科学
  7. 「異端」としてのチューリング
  8. 神託、魔法使い、数学的証明 (1)
  9. 神託、魔法使い、数学的証明 (2) ArthurとMerlin

複雑性理論と人工知能 (2018年のblog)

複雑さについて (2017年のblog)

数学の基礎と計算科学 (参考資料)

MIP*=RE 関連資料集

Voevodsky

John Baez

Lawvere