これは劉慈欣『三体』(早川書房)のネタバレがある記事。 「三体問題は(解析的に)解けない」という事実は古典力学を学ぶとなんとなく知ることになり、その意味するところもなんとなく分かる。ほんの僅かしかない力学の「解ける」例に触れた後、それより少し複雑な対象を扱うと「解けない」問題のほうが普通だと信じられるようになる。その一番簡単で象徴的な例が三体問題。 ところが、数学的に正確に「三体問題は解けない」の意味を説明しようとすると言葉に詰まる。「独立な第一積分が不足した非可積分系である」らしい。「不可能性」の数学的な定式化はだいたい難しい。 しかし、「三体問題は解けない」が怪しい使われ方をしている場面に直面して、「そういう意味ではない」と言うくらいならもう少し簡単な仕事になる。『三体』の三体問題の記述にはところどころにそう指摘せずにはおれない怪しさがある。 重要なのは、「三体問題は解けない」という命