C 知道
1936 年 4 月，邱奇证明判定性问题不可解。33 岁的邱奇发表论文《初等数论的不可解问题》，运用λ演算给出了判定性问题一个否定的答案。λ演算是一套从数学逻辑中发展起来的形式系统，采用变量绑定和替换，研究函数的抽象和应用。
其他登录方式
公安备案号11010502030143
GitCode
