美崙 2014/02/09 週日

設函 F(m) = r，若可以找出式 F, m, r，其中式 m, r 為數 m 及 r 之丘奇數式，且滿足 {F}(m) >>> r，則函 F 為 λ 可定義(λ-definable)。

同樣對二元函 F(m, n) = r 可找出式 F, m, n, r，其中式 m, n, r 為數 m, n, r 之丘奇數式，且滿足 {F}(m, n) >>> r，則二元函 F 為 λ 可定義(λ-definable)。

λ 可定義函值之計算，可由其對應式之簡化成標準式之程序得出，式之轉換操作即為有效計算函值之演算法。