代数学総合スレッド Part6 (566ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
462: 2023/01/09(月)14:13 ID:afxohR47(1) AAS
＞群の語の問題と Muller–Schupp の定理
＞外部ﾘﾝｸ[pdf]:www2.kobe-u.ac.jp
の中に
＞定理 (Novikov (1955), Boone (1958))
＞有限表示群 G であって語の問題 WP(G) が
＞決定不能 (undecidable) であるよう
＞なものが存在する．
どのようなものが具体的に決定不能であるのか
その例をみせて欲しいね。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s