基本介紹
- 中文名：
- 項目類別：
- 項目負責人：
- 依託單位：
中文摘要,結題摘要,
圖靈度的整體性質
相關詞條
- 圖靈度的整體性質
《圖靈度的整體性質》是依託中山大學，由王瑋擔任項目負責人的青年科學基金項目。中文摘要本項目擬研究可計算性理論中圖靈度的整體性質。在可計算性理論中，圖靈度在圖靈歸約誘導下的偏序關係一直是最重要的研究對象。本項目將側重於圖靈...
- 圖靈度
在計算機科學和數理邏輯中，自然數集合的圖靈度或者不可解度是對此集合的算法不可解性的度量。圖靈度在可計算理論中是根本性的概念，在可計算理論里，自然數集合通常被看作一個判定問題，而圖靈度則給出了解決與此集合相連的判定問題的...
- 遞歸論(數理邏輯的重要分支之一)
20 世紀80年代開始圖靈度的結構研究開始轉向大範圍結構的研究，即更加關注於圖靈度結構的模型論性質及其理論的可判定性。關於圖靈度結構理論的可判定性，1977 年辛普森(S.Simpson) 證明了圖靈度的結構理論與二階算術是遞歸同構的，從而...
- 可計算論
圖靈度的研究發起自 Kleene 和 Post [1954]。大量的可計算性理論中的研究已經投入到圖靈度的性質的研究中。開始於 1970 年代，圖靈度的研究焦點已經從局部結構性質轉移到全局性質，比如圖靈度的自同構(automorphism)和O的可定義性。在 ...
