>>744-746
>ノビコフの定理を認めるのなら、
>「したがって、すべての４次元多様体の（基本群による）分類も不可能なのである。」
>も正しい
>基本群を自明群に限定した場合の分類は
>「『すべての』４次元多様体の分類」
>ではない

正しくない！
正しくは、下記（>>727より）
”Computability
　Manifolds in dimension 4 and above cannot be effectively classified:
　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?).”

・effectively classified と単なるclassifiedは違うよ
・そして、”「Computability」という視点で見ると”と書いてあるでしょ？
・なお、「more precisely, the triviality problem (given a finite presentation for a group, is it the trivial group?)」
　とあるとおり、「trivial group?」という問題さえ、ノビコフの定理からの帰結で解けないのです