奇思妙想

• look

  2012-07-28
  The one-line Dijkstra sound bite that every programmer knows is "GO TO considered harmful."
• popok

  2012-05-25
  陶尔扬：在这些与世隔绝的领域中产生的想法说不定什么时候就会与其他事物发生联系。数学和理论计算机科学的魔力就在于此。你正想寻找某种普遍原理，突然就出现了某种神秘的联系。没有人知道这是为什么。
• 点水

  2012-04-03
  但是凯仍然抱有隐忧，他认为计算机有可能会沦为“某种大众鸦片”。人们想要的东西往往不是他们真正需要的，因为两者是受不同的原因驱动的。技术应该让愿望和需求保持一致，同时满足两者。这非常重要。苏格拉底曾经抱怨过写作。他认为著述会强迫读者接受意见、而不是参与讨论。而计算机远比书本更加生动。不管是公认的观点还是计算机模拟的结果，每一个孩子都应该有机会亲身进行测试、辨别再提出结论。问题是，我们的社会将会鼓励还是压制这种可能性呢？
• 点水

  2012-04-03
  Smalltalk确实和生物学上的类比相吻合：相互独立的个体（细胞）通过发送讯息彼此交流。每一条讯息都包含了数据、发送者地址、接收者地址，以及有关接收者如何对数据实施操作的指令。
• 点水

  2012-04-03
  如果你从某个星球要去另一个星球，直接飞过去是不对的。你不能让飞船直接瞄准那颗行星，而应该瞄准它即将运行到的某个地方。计算机程序有点类似格里高利圣歌--单声部的旋律不断在乐章中来回变化。并行程序则更类似于复调。
• 点水

  2012-04-03
  我想我们人类明白，要明确地表述我们思维过程的各种事实，表面看起来似乎简单，实际上是很困难的。
• 点水

  2012-04-03
  大多数科学家之所以成为科学家，是因为他们畏惧生活。
• 泥多佛大

  2012-03-15
  计算机要想创新，算法就是食谱。因此算法依然是这人领域的重中之重。
• 泥多佛大

  2012-03-15
  在自然科学中，是大自然给出一个世界，而我们去探索其中的规则。对于计算机来说，却是我们自自己来构建法则，创造了一个世界。
• 泥多佛大

  2012-03-13
  语言塑造了我们思考的方式，决定了我们思考的内容。
• 西风凋碧树

  2012-03-11
  在被问到人工智能应如何划归到计算机科学中时，他挖苦地回答”没门。“某种程度上，他把人工智能看做一种美国式的天真幼稚。
• 西风凋碧树

  2012-03-11
  当他与未婚妻（他的同事，也是一位程序员）办理结婚登记时，死板的官员并不认可程序员是门职业，他只好郁闷地在职业一栏填上了“理论物理学家”
• 西风凋碧树

  2012-03-11
  我决定，如果在大学里不学物理，以后可能就再没机会了。我觉得数学什么时候学都行。
• 西风凋碧树

  2012-03-09
  长久以来，科学家们一直梦想着机器能够改善人们生活的质量。早在17世纪，哲学家和数学家戈特弗里德·威廉·冯·莱布尼茨就曾设想过一种机器，能通过逻辑推理来平息所有的争论。三个世纪后的1945年，计算机的雏形、微分分析仪的发明人Vannevar Bush在大西洋月刊上发表了一篇名为《as we may think》的文章。在这篇文章中，布什预测将来会出现一种叫做“Memex”的设备，能够让普通人在资料库中以链接的方式查询、浏览各种猥琐胶片，从多方面了解自己感兴趣的主题。科幻作家罗伯特·海因莱茵后来基于他的创意写了一篇短篇故事，而这则故事让一个14岁小男孩着了迷，他就是艾伦·凯
• castle

  2015-07-07
  对效率低下的厌恶似乎来自于家庭的遗传。第一次世界大战前，巴科斯的父亲从阿特拉斯火药公司的一个小职员被提拔为首席化验师，这家公司主要生产用于炸药的硝化甘油。他的晋升有着充足的理由。他们的工厂产量很低，而且经常会发生爆炸事故，却一直无法找出原因。产品的生产对作业温度极其敏感。我的父亲发现他们的高价德国温度计不准确。于是他前往德国，学习了温度计的制作技术，并且生产出一批高质量的温度计。之后，工厂的爆炸事故明显少多了。第一次世界大战期间，老巴科斯应征入伍成为一名军需官。战后他并未得到政府允诺的杜邦公司的职位，于是转行做了一名证券经纪人。到1924年约翰.巴科斯在费城出生时，他的父亲已经在一站后的经济繁荣中略有发迹。巴科斯在特拉华州威明市度过了他的童年时光，之后在宾夕法尼亚州波茨敦市就读于著名的希尔中学。我每年的考试都不及格，从来就没认真过。我讨厌学习，成天游手好闲。为此我不得不每年都参加新罕布什尔州的暑期补习班。我其实很高兴，因为那里我可以驾驶帆船，玩得非常痛快。1942年巴科斯好不容易从希尔中学毕业，依照父亲的意愿进入弗吉尼亚大学主修化学。他对理论知识还比较感兴趣，但痛恨实验室。大部分时间，巴科斯都忙于参加各种派对，坐等年龄一到就去服兵役。到第二学期结束为止，他每周定期参加的课程只有一门不计学分的音乐鉴赏。最后他终于引起了校方的注意，弗吉尼亚大学的生涯也随之结束。随后他于1943年入伍。巴科斯成为了一名下士，在佐治亚州的斯图尔特堡带领一队防空兵。不久他在一次能力测试中表现优异，于是被指派前往匹兹堡大学攻读工程学预科。而之后的一次医学能力测试可以说是救了他的命。战友们被装船参加阿登战役，而我则跑到哈弗福特学院念医学预科。作为医学院预科的一部分，巴科斯在亚特兰大一家医院的神经外科病房实习，治疗头部创伤。一次意外的巧合，巴科斯被诊出患有骨肿瘤，在颅内安装了一块金属板。不久...
• Greenwicher

  2014-03-11
  列文如今是波士顿大学的计算机科学教授，在那里他与芝加哥大学的马里奥·茨格第、拉兹洛·巴柏和兰斯·弗德诺合作开发了一种“透明”证明的理论。这几位数学家开发出来一套写证明的方法，具有如下的奇异特性：如果以这种方法写出的证明中存在某个错误，那么对于证明里任何一小部分进行数学检验，都会有一个相同的概率能发现这个错误。为了讨论的方便，我们假设每次发现一个错误的概率为1/2。假设我们以这种方法写出了一个证明，如果分别对它不同的部分进行了40次数学检验，都没有发现错误，那么这个证明错误的可能性就小于1万亿分之一。（这有点像全息摄影。这种照片的每一个部分都包含有其他所有部分的信息。这种证明也是如此。）