部分遞歸函式範式定理(normal form theoremor partial recursive function)亦稱克林範式定理.簡稱範式定理.關於證明部分遞歸函式範式存在性的一個重要定理.它是美國邏輯學家、數學家克林(Kleene,S. C.)於1938年證明的一個結果:存在原始遞歸函式u和(對n,1 )原始遞歸謂詞界，，使對任何n元部分遞歸函式滬，都存在數。(稱為滬之下標)使得下列兩式成立:
部分遞歸函式範式定理
相關詞條
- 部分遞歸函式範式定理
部分遞歸函式範式定理(normal form theoremor partial recursive function)亦稱克林範式定理.簡稱範式定理.關於證明部分遞歸函式範式存在性的一個重要定理.它是美國邏輯...
- 部分遞歸函式枚舉定理
稱為n元部分遞歸函式的部分遞歸枚舉或能行枚舉.枚舉定理可由克林範式定理直接推出.不僅如此,由克林謂詞T,:關於n的一致性,可以證明,存在全體部分遞歸函式的通用函式...
- 部分遞歸函式
部分遞歸函式(partial recursive function)是一般遞歸函式概念對部分函式的一種自然推廣,它是具有能行可計算性的一類部分(數論)函式。部分遞歸函式概念最初是由美國...
- 遞歸定理
遞歸定理(recursion theorem)亦稱不動點定理。反映部分遞歸函式類基本性質的重要定理。最初是由美國邏輯學家、數學家克林(Kleene, S. C.)於1938年證明的,克林所...
- 克林謂詞
克林謂詞(Kleene predicate)一種原始遞歸謂詞.它是美國邏輯學家、數學家克林(Kleene,S. C.)在討論部分遞歸函式的範式時引進的.直觀上,克林謂詞T (e,二;,二:,...
- 克林(美國數理邏輯學家)
他建立了遞歸函式類的基本數學性質,並證明了遞歸函式的概念與可計算數論函式的直覺概念是一致的;給出了克林範式定理和克林遞歸定理;20世紀40年代,他發展了算術層和...
