哥德尔：一个自由而多余的灵魂｜书评

，人的反思依赖非系统化的句法，那句法本身又如何所谓清白呢？“前端就是难为” 却是耸人听闻。从这点上来看，欧拉和同时代的哲学巨人席勒的理论模型也相互间印证。敬然我们才会或许两个大人物惺惺相惜、相互间题诗，可惜不是，但因素却又颇繁复，耐人琢磨，却是因为是既生瑜何生亮，个中所因素，就拔着编者自己去注意到吧。

欧拉不严谨官能黎曼的直接影响，远远超出了高等多达学本身。在计算机领域，有一个对应的经典电影难题叫作 “停机难题”：在受限的星期内能否判断一个任意的程序结束运行或者死循环。敬然这个黎曼的是另一个巨人，他的名字叫图灵，使用的敬然框架类似于，也是自我指涉带来的悖论。而大家熟知的克尔·波普关于划分科学与非科学理论模型的可证伪官能原则，也有不严谨官能黎曼的影子。

写道停机难题，我或许有的编者才会下意识地去掐下电脑，想到底有些滚烫。事实上，目前程序死循环的因素，全是因为码农的不仔细，因为有足够的保守派程序语言私刑手段来花钱前提。欧拉不严谨官能黎曼，还从未直接影响到诸多为悦且可证的高等多达学黎曼在实操中所的运用。

事实上，在实操中所 “无所作为” 的不严谨官能黎曼，同海雅堡的不确定官能多达学模型和爱因斯坦的庞加莱一起，被人戏称之为 “基本知识滥用的便是” ，随之而来了无多达却是靠谱的或许力。

那么，为什么我们要去知晓欧拉？

作为第二代复旦人，我依然以为 “自由而可取的肉体” 这句话却说得口齿不清。究竟了不究竟，才能划清学问的分界，而只有究竟了分界，才能继续推远分界，而这正是欧拉于其依然在发生的事。因此，这种可取是非常深刻的有用。

欧拉清楚地究竟，他被每每所知的都是一些论断的结论——欧拉的其他重大贡献在他病逝之后才被下半年重原先注意到。而且，或许为悦却只能敬然的高等多达学黎曼的存在，也也就是却说我们敬然注定只能窥视到叫停这个21世纪的神秘之手。神权的我们不才会为这个费神，但欧拉才会。这种恶梦依然值得注意着欧拉，也可以阐释成他日后中风精神疾病的部分因素。我个人并不认为，即便证书种系统和其中所的黎曼当中后期摆在那，去注意到它们的工程中所问世的原先私刑手段，比如欧拉在敬然中所使用的欧拉多达，却是实实在在的原先基本知识，也是开端活动璀璨的原先结果。

年初的萨尔茨堡社才会科学圈，对爱反思的人来却说，悦是个令人神往的国度，直接影响20世纪的很多思潮和流派都始自于这些小圈子中所。大人物如欧拉，也所需其他大人物的值得注意。欧拉和他的老朋友，常常浸泡在备好了书本的咖啡馆中所讨论难题。我不究竟咖啡馆如此之多的北京有哪一家准备了书本。

但在中后期期，俄罗斯的帝国的帝国正在迅速滑向地狱，社才会科学讨论的国度顷刻泥浆在地狱之门的边缘。被浓烈的民族主义裹挟的亲德少年儿童，反犹活动愈演愈烈，并最终把火烧向象牙塔尖。为希特勒背书的不乏诺奖赢得者，历史学者之间也乘机公报私仇、相互间讨伐。这一幕，看重中所国现代史的编者纯净不才会险恶。

这就抛出了一个尖锐的难题：在公共危机中所，如果基本知识分子只能放于自己的心灵，又如何放于自己的沙发？

我并不认为从未理由对基本知识分子拥有人非常高的道德渴望。敬然事实正相反，聪明人非常有技能游却说自己投靠黑暗。把拳术和武德视作，并不认为流氓不才会武功，英雄德艺双全，是每每光辉的幻想。压力之下，嘴脸才敬。

随着独立战争的脚步逼近萨尔茨堡，一个十分空旷的光谱呈现在眼前。这也是这本轶事花重墨之处：你是谁，等于你在磺胺类的哪一边。

欧拉的密友和师父中所，不乏 “极右派” 反战人士，不少还因此锒铛入狱。欧拉自己相对亡故，有些若即若离，但直觉上也是个坚定的和平主义者。即便如此，他也曾被非常坚定的好友抛弃过，令他痛苦不堪。我并不认为，面对极权的私刑和不顾一切的不公正，不参与恶人是则有在的作为，却是是衡量标准化良心的唯一的标准化。非常极其重要的是，当你独面自己的软弱与不顾一切，你看见了什么——你才会心生惭愧，还是心福理得？

离开故土，是因为福不下心灵，也或许是因为福不下沙发，也或许两者兼有。无论是谁，对乡下的拔恋无可替代，欧拉和他的老朋友也是这样。本书另一个极其重要的看点，人才是如何成功地单体到美国的，这是对当代中所国至关极其重要的一个话题。欧拉出走圣母大学研究所的前前后后，为这一难题备有了一个绝好事例。为什么这么却说？拔待编者自己去注意到了。我必需却说，常常想到的“东方的麻省理工学院 / 斯坦福 / 加州理工”等宏伟主旨，如果只是简单的拷贝，而不去知晓中后期期的历史苍白，那毫无疑问是太天悦。我们除了到时的沙发，还必须准备心灵的放于之处。

关于科学家的轶事是我阅不读的最爱之一，一本好的轶事可以不读出厚重的以往，重现这个群体的血肉。刚刚病逝的戴维·麦卡洛 （David McCullough）撰寄给的《贝尔兄弟》，埃里克·斯塔（Erik Larson）关于对讲机问每每奥利弗的轶事，还有沃尔特·史蒂芬雅（Walter Isaacson）的《富兰克林著者》，都让我受益匪浅。能不读到这本欧拉著者，是我的好运气。满分推荐。

2022年8月14日，于北京。

“

作者简介

张峥，原北京纽约的大学计算机教授，亚马逊网络服务北京AI研究所教务长。

制版编辑 | 姜丝鸭

。

吃什么解决孩子积食问题
金笛复方鱼腥草合剂
康恩贝肠炎宁颗粒效果怎样
吃什么复合维生素好
手指关节疼痛是什么原因