Loading AI tools
這是一個不可判定問題列表。
- 停機問題（決定圖靈機是否停機）
- 決定圖靈機是否Busy beaver（最長運行的圖靈機有相用的停機問題）
- 死亡率問題（mortality problem）
- 萊斯定理指出所有partial方程的非凡屬性，決定機器計算partial方程與其屬性是否未決定。
- Word problem for groups
- 共軛問題
- 群同構問題（Group isomorphism problem）
- 對於某些類別的方程，問題決定；兩個相用的方程，零的方程，是否不定積分的函數也包括在其中。例如，請參考Stallworth and Roush[1]。(這些問題並非總是不可判定的。這取決於class。例如，Risch algorithm，一個對於屬於超越初等函數一個領域，其任何函數的初等積分之有效決定步驟。)
- 「分解問題決定the definite contour multiple integral of an elementary meromorphic function is zero over an everywhere real analytic manifold on which it is analytic。」這被希爾伯特第十問題判定為矛盾而解決。[2]
- 波斯特對應問題（Post correspondence problem）
- 某些形式語言的word problem
- 決定王氏磚塊是否能鋪滿平面
- 判斷標記系統是否停機
- 計算某個字符串的柯氏複雜性
- 希爾伯特第十問題：決定不定方程（又稱為丟番圖方程）的可解答性。
- 決定上下文有關語言會否生成對應字母表的所有字符串；或判斷其是否有歧義。
- 兩個上下文有關語言能否生成同樣的字符串，或一個語言生成另一個語言生成的子集，或是否有某個字符串兩個語言都生成。
- 給予一個為初始點的有理坐標是週期性，決定位於basin of attraction是否開集，或是否在平分線函數迭代為兩個綱比或三個綱比。
- 決定Λ演算方程是否有正則形式。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
