👤
戴纳·斯科特
该作者语录 3 条
1
逻辑是所有数学推理的基础。
2
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
3
形式系统的发展彻底改变了我们对数学的理解。