波斯特分層定理(Post's hierarchy theorem)算術分層中各層之間的相似性性質定理
基本介紹
- 中文名：波斯特分層定理
- 外文名：Post's hierarchy theorem
其內容為:一關係為On十、，若且唯若該關係是相對某個乏。或nn關係遞歸的;一關係為a十1，若且唯若該關係相對某個乏，或二，關係遞歸可枚舉.波斯特分層定理是波蘭一美國數理邏輯學家波斯特(Post, E. L.)於1948年證明的.
波斯特分層定理(Post's hierarchy theorem)算術分層中各層之間的相似性性質定理
波斯特分層定理(Post's hierarchy theorem)算術分層中各層之間的相似性性質定理其內容為:一關係為On十、，若且唯若該關係是相對某個乏。或nn關係遞歸的;一關係為a十1，若且唯若該關係相對某個乏，或二...
克萊尼–波斯特定理（英語：Kleene–Post Theorem）是可計算性理論中關於不可解度的定理。簡介 克萊尼–波斯特定理（英語：Kleene–Post Theorem）是可計算性理論中關於不可解度的定理，聲稱存在且可從停機問題計算出一對互相不可計算的不可解度。內容 存在不可解度A,B，使 且A,B互不可計算。相關定理 弗里德堡–...
[1]簡介:它在形式上與邏輯中的形式系統十分相像,具體地,所謂波斯特系統PS,包括一個字母表藝(其中的常元和變元分別組成二和v,且=yUv> ,上的字組成的有窮公理集s(S中字也稱原始假設)和一個有窮的產生程式屍,屍中的元素為形如(al,aZ,...,a a)的n元產生式(W為某個自然數);其中a都是藝上的字,這種...
波斯特分層定理(Post's hierarchy theorem)算術分層中各層之間的相似性性質定理 其內容為:一關係為On十、，若且唯若該關係是相對某個乏。或nn關係遞歸的;一關係為a十1，若且唯若該關係相對某個乏，或二，關係遞歸可枚舉.波斯特分層定理是波蘭一美國數理邏輯學家波斯特(Post, E. L.)於1948年證明的.