—— 请按键盘 空白键 开始游戏 ——

摘录《Introduction to Mathematical Logic》名人名言是成功的指南激励我们不断前行
汇总《An Unsolvable Problem of Elementary Number Theory》格言名句是生活的智慧让我们在困境中坚持 摘录《The Calculi of Lambda Conversion》格言名句让我们在迷茫中找到方向不迷失 收集《The Calculi of Lambda-Conversion》经典名句点亮生活照亮心灵
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The paradoxes of set theory are not to be regarded as indicating any inconsistency in the theory itself, but rather as showing that certain methods of reasoning which had been thought to be valid are in fact not so.
集合论的悖论不应被视为理论本身的不一致，而应被视为表明某些被认为有效的推理方法实际上并非如此。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《Introduction to Mathematical Logic》
The discovery of the antinomy of the liar and of related antinomies has led to the realization that the intuitive notion of truth is not as simple as it appears at first sight.
发现说谎者悖论及相关悖论使人们认识到，直觉上的真理概念并不像乍看起来那么简单。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《Introduction to Mathematical Logic》
The fact that a certain proposition can be deduced from a certain set of axioms by means of a certain system of rules does not in itself make it true.
某个命题可以从某一组公理通过某一规则系统推导出来，这一事实本身并不使其为真。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《Introduction to Mathematical Logic》