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

美崙 2014/02/09 週日

符號對應之正整數如下表:

λ            1
{, (, [     11
}, ), ]     13