23/12/23 09:12:11.54 B6Ixzxdu.net
>>748
>>ノビコフの定理を認めるのなら、
>>「したがって、すべての４次元多様体の（基本群による）分類も不可能なのである。」
>>も正しい
>正しくない！
何が正しくない？
ノビコフの定理が正しくない？
物事ははっきりわかるように言おうな
君は舌足らず言葉足らず思慮足らず
>effectively classified と単なるclassifiedは違うよ
ん？もしかして人にはできないけど、神ならできる、という主張？
君は神かね？
>「more precisely, the triviality problem (given a finite presentation for a group, is it the trivial group?)」
>とあるとおり、「trivial group?」という問題さえ、ノビコフの定理からの帰結で解けないのです
ある有限表示群が自明群かどうか判断する手続きは存在しないから
ある有限表示群をもつ多様体が、単連結かどうか判断する手続きも存在しない
それは全くその通りである まさか間違ってると思ってるのかい？
単連結だと分かっている場合の分類は出来ている
しかしそのことと
「ある多様体が単連結かどうか判断する手続きが存在しないこと」
は矛盾しないが？