[問題] Word problem
關於 Word problem 的介紹參考 wiki 這篇，
http://en.wikipedia.org/wiki/Word_problem_for_groups
簡單來講是這樣，在一個 group 由我們規定一些等式，
例如 xy = 1 這樣，等式可以是可數多個，全部稱為 P，
那在這個群裡頭給兩個元素，是否能判斷這兩個元素是一樣的。
以前已經有人證明，存在即使 P 是有限等式下，對於判斷
兩個元素是否相等的問題是 undecidable。
我想問的是，對於此問題是否有進一步推廣到其他的結構上，
甚至是 algebraic category 上？而不是只限於 group。
以及是否有相關的資料可以參考。謝謝！
--
實在不知道該貼在數學版還是這裡好 XD
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.193.203.88
推
02/04 06:55, , 1F
02/04 06:55, 1F
→
02/04 06:55, , 2F
02/04 06:55, 2F
→
02/04 23:03, , 3F
02/04 23:03, 3F
CSSE 近期熱門文章
PTT數位生活區 即時熱門文章
