墨尔本大学现在一个商学院竟然有两个deans,证明就是院内运行出了大问题,导致剑宗气宗互相残杀,MBS看不起墨尔本大学那些教纲,因为都是辣鸡一拿出去就会被同行笑话,墨尔本大学看不起MBS的教员,说到你装什么B,你们发过什么屁论文你以为大家不知道么~ 总之,两横一竖就是干!Very Bad!
另外大家误解了墨尔本大学文凭系统,Melbourne Model说的是,你必须交足五年全费才是真正的墨尔本大学生,无论是Career还是Research都是读完5年本硕之后,才会出现的Options,说墨尔本本科等于其他澳洲大学本科,其实曲解了Melbourne Model的原义,而且Melbourne Model is not all bad,起码不像悉尼大学这么残酷,读不下来让你净身出户,在墨尔本你读不下来,墨尔本大学可以发你一个本科文凭,让你体面出去混社会,悉尼大学基本是让你去死,当然因此墨尔本本科也根本是不可能和悉尼大学比质量,本身含金量就不同。
可以说,在姚期智回归中国之前,应明生是事实上的中国理论计算机第一人,是真正做研究的人,国内极少有人能达到他的境界。国内确实有不少老院士,但是,能跟的上甚至引领国际潮流的只有应明生一个人。最难得的是,此人出身于一个不知名的师范学校,然后清华慧眼识珠请他过去,他在清华也做出了一系列极为瞩目的成绩,他的学生,如张胜誉去了香港中文大学任助理教授,冯沅和段润尧成了澳洲科技大学的副教授等等。
他早期做概率程序与进程方面的研究,并因此拿了“王选奖”,国外同行的评价是“beyond what we have seen so far”,“really novel ideas”,“a new angle, … which other researchers in this filed may not have”。
他到清华后大概02年左右做量子计算,并且以计算机系教授的身份在物理最高期刊PRL发表了7篇论文,这个太厉害了。昨天和论坛新人的讨论中我提到他的一些贡献,比如证明了量子不可克隆定理的加强形式——量子信息不可保原复制原理。他们将量子克隆和量子态的删除纳入一个统一的框架之中,揭示了两者之间内在的联系并给出了目前最好的纯态无错分辨失败概率的下界估计。他最重要的贡献还是基于正交模格格值量子逻辑的自动机理论。这个工作具有颠覆性的基础意义,谁都知道经典计算机的数学基础是基于布尔代数的图灵机理论,而量子计算机不同于经典计算机,要研究它的计算能力,就必须重建它的数学基础,应明生的贡献就在于此,而国内极少有人能理解他的工作的意义,可以说应明生和他的学生们在国内几乎是单枪匹马在这个基础领域闯出了一片天地。下面是一个关于他的工作的一个介绍,
“量子图灵机的概念最早1985年Deutsch就提出了,但是看起来很糙。后来很多物理学家都试图完善量子图灵机的定义,写了很多paper,不过我个人认为似乎都有个缺陷,就是他们都是在原来的图灵机模型上作简单的修补,把量子力学的态的性质传递给图灵机,这样虽然直观,但在这样的模型上进行文法、算法的研究基本是不可能的,不知道后来有何发展。另外就是引入量子自动机模型,这些Moore、Gudder等人都做过,效果如何本人就不知道了。应明生老师在国际上率先独创性提出基于量子逻辑也就是完备正交模格值(而不是传统的布尔代数)的自动机理论,并和弟子们在文法理论中作了一系列漂亮的工作(在国内反正是曲高和寡),他们也由此切入到本该物理学家研究的领域,即量子信息中的一些物理问题,因此就有了国内计算机系破天荒的3篇PRL。应老师做的这些理论模型,即使量子计算机今后不具备物理实现的可能(个人倾向于这一点),也是很有意义和启发性的。毕竟量子计算机带来了给出NP完全问题的多项式算法的可能性。”
我再说一下量子信息,现在量子信息国内宣传潘建伟宣传得很厉害,但是却没什么人提应明生,这是很奇怪的,如果将来真有什么量子计算机做出来,那应明生的贡献将是奠基性的,因为他做的是数学基础的工作,前面说的他提出的基于量子逻辑的计算理论已经被写入Handbook of Quantum Logic,Elsevier 2006。应明生没有入选中国科学院院士是非常非常荒谬的,简直是滑天下之大稽也,最近听说澳洲科技大学花了他在清华10倍工资的价钱挖他,待遇是全校最高的三个之一,还解决他的夫人工作和子女求学奖学金。试问,国内哪个院士有这个身价让人家挖?