资讯

Communications of the ACM4 小时
‘Upon This Quote I Will Build My Church Thesis’
The internal Church thesis (𝗖𝗧​) is a logical principle stating that one can associate to any function f : ℕ → ℕ a concrete ...