>>713-714

ありがと
・結論として（1979年版）
「すべての有限表示群を分類することは不可能なことが知られている（ノビコフ）。
　したがって、すべての４次元多様体の分類も不可能なのである」
　における「したがって、すべての４次元多様体の分類も不可能なのである」の記述無し
　つまり、その記述は「2022年版では、不採用」
　ってことですね
・1979年版の記述に相当する部分を2022年版で入れるためには、用語「分類」を定義しないといけない
（別の章の「分類」についての記述と整合を取るためにね。別の章の「分類」と
　いま「すべての４次元多様体の分類も不可能」と述べる「分類」との整合性が問われるのは当然だから）
・そして、そこまでして「すべての４次元多様体の分類も不可能」と述べる意義が薄いという判断でしょう
　なお、下記を再録しておきますね

(参考)>>665より再録
https://en.wikipedia.org/wiki/Classification_of_manifolds
Classification of manifolds

Manifolds in dimension 4 and above cannot be effectively classified: given two n-manifolds (n≥ 4) presented as CW complexes or handlebodies, there is no algorithm for determining if they are isomorphic (homeomorphic, diffeomorphic).
This is due to the unsolvability of the word problem for groups, or more precisely, the triviality problem (given a finite presentation for a group, is it the trivial group?).
Any finite presentation of a group can be realized as a 2-complex, and can be realized as the 2-skeleton of a 4-manifold (or higher).
Thus one cannot even compute the fundamental group of a given high-dimensional manifold, much less a classification.