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

稅局 2013/03/02 週六 美崙 2014/02/08 週六

基礎數論中的無解問題(An unsolvable problem of elementary numbertheory),是由丘奇寫的。