- alonzo church
阿隆佐·邱奇的法文
- alonzo church
例句与用法
- Les fonctions λ-définissables avait été introduites par Alonzo Church et Stephen Kleene (Church 1932, 1936a, 1941, Kleene 1935) et les fonctions récursives avaient été introduites par Kurt Gödel et Jacques Herbrand (Gödel 1934, Herbrand 1932).
Lambda可定义函数由阿隆佐·邱奇和斯蒂芬·克莱尼(Church 1932, 1936a, 1941, Kleene 1935)提出,而递归函数由库尔特·哥德尔(Kurt Gödel)和雅克·埃尔布朗(Jacques Herbrand,Gödel 1934, Herbrand 1932)提出。