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

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

  1. 数学者の「不実さ」について
  2. 嘘つきが盲人に色を教える話
  3. 人は、正しくないことを信ずることがあること

数学的認識について

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

複雑性理論と人工知能技術 2018年のblog

複雑さについて 2017年のblog

数学の基礎と計算科学