专栏名称: 造就
发现最有创造力的思想。
目录
相关文章推荐
金错刀  ·  拼多多,为何总在阳光灿烂时修屋顶? ·  15 小时前  
宏观大类资产配置研究  ·  【国信策略】市场窄幅震荡,成长估值回落 ·  2 天前  
宏观大类资产配置研究  ·  【国信策略】市场窄幅震荡,成长估值回落 ·  2 天前  
51好读  ›  专栏  ›  造就

冯·诺依曼辞世60周年纪念

造就  · 公众号  · 科技自媒体  · 2017-02-08 20:11

正文

请到「今天看啥」查看全文



在戴森看来,希尔伯特、杨振宁都是高瞻远瞩的鸟,而冯·诺依曼和费曼则属接地气的青蛙。爱因斯坦当然是超级大鸟。


是冯·诺依曼发现了哥德尔定理的重要性,他称哥德尔是亚里士多德以来最伟大的逻辑学家。


他曾半开玩笑:要是他不知道哥德尔不完全性定理的话,说不定他很快就能证明一阶逻辑是完全的呢—就在他得知哥德尔不完全性定理的前几天,他做梦证明了完全性定理。


图灵


冯·诺依曼欣赏并提携了图灵。其实,在图灵1936年那篇开天辟地的文章刚出来时,冯·诺依曼并没有立即意识到这篇文章的重要性,他在给图灵写奖学金推荐信时,提到了图灵在冯·诺依曼自己感兴趣的几个领域里展现的才能,恰恰却没有提及逻辑和图灵机。


也许1931年由于哥德尔定理给冯·诺依曼造成的心理冲击,他还没有缓过劲来。就像当时所有关注逻辑的主流数学家一样,哥德尔定理之后,他们都与逻辑渐行渐远。倒是哥德尔最早慧眼识英雄:他一开始也没有对自己的递归函数那么有信心,但在得知图灵机的那一刻,他立即认为图灵机比自己的递归函数更令人信服。


据冯·诺依曼的朋友们回忆:在1938年图灵回英国前后,冯·诺依曼已经认真读过图灵那篇文章了。冯·诺依曼曾想把图灵留在普林斯顿做自己的助手,但已经对美国生活厌恶的图灵婉拒了。


冯·诺依曼和奥本海默在普林斯顿计算机前







请到「今天看啥」查看全文