每日文摘
首页
›
作家
›
约翰·麦卡锡
›
名言详情
「拒绝做算术的人注定要胡说八道。」- 约翰·麦卡锡经典语录
"
拒绝做算术的人注定要胡说八道。
约翰·麦卡锡
💡 解读：
He who refuses to do arithmetic is doomed to talk nonsense.
🏷️ 标签：
注定
拒绝
‹
发现可能性的极限的唯一方法是超越它们进入不可能。
The greatest single achievement of computer scienc...
›
👤 更多 约翰·麦卡锡 经典语录
10句
人工智能将改变我们的生活，就像电改变了我们的生活一样。
约翰·麦卡锡
人工智能的目标是制造智能机器，尤其是智能计算机程序。
约翰·麦卡锡
机器可以做任何可以被清晰地定义为算法的任务。
约翰·麦卡锡
必须在对他人的信念进行分析时坚持“第三人称视角”——打个比方，机器人警察在分析一个人类嫌疑犯的心理活动时，必须将这种心理活动本身也视作一个客观事件。
约翰·麦卡锡
不但我们人类必须相信客观世界是实在的，机器人也必须如此。这也就是说，人类和真正具有理性的机器人都必须相信世界是独立于其存在的，而不是依赖于其感知世界的主观方式而存在的。
约翰·麦卡锡
对于常识的逻辑表达并不一定要包含以“P当且仅当P”为模板的精确定义。实际上，在很多场合下，模糊的或者近似的定义就足够了。我们必须假设违背这些粗略定义的反常是罕见的。
约翰·麦卡锡
科学和常识不是彼此割裂的，前者其实已经被嵌入了常识之中。
约翰·麦卡锡
Lisp语言被设计成可扩展的，很容易为其添加新功能。
约翰·麦卡锡
决定论和自由意志是可以彼此相容的，也就是说，我们可以在一个其行为完全可以被决定论说明的人工智能系统中，实现那种“我可以进行自由选择”的主观感受。
约翰·麦卡锡
对于世界的描述来说，科学话语提供了一个最可靠的描述资源。因此，机器人也必须信赖科学。
约翰·麦卡锡
🏷️ 相关主题推荐
10句
人的一生应当有许多停靠站我但愿每一个站台都有一盏雾中的灯虽然再没有人用肩膀挡住呼啸的风以冻僵的手指为我掖好白色的围巾但愿灯象今夜一样亮着吧即使冰雪封住了每一条道路仍有向远方出发的人我们注定还要失落无数白天和黑夜我只请求留给我一个宁静的早晨皱巴巴的手帕铺在潮湿的长凳你翻开蓝色的笔记芒果树下有隔夜的雨声写下两行诗你就走吧我记住了写在湖边小路上的你的足迹和身影要是没有离别和重逢要是不敢承担欢愉与悲痛灵魂有什么意义还叫什么人生
舒婷
年光真是一件奇怪的东西！一次来心境已变了，再往后时如何？也许是海借此要拒绝我这失了童心的人，不让我再来了。
冰心
我时常提醒自己和部下两句话：“大企业失败的原因往往在于总是用过去成功的经验。”“我们总要向前一步。”意思是，一个企业不愿意创新改变，不研究新方法、新模式，只靠经验主义发展，注定会被颠覆，走向失败。
宋志平
很多事先天注定，那是“命”；但你可以决定怎么面对，那是“运”！
陈果
但是，我也是命中注定，一辈子只能有一次真正用爱情去恋爱。不是她，而是另外一个人将占有我的心灵的最初的同时也是最后的叹息。
卢梭
这个世界充斥着谎言和奴性，孤独的荒草到处疯长。无论我们每个人有怎样的弱点，作家职业的高贵永远植根在两种艰难的介入中：拒绝谎言，反抗逼迫。
加缪
有些人注定是等待别人的，有些人是注定被人等的。
简·奥斯汀
阶砖不会拒绝磨蚀，窗花不可幽禁落霞。
黄伟文
所有的乌托邦，都对人性要求得太高，因此注定是要失败的。一个人可以写本书说我不喜欢人性!好，我来改变它。这太简单了，马克斯就是其中之一。一个没有阶级的社会，结果是社会趋于败落。我们从实例中可以看到，他的信徒们必须建立有史以来最专制的国家，如此才能保障权威者的势力。一个情如手足，致力于大众福利的无产阶级社会，亲子之情将被一种更高的忠诚替代。人们为了国家而非个人努力，这就是马克思的谬误之处。无论何时，只要人类捉弄自然，自然也会回报，并且要求双倍的代价。
林语堂
如果三年后你注定要成为我女朋友，我何不提早行使我的权利呢？
顾漫
🔥 热门推荐
10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟
悲伤就是知识
拜伦
但愿同入梦。
琼瑶
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯
大家礼义教子弟，小家凶恶训儿郎。
周希陶
人人为我，我为人人。
列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰
首页
›
作家
›
💬 查看更多
40句相邻名言
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编程语言发明人
The greatest single achievement of computer science is the development of the concept of the algorithm.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算机科学最伟大的单一成就是算法概念的发展。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The future of computing is not in the hardware, but in the software.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算的未来不在于硬件，而在于软件。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
软件开发中最重要的一个方面是清楚你试图构建什么。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The only way to deal with the complexity of the world is to simplify it.
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
处理世界复杂性的唯一方法是简化它。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.
托尼·霍尔
程序验证的先驱
有两种构建软件设计的方式：一种方式是让它简单到明显没有缺陷，另一种方式是让它复杂到没有明显的缺陷。
托尼·霍尔
程序验证的先驱
The price of reliability is the pursuit of the utmost simplicity.
托尼·霍尔
程序验证的先驱
可靠性的代价是追求极致的简洁。
托尼·霍尔
程序验证的先驱
Simplicity is prerequisite for reliability.
托尼·霍尔
程序验证的先驱
简洁是可靠性的前提。
托尼·霍尔
程序验证的先驱
Inside every large program is a small program struggling to get out.
托尼·霍尔
程序验证的先驱
在每个大型程序内部，都有一个试图挣脱出来的小程序。
托尼·霍尔
程序验证的先驱
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
托尼·霍尔
程序验证的先驱
抽象的目的不是模糊，而是创建一个新的语义层次，在这个层次上可以绝对精确。
托尼·霍尔
程序验证的先驱
The most important property of a program is whether it accomplishes the intention of its user.
托尼·霍尔
程序验证的先驱
程序最重要的属性是它是否实现了用户的意图。
托尼·霍尔
程序验证的先驱
The best way to predict the future is to invent it.
托尼·霍尔
程序验证的先驱
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
