汇总《An Unsolvable Problem of Elementary Number Theory》格言名句是生活的智慧让我们在困境中坚持
摘录《The Calculi of Lambda Conversion》格言名句让我们在迷茫中找到方向不迷失 收集《The Calculi of Lambda-Conversion》经典名句点亮生活照亮心灵 摘录《Introduction to Mathematical Logic》名人名言是成功的指南激励我们不断前行
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇   /  《An Unsolvable Problem of Elementary Number Theory》