奇思妙想

原文摘录   · · · · · ·  ( 全部 )

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

  Greenwicher 1 回复 1赞 2014-03-11 20:07:57

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

  castle 1赞 2015-07-07 17:23:43

> 全部原文摘录