「We are on the verge: Today our program proved Fermat's next-to-last theorem.」- 艾伦·佩利经典语录

"

We are on the verge: Today our program proved Fermat's next-to-last theorem.

艾伦·佩利 艾伦·佩利
💡 解读： 我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。
👤 更多 艾伦·佩利 经典语录 10句
编程与Like子一样，是一种文字游戏。
艾伦·佩利 艾伦·佩利
The proof of a system's value is its existence.
艾伦·佩利 艾伦·佩利
当我们编写可以“学习”的程序时，事实证明我们是这样做的，而他们不是。
艾伦·佩利 艾伦·佩利
对称性是降低复杂性的概念（协同例程包括子例程）；到处寻找它。
艾伦·佩利 艾伦·佩利
一些编程语言设法吸收变化，但可以承受进步。
艾伦·佩利 艾伦·佩利
LISP程序员知道一切的价值，但是却一无所获。
艾伦·佩利 艾伦·佩利
The debate rages on: is PL/I Bachtrian or Dromedary?
艾伦·佩利 艾伦·佩利
句法糖引起分号的癌症。
艾伦·佩利 艾伦·佩利
Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You've solved the wrong problem. Work hard to improve.
艾伦·佩利 艾伦·佩利
In computing, turning the obvious into the useful is a living definition of the word "frustration".
艾伦·佩利 艾伦·佩利
🔥 热门推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
但愿同入梦。
琼瑶 琼瑶
悲伤就是知识
拜伦 拜伦
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯 恩格斯
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩 吴承恩
大家礼义教子弟，小家凶恶训儿郎。
周希陶 周希陶
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
人人为我，我为人人。
列宁 列宁
首页 › 作家 › 💬 查看更多 40句相邻名言
In computing, invariants are ephemeral.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
When we write programs that "learn", it turns out that we do and they don't.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Often it is the means that justify the ends: Goals advance technique and technique survives even when goal structures crumble.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Make no mistake about it: Computers process numbers - not symbols. We measure our understanding (and control) by the extent to which we can arithmetize an activity.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Making something variable is easy. Controlling duration of constancy is the trick.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Think of all the psychic energy expended in seeking a fundamental distinction between "algorithm" and "program".
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
If we believe in data structures, we must believe in independent (hence simultaneous) processing. For why else would we collect items within a structure? Why do we tolerate languages that give us the one without the other?
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
In a 5 year period we get one superb programming language. Only we can't control when the 5 year period will be.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Over the centuries the Indians developed sign language for communicating phenomena of interest. Programmers from different tribes (FORTRAN, LISP, ALGOL, SNOBOL, etc.) could use one that doesn't require them to carry a blackboard on their ponies.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Documentation is like term insurance: It satisfies because almost no one who subscribes to it depends on its benefits.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
An adequate bootstrap is a contradiction in terms.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
It is not a language's weakness but its strengths that control the gradient of its change: Alas, a language never escapes its embryonic sac.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Is it possible that software is not like anything else, that it is meant to be discarded: that the whole point is to see it as a soap bubble?
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Because of its vitality, the computing field is always in desperate need of new cliches: Banality soothes our nerves.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
It is the user who should parameterize procedures, not their creators.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
The cybernetic exchange between man, computer and algorithm is like a game of musical chairs: The frantic search for balance always leaves one of the three standing ill at ease.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
If your computer speaks English, it was probably made in Japan.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
A year spent in artificial intelligence is enough to make one believe in God.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Prolonged contact with the computer turns mathematicians into clerks and vice versa.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
In computing, turning the obvious into the useful is a living definition of the word "frustration".
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
What is the difference between a Turing machine and the modern computer? It's the same as that between Hillary's ascent of Everest and the establishment of a Hilton hotel on its peak.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Motto for a research laboratory: What we work on today, others will first think of tomorrow.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Though the Chinese should adore APL, it's FORTRAN they put their money on.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
We kid ourselves if we think that the ratio of procedure to data in an active data-base system can be made arbitrarily small or even kept small.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
We have the mini and the micro computer. In what semantic niche would the pico computer fall?
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
It is not the computer's fault that Maxwell's equations are not adequate to design the electric motor.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
One does not learn computing by using a hand calculator, but one can forget arithmetic.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Computation has made the tree flower.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
The computer reminds one of Lon Chaney -- it is the machine of a thousand faces.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
The computer is the ultimate polluter: its feces are indistinguish- able from the food it produces.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
When someone says "I want a programming language in which I need only say what I wish done," give him a lollipop.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Interfaces keep things tidy, but don't accelerate growth: Functions do.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Don't have good ideas if you aren't willing to be responsible for them.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Computers don't introduce order anywhere as much as they expose opportunities.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
When a professor insists computer science is X but not Y, have compassion for his graduate students.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
In computing, the mean time to failure keeps getting shorter.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
In man-machine symbiosis, it is man who must adjust: The machines can't.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
We will never run out of things to program as long as there is a single program around.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You've solved the wrong problem. Work hard to improve.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
One can't proceed from the informal to the formal by formal means.
艾伦·佩利 艾伦·佩利
第一届图灵奖得主
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行