相關詞條
-
圖靈可計算函式
[1] 圖靈可計算函式(Turing computable function)簡稱T可計算函式.可用圖靈機來計算的一類函式.設滬為一個...可計算函式的一種能行枚舉.此時,。稱為可·,的下標,在許多場合,襯n 常可簡...
-
艾倫·麥席森·圖靈
的概念,並指出:凡算法可計算函式都是一般遞歸函式,反之亦然。1936年,克里尼(Kleene)又加以具體化.因此,算法可計算函式的一般遞歸函式定義...函式與一般遞歸函式是等價的,並提出算法可計算函式等同於一般遞歸函式...
人物生平 主要成就 主要榮譽 家庭成員 人物紀念 -
阿蘭·圖林
,並指出:凡算法可計算函式都是一般遞歸函式,反之亦然。1936年,克里尼(Kleene)又加以具體化.因此,算法可計算函式的一般遞歸函式定義後來...與一般遞歸函式是等價的,並提出算法可計算函式等同於一般遞歸函式或λ可定義函式...
人物生平 主要成就 主要榮譽 家庭成員 人物紀念 -
可計算性理論
把那些存在算法計算其值的函式叫做可計算函式。因此,可計算函式的精確定義為... ,則稱 f 是部分可計算函式。 從而, 一個函式是否是可計算的,只需要判斷是否可以構造對應的程式 S 即可。可計算函式經過原始遞歸運算還是...
簡介 計算模型 有關術語 相關函式 套用領域 -
遞歸函式
的可計算函式。遞歸函式有關於原始遞歸函式,並且它們的歸納定義(見下)建造在...數值的方法。因此,可將函式分成兩類,一類是所謂能行可計算函式,另一類是非...的某個子集上有定義的函式)。可以看出,上述所有運算元都是將能行可計算函式變...
定義 介紹 計算 例子 -
胡世華
90年代在遞歸算法的基礎上研究了可計算函式在證明論中的套用。 數理邏輯...在《數學學報》發表的《關於原始遞歸性》一文中研究了原始遞歸運算元在可計算函式...接在字上定義的可計算函式,以利於對符號串加以處理。差不多與胡世華同時,美國...
人物生平 主要貢獻 獲獎記錄 社會任職 人物評價 -
圖靈機
數學家A.M.圖靈提出的一種抽象計算模型,用來精確定義可計算函式。圖靈機由...“可計算函式“。由於圖靈機的帶子是可以向右無限延伸的,所以圖靈機...圖靈機來計算。而且,已有的關於直觀可計算函式的另一些精確化定義,如遞歸函式...
發明者 概述 研究簡況 基本結構和功能 形式化 -
丘奇定理
以“哥德爾論題”的名稱對其重新做了表述:“每個機械可計算函式都可用一般遞歸函式...普林斯頓的邏輯學家中流傳。他當時猜測,l可定義函式就是算法可計算函式,並最終...方法否證它,希望指出算法可計算函式超出了l可定義函式類。但是我很快認識到...
丘奇定理 邏輯分析 -
產生集
。因此,可將函式分成兩類,一類是所謂能行可計算函式,另一類是非能行可計算...可計算函式變換為能行可計算函式。所謂遞歸函式類便是包含零函式、廣義麼函式,並在...刻畫能行可計算函式的方法產生的函式類是完全一致的,這些事實促使車爾赤...
概念 集合 遞歸可枚舉集 遞歸函式 -
哥德爾配數
的哥德爾不完備定理而引入的。可計算函式集合的編號有時叫做哥德爾編號或有效編號。哥德爾編號可以被解釋為一個程式語言,帶有指派哥德爾數到每個可計算函式...是哥德爾編號的可計算函式集合的編號。哥德爾編碼哥德爾使用基於素數因數分解...
簡介 哥德爾編碼 唯一性的缺乏 形式系統套用 例子