「证明是一种用于使他人相信数学陈述为真的工具。」- 戴纳·斯科特经典语录

"

证明是一种用于使他人相信数学陈述为真的工具。

戴纳·斯科特 戴纳·斯科特
💡 解读： A proof is a device for convincing someone else that a mathematical statement is true.
🏷️ 标签： 相信 他人 证明
👤 更多 戴纳·斯科特 经典语录 10句
逻辑是所有数学推理的基础。
戴纳·斯科特 戴纳·斯科特
The concept of infinity is both fascinating and perplexing.
戴纳·斯科特 戴纳·斯科特
The study of computation is essential to understanding the limits of what can be computed.
戴纳·斯科特 戴纳·斯科特
In mathematics, you don't understand things. You just get used to them.
戴纳·斯科特 戴纳·斯科特
The beauty of mathematics is that it is both an art and a science.
戴纳·斯科特 戴纳·斯科特
在数学中，你并不理解事物。你只是习惯了它们。
戴纳·斯科特 戴纳·斯科特
The interplay between syntax and semantics is central to the study of formal languages.
戴纳·斯科特 戴纳·斯科特
数学的美在于它既是艺术又是科学。
戴纳·斯科特 戴纳·斯科特
The development of formal systems has revolutionized our understanding of mathematics.
戴纳·斯科特 戴纳·斯科特
数学的本质在于其自由性。
戴纳·斯科特 戴纳·斯科特
🏷️ 相关主题推荐 10句
有钱人相信：“我创造我的人生。”不管是出于自觉还是不自觉的原因，一个人的人生状态都是自己造成的。
哈维·艾克 哈维·艾克
我一生从不相信权力，只相信智慧。
沈从文 沈从文
生活中无论有什么闪失，统统是自己的错，与人无尤，从错处学习改过，精益求精，直至不犯同一错误，从不把过失推诿到他人肩膀上去，免得失去学乖的机会。
舒婷 舒婷
有时候，爱情不是看到了才相信，而是因为相信才看得到。
伏尔泰 伏尔泰
我相信我们都通晓一种语言。花钟喑哑的铃声，陨星没有写完的诗，以及录音带所无法窃听的——霞光殷红的远方给予你我的暗示。如果一定要说话，我无言以答。
舒婷 舒婷
梦想使你迷醉，距离就成了欢乐；追求使你充实，失败和成功都是伴奏；当生命以美的形式证明其价值的时候，幸福是享受，痛苦也是享受。
史铁生 史铁生
大多数人因为看见才相信，少部分人因为相信才看见。
马云 马云
除了自我意识障碍，你（以及所有其他人）也会有盲点。在盲点区域，你的思维方式会阻止你以最合理的方式看待事物。就像人的辨音能力和辨色能力各有差异一样，观察和理解事物的能力也存在差异。我们都以自己的方式看待事物。例如，有些人天生会看到大局而忽视细节，而另一些人天生会看到细节而忽视大局；一些人习惯竖向思考，而另一些人习惯横向思考。认识到这些差异的存在，能让我们妥善地处理差异，使之不再成为问题
瑞·达利欧 瑞·达利欧
她心里又泛起烦恼，因为做一件事非得为他人是愚蠢的。她宁愿像理查德那样，纯粹为自己办事。她一面等着穿过街，一面想，她有一半时间不单是为了把事情做好，而是为了使人们产生这样那样的想法。她知道这是愚蠢之极的表现，因为任何人一刻都没有接受她的诱导。
弗吉尼亚·伍尔芙 弗吉尼亚·伍尔芙
在制造分秒的时候，钟表把时间从人类的活动中分离开来，并且使人们相信时间是可以以精确而可计量的单位独立存在的。分分秒秒的存在不是上帝的意图，也不是大自然的产物，而是人类运用自己创造出来的机械和自己对话的结果。
尼尔·波兹曼 尼尔·波兹曼
🔥 热门推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
悲伤就是知识
拜伦 拜伦
但愿同入梦。
琼瑶 琼瑶
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩 吴承恩
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯 恩格斯
大家礼义教子弟，小家凶恶训儿郎。
周希陶 周希陶
人人为我，我为人人。
列宁 列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
首页 › 作家 › 💬 查看更多 40句相邻名言
在计算机科学中，我们经常处理那些过于复杂而无法直接解决的问题，因此我们将它们分解成更小、更易管理的部分。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The power of randomness in algorithms is that it can help us find solutions that are difficult to discover through deterministic methods.
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
算法中随机性的力量在于它可以帮助我们找到通过确定性方法难以发现的解决方案。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The study of automata and formal languages is fundamental to understanding the limits of computation.
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
自动机和形式语言的研究对于理解计算的极限是基础性的。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The key to solving complex problems is often to find the right abstraction that simplifies the problem without losing its essential features.
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
解决复杂问题的关键通常是找到正确的抽象，这种抽象可以在不丢失问题本质特征的情况下简化问题。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The development of efficient algorithms is not just a theoretical exercise; it has practical implications for the way we live and work.
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
高效算法的开发不仅仅是一个理论练习；它对我们的生活方式和工作方式有实际影响。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The intersection of mathematics and computer science is where some of the most exciting discoveries are made.
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
数学和计算机科学的交叉点是一些最激动人心的发现产生的地方。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The challenge in computer science is not just to solve problems, but to solve them in a way that is both efficient and elegant.
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
计算机科学中的挑战不仅仅是解决问题，而是以一种既高效又优雅的方式解决问题。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
In mathematics, you don't understand things. You just get used to them.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
在数学中，你并不理解事物。你只是习惯了它们。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The essence of mathematics lies in its freedom.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
数学的本质在于其自由性。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
A proof is a device for convincing someone else that a mathematical statement is true.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The beauty of mathematics is that it is both an art and a science.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
数学的美在于它既是艺术又是科学。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The concept of infinity is both fascinating and perplexing.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
无穷的概念既迷人又令人困惑。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
Logic is the foundation of all mathematical reasoning.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
逻辑是所有数学推理的基础。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The study of computation is essential to understanding the limits of what can be computed.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
计算的研究对于理解可计算性的极限至关重要。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The development of formal systems has revolutionized our understanding of mathematics.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
形式系统的发展彻底改变了我们对数学的理解。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The interplay between syntax and semantics is central to the study of formal languages.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
语法和语义之间的相互作用是形式语言研究的核心。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
学习的每一个方面或智能的任何其他特征都可以原则上被精确描述，以至于可以制造一台机器来模拟它。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The ultimate aim of artificial intelligence is to make computers do things that would require intelligence if done by humans.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能的最终目标是让计算机做那些如果由人类完成则需要智能的事情。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算机程序会做你告诉它要做的事情，而不是你希望它做的事情。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
发现可能性的极限的唯一方法是超越它们进入不可能。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
拒绝做算术的人注定要胡说八道。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The greatest single achievement of computer science is the development of the concept of the algorithm.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行