剛的網站基礎數論中的無解問題
公式寫法轉換標準式λ 可定義函式之哥德爾表示遞迴函克林 p 函之遞迴性
符號
函應用簡寫
λ式簡寫
式變元
邱奇數式

式為符號串,如下:

λab.a(b)
合式
....

合式之定義如下:

V = a|b|c... V 指變元

F = V

F = {F}(F)

F = λV[F]

以下以大寫字母表示合式。

受限變元及自由變元.................. 判定受限變元及自由變元如下:

1.單一變元式 x 中之 x 是自由變元(free variable)。

2.設 F 及 X 均為合式,2.1.若 x 在 F 或 X 中為受限變元, 則 x 在 {F}(X) 中為受限變元(bound variable)。2.2.若 x 在 F 或 X 中為自由變元,則 x 在 {F}(X) 中為自由變元。

3.M 是合式,x 為 M 自由變元, x 為 λx[M] 之受限變元。

4.若 y 在 M 中為受限變元,則 y 在 λx[M] 中為受限變元。

5.若 y 在 M 中為自由變元,則 y 在 λx[M] 中為自由變元。