分布式计算领域的哥德尔Eric Brewer
文 / 苏椰
2010年3月,ACM宣布将2009年度“ACM-Infosys”奖颁发给加州大学伯克利分校的Eric Brewer教授,以表彰他在可扩展互联网等领域所做的贡献。Brewer在伯克利获得了计算机科学学士学位,随后在麻省理工学院获得计算机科学硕士和博士学位。32岁时,他拿到了伯克利的终身教授职位,这个职位是很多人的毕生梦想,而他却初出江湖就将其纳入囊中。这到底是个什么人?他到底做了什么事?
要说Brewer教授的工作,我们要从80年前的另一个人说起。1930年,著名数学家希尔伯特发表了他著名的退休演讲,其中有一句话鼓舞了一代数学家:“我们必须知道,我们必将知道。”这句话所指的,是他的“希尔伯特计划”,也就是证明数学体系的完备性、相容性和可判定性。数学家们为这美好的未来而不懈奋斗,然而这场美梦却被一个人打破了。1931年,哥德尔证明了,任何完备的系统都是不相容的,而任何相容的系统都是不完备的,二者不可得兼,这就是哥德尔定理。这个证明彻底摧毁了希尔伯特计划,使数学变成了一个残缺的世界。说到这里,不妨说一点题外话,希尔伯特提出的三个问题,哥德尔解决了前两个。那么剩下一个“可判定性”呢?这个问题是由艾伦·图灵在1936年的论文中首次解决的,也正是在这篇论文中,他提出了图灵机,后来成为现代计算机的理论模型。
读者也许要说,这80年前的事情,跟年轻的Brewer有什么关系啊?别急,马上我们就将看到,Brewer有着一个几乎同构的故事,他俨然就是分布式计算领域的哥德尔。对于一个分布式计算服务来说,有个CAP原理,包含三个最重要的属性:相容性(Consistency),读操作是否总能读到前一个写操作的结果,即是说在分布式环境中,多点读出的数据是否相容。可用性(Availability),访问数据的性能。分区容忍性(Partition tolerance ),数据的(网络)分区特性,对系统性能的影响程度。
对于一个分布式计算系统来说,这三个属性非常重要。因此,计算机科学家们一直在拼尽全力地寻找一种方法,能够实现同时满足CAP三者的完美分布式系统。但是就在大家都忙得热火朝天的时候,2007年,如同当年的哥德尔一样,Brewer教授站出来指出:CAP永远不可能同时满足,提高其中任意两者的同时,必然要牺牲第三者。这就是Brewer的CAP定理,后来由麻省理工学院的两位科学家证明。这个定理告诉大家,不要再浪费时间去研究如何兼顾了,因为这根本就是不可能的,只能根据具体应用,来决定如何在三者之间进行取舍。CAP理论为很多巨型的数据中心,尤其是现在很多的SNS网站提供了有力的理论指导,比如说Google的BigTable系统就是一个牺牲了A的典型例子。有意思的是,Brewe今年5月在Twitter上透露,他利用学术休假的时间已经开始在Google公司领导下一代基础设施的设计了。就在提出CAP理论的同一年,Brewer当选美国国家工程院院士,并于次年当选ACM Fellow。
除CAP定理外,Brewer还有很多其他成就。1995年,他与人共同创建了著名搜索引擎公司Inktomi,曾是纳斯达克100指数成分股,后来被Yahoo!收购。2000年,他协助美国联邦政府做网站,建立了usa.gov并上线。他还非常关心发展中国家和贫困国家的信息化进程,提出了WiLDNet等很多概念,旨在通过技术方法,帮助人们以更低的成本获得无线通信能力。他的系统被部署用于印度的远程医疗,有超过20000名眼科患者通过该系统重新获得光明。
分布式计算领域的哥德尔Eric Brewer相关推荐
- Eric Brewer大神
为什么80%的码农都做不了架构师?>>> 2010年3月,ACM宣布将2009年度"ACM-Infosys"奖颁发给加州大学伯克利分校的Eric Brewe ...
- 世界的意义在于事与愿违|哥德尔
原载<科学时报>2008 库尔特·哥德尔,美籍捷克人,于1906年4月28日出生于布尔诺.其父鲁道夫·哥德尔从事纺织业,由于其出色的能力,最后成为雷德利希大工厂的股东和经理.其母玛丽安娜多 ...
- 哥德尔90年前的「不完备性定理」,奠定了计算机与AI的理论基础
大神早已远去,而他的光芒仍在人间. 1931 年,奥地利裔美国著名数学家库尔特 · 哥德尔(Kurt Gödel)在一篇论文<Über formal unentscheidbare Sätze ...
- “AI理论之父应该是哥德尔”,LSTM之父再抛惊人观点,网友:他有点走火入魔...
晓查 发自 凹非寺 量子位 报道 | 公众号 QbitAI LSTM之父又发新博文了. 这位Jürgen Schmidhuber,几乎每隔一段时间就出来回顾AI历史,抛出一些极具争议的观点,这次也不 ...
- 哥德尔:伟大的数学家与饱受精神疾病折磨的患者
来源:下文节选自中信出版鹦鹉螺<哥德尔传>,[遇见]已获发布授权,补充部分配图 时间回到 1970 年 3 月.一位精神科医生在泛黄的笔记本上奋笔疾书,记录着诊疗中的发现,有的稀松平常,有 ...
- 谁是滕尚华?两获哥德尔奖,上交大校友,喜欢「躺平式」科研
詹士 发自 凹非寺 量子位 | 公众号 QbitAI 两度获得理论计算机科学最高荣誉哥德尔奖,将75年前算法的理论做改进,并一直用到今天-- 他叫滕尚华,南加州大学教授,美国计算机协会会士(ACM f ...
- “哥德尔不完备定理”到底说了些什么?
[编者按:不知为何?一直不相信已有的数理.物理.生理.心理.管理--能够研究好人机融合智能系统.究其因,需要出现新的数/物/心理逻辑和哥德尔.有些经典是偶然的,但有些经典却是必然的.美,不一定是漂亮( ...
- 哥德尔不完备定理”到底说了些什么?
来源:人机与认知实验室 (一) [中文网上深入介绍哥德尔不完备定理的文章很少,我这篇文章写得很长,花了不少时间打磨它,希望能帮助到爱好数学与逻辑的人.文章把理解哥德尔不完备定理分为了五重,建议只是想初 ...
- 理性的光辉,“哥德尔不完备定理”到底说了些什么?
关注:决策智能与机器学习,聚焦AI干货 编者按:智能技术要在理论研究方面必须要解决非线性现象的可建模机理与规律,其中哥德尔不完备定理不容忽视,哥德尔不完备定理.塔尔斯基形式语言真理论,图灵机和判定问题 ...
最新文章
- Excel VBA参考文献中人名与年份格式转换
- Google Ajax Search 参考
- Python模块与类
- Magic Leap 2实测出炉:视场角增大20度,重量减轻20%,透光率低至0.3%让AR特效更逼真...
- FtpWebRequest.UsePassive属性:设置FTP工作模式
- 再次携号转网_潍坊一小伙欲携号转网屡被拒 联通客服:试运营状态不支持携转...
- iti axi dsp_ITI的完整形式是什么?
- PPT(十)-动画基础知识学习
- java每一个小时同步_Java同步块(synchronized block)使用详解
- Mellanox能给英伟达带来什么?
- leetcode 12 Integer to Roman
- 几款ReactJS最优秀的UI框架
- java URL和URI
- r语言和python培训_Python 和R语言
- 相对论中光速恒定,时间可变的原理
- 点云旋转平移(三)—python open3d点云旋转
- 程序的可重用性的概念_可重用的Web应用程序策略:在多个位置运行同一应用程序的三种模式
- 干涉法测微小量实验_干涉法测微小量实验报告(90-95分)
- UTF-8,UTF-16,UTF-32编码方式都是UNICODE,但只是他们的保存方式不同。
- C/C++程序员简历模板(转载)