AInic Dialogs ・ Nori & Cloco Chitchat
不完全性定理編
なぜ AI は、人間に置き換えられないのか？
のり子と AI クロコが、ゲーデルの不完全性定理を手がかりに 「AI 時代の人間と社会の本質」を語る対話マンガ。数式の証明は追いません。 たどるのは、ひとつの問い——どんなに賢い体系も、自分の正しさを内側からは証明できない。
Kindle Unlimited なら読み放題単品購入 ¥1,250 ／ Amazon で開く↗ Amazon が開きます
Peek inside
100年前のドイツ、ある数学者の夢から。
のり子の「じゃあ付き合うわ。最初から教えて」に、クロコは歴史から語り出す。 難しい定理を、いきなり数式でぶつけない。夜の対話として、地続きで。
The thread
本書がたどる、4 つの問い。
- 01ヒルベルトの夢数学を、完全で無矛盾に100年前のドイツ。「すべての真理は証明できるはずだ」——偉大な数学者たちの目標から始まる。
- 02ゲーデルの一撃体系は、自分を証明できないどんなに強力な体系でも、その無矛盾性は内部からは証明できない。数学の土台が揺れた瞬間。
- 03自己言及のわな「この文は証明できない」自分自身を指す一文が生む逆説。形式の上で動くものが、必ず詰まる場所。
- 04そして AI は？機械の限界と、人間に残るもの形式体系の限界を、AI 時代の「人間と社会の本質」へ。答えは押し付けず、あなたに手渡される。
The incompleteness
G ⇔ ¬Provable(G)
── G が証明できるなら、矛盾する
── G が証明できないなら、G は真
∴ 真だが、証明できない文があるどんなに強力な体系でも、その内部からはすべてを証明できない。
— K. ゲーデル
クロコは答えを押し付けません。100年前の数学者の夢から始まる対話の先で、「AI と人間の境界」をどこに引くかを、あなた自身が考える本です。
この2人を、もっと。
のり子とクロコは yatmita のあちこちにいます。無料マンガでも、別の本でも。
AInic Dialogs 不完全性定理編なぜ AI は人間に置き換えられないのか
- ✦ Kindle Unlimited なら、読み放題
- ✦ 単品購入 ¥1,250 ／ のり子とクロコの対話マンガ
- ✦ 数式の証明は追わない。ゲーデルから、AI 時代の問いへ