遞歸同構是一個數學術語。
遞歸同構(recursively isomorphism)自然數集在遞歸置換意義下的等價關係.對自然數集A,B，若存在遞歸置換P，使得P<A)=B，則稱A,B遞歸同構，在遞歸論中一般記為A三B.由等價關係“二”導出的(自然數集的)等價類稱為遞歸同構型.根據曼希爾(Myhill, J.)的結論，遞歸同構實際上與1等價的概念是等價的(參見“曼希爾同構定理”).
遞歸同構
相關詞條
- 遞歸同構
遞歸同構是一個數學術語。 遞歸同構(recursively isomorphism)自然數集在遞歸置換意義下的等價關係.對自然數集A,B，若存在遞歸置換P，使得P<A)=B，則稱A,B遞歸同構，在遞歸論中一般記為A...
- 遞歸論(數理邏輯的重要分支之一)
理論是不可判定的。關於遞歸可枚舉圖靈度的 理論是否可判定仍然未知。哈林頓和思萊曼，思萊曼和武丁，尼斯和肖爾以及思萊曼先後用不同的編碼方法證明了遞歸可枚舉圖靈度的理論與一階算術理論是遞歸同構的，因此刻畫了遞歸可枚舉圖靈度理論...
- 遞歸序數
遞歸序數(recursive ordinal)是一種可構造序數。α為遞歸序數是指存在(某個自然數集上的)遞歸關係R，使得R為良序，並且R給出良序與α同構。概念 遞歸序數(recursive ordinal)是一種可構造序數。α為遞歸序數是指存在(某個自然數集上的...
- 超限遞歸定理
超限遞歸定理(transfinite recursive theorem)是遞歸定理的推廣，該定理斷言：對任意函式F：V→V，存在惟一的函式G：ord→V，使得對任意α∈ord有G(α)=F(G|)，這裡V表示一切集合構成的類，G|表示函式G在α上的限制。當在上述定理...
- 極小度
此外，所有極小度還構成了D的自同構基。遞歸論 遞歸論又稱“遞歸函式論”、“能行性理論”，指主要用數學方法研究“可構造性”、“能行可計算性”或“能行過程”的學科。各種遞歸函式本身的構造也是它研究的重要方面。它既屬於數理...
- 遞推數列(數列名稱)
另外，一個各項均為正數的等比數列各項取同底數數後構成一個等差數列；反之，以任一個正數C為底，用一個等差數列的各項做指數構造冪Can，則是等比數列。在這個意義下，我們說：一個正項等比數列與等差數列是“同構”的。性質：①若 ...
- 極小對
極小對是一對特殊的遞歸可枚舉度，極小對的存在性最早是由耶茨(Yates , C. E. M.)證明的。極小對的存在性指出，雖然R是稠密的，但休恩菲爾德猜想仍不成立。關於極小對的進一步的結果，拉克倫(Lachlan,A. H.)證明了並非每個非...
