原始遞歸謂詞(primitive recursive predicate )一類數論謂詞.若數論謂詞P的特徵函式是一個原始遞歸函式，則稱P為原始遞歸謂詞.
原始遞歸謂詞(primitive recursive predicate )一類數論謂詞.若數論謂詞P的特徵函式是一個原始遞歸函式,則稱P為原始遞歸謂詞. ...
於1938年證明的一個結果:存在原始遞歸函式u和(對n,1 )原始遞歸謂詞界,,使對任何n元部分遞歸函式滬,都存在數。(稱為滬之下標)使得下列兩式成立:...
的謂詞),套用(非受於)運算元 於函式的運算將簡稱為“ 運算”。定義2 如果一函式類:1° 包含函式 ;2° 對代入運算、原始遞歸運算和 運算是封閉的;則稱這函式類...
集合E,存在一個原始遞歸函式φ,使得 。因此,O不是 (表示最外邊為存在量詞的謂詞形式的集合) 集合。這裡的(3)與(4)是可構造序數理論中重要的有效定理,這兩個...
關於亦有:前束詞中一串同類量詞可收縮成一個;對任一算術謂詞,存在一個原始遞歸謂詞使有扽(,)可表為扽扽((),)即為 扽(,)等事實可以利用。故可將全體解析謂...
)謂詞,使得任何的 ( )謂詞都可通過將它的一個變元代以一個適當的一般遞歸函式(或更嚴格地,代以一個原始遞歸函式)來表示(完備形式定理(theorem on complete form...
第二章 原始遞歸函式2.1 原始遞歸函式2.2 原始遞歸謂詞2.3 疊代運算、有界量詞和極小化2.4 配對函式和godel數2.5 原始遞歸運算...
五 原始遞歸函式和原始遞歸謂詞六 原始遞歸函式在系統中的數字可表示性七 不可判定命題的形式結構八 不可判定命題與說謊者悖論的關係九 哥德爾不完全性定理的證明...
15、胡世華,楊東屏.關於原始遞歸性.數學學報,1964,14(4):607—618.16、胡世華.古典謂詞演算.數學進展,1964,7(4):349-396.17、胡世華.多種類遞歸算法遞歸算法...
30 多種類遞歸算法 胡世華 31 古典謂詞演算 胡世華 32 控制論的發展 胡世華 33 關於原始遞歸性 胡世華 楊東屏 34 如何描述程式語言 胡世華 35 作為現代邏輯學的...