遞歸可枚舉度（recursive enumerable degree）遞歸論的基本概念之一包含遞歸可枚舉集的度稱為遞歸可枚舉度，簡稱r。度.對應不同的化歸，也可以定義不同的re度.通常re度中可能包含非re集，但re的1度和m度都只包含re集.
基本介紹
- 中文名：遞歸可枚舉度
- 外文名：recursive enumerable degree
遞歸可枚舉度
相關詞條
- 遞歸可枚舉集
遞歸可枚舉集合（英語：Recursively enumerable set）是可計算性理論或更狹義的遞歸論中的一個概念。可數集合S被稱為是遞歸可枚舉、計算可枚舉的、半可判定的或可證明的，如果 存在一個算法，只有當輸入是S中的元素時，算法才會中止。或...
- 遞歸可枚舉度結構的代數性質和模型論性質的研究
《遞歸可枚舉度結構的代數性質和模型論性質的研究》是依託南京大學，由丁德成擔任項目負責人的面上項目。項目摘要 本項目擬將代數和模型論的方法引入到對遞歸可枚舉度的研究中，研究遞歸可枚舉度結構的代數性質和模型論性質，比如：遞歸可...
- 遞歸論(數理邏輯的重要分支之一)
但遞歸可枚舉度低度是否在遞歸可枚舉圖靈度中可定義仍然未知。廣義遞歸論 廣義的遞歸論研究一般數學事物的可計算性和可定義性。一般有兩種方式推廣經典的遞歸論。一種是把圖靈機加以推廣。例如，把圖靈機推廣到實數上就能研究實數集合的可...
- 回溯集
遞歸可枚舉集 亦稱半遞歸集。簡稱re集。一種自然數集合。設A為一個自然數集合，若存在一個能行過程把A的所有元素能行地列舉出來，則稱A為遞歸可枚舉的。等價地，A為re集，若且唯若A=∅，或存在遞歸函式f，使A=rang (f)。在...
- 10000個科學難題·數學卷
遞歸可枚舉度中的格嵌入問題和雙量詞理論可判定性問題 高層有限波雷爾（Borel）等價關係中的兩個問題 極小塔問題 r=rω?及s=sω?連續統勢確定問題 奇異基數問題 薩克斯（Sacks）關於波斯特（Post）問題的度不變解問題和馬丁（Martin...
