Books

读完了《东京迷上车：从橙色中央线出发》。这本书，其实适合我这样的外国人或者非本地人，在东京时恰好在中央线附近居住过，经常看到橙色的列车，并且对所居住的地区的历史充满好奇。如果没有在这个地区居住过，很难对作者描述的事物产生联结。 ...

2020-01-23 草稿添加到博客，2023-03-12 恢复发布（Hugo 迁移过程遗漏）。以此文纪念被偷走的三年时光。有好几个礼拜，我们不得不一再重写同一封信，重抄同样的消息，同样的呼唤，这一来，一段时间过后，原本出自肺腑的话语竟变得空空洞洞了。但我们仍旧不由自主地抄了又抄，总想通过那些毫无生气的句子提供我们艰难生活的音讯。 ...

《人类简史》至于第一个成为“现代人”的，其实是意大利水手亚美利哥·韦斯普奇（Amerigo Vespucci），他曾在 1499～1504 年多次航行前往美洲。而在 1502～1504 年间，欧洲有两篇描述这些航程的文章发表，一般人们相信就出于韦斯普奇之手。这两篇文章提出，哥伦布发现的小岛旁边应该不是东亚，而是一整个大陆，而且不管是《圣经》、过去的地理学者或是当时的欧洲人，在先前都不知道这块大陆的存在。1507 年，地图绘制大师马丁·瓦尔德泽米勒（Martin Waldseemüller）相信了这种说法，出版了新版的世界地图。于是，这片西班牙船队向西航行所碰上的土地，终于首次以一块独立大陆的姿态出现在地图上。既然要画，瓦尔德泽米勒就得给它取个名字，但他误以为发现美洲的人是亚美利哥·韦斯普奇，因此为了向他致敬，这片“大陆就被命名为“America”（美洲）。瓦尔德泽米勒的地图洛阳纸贵，其他许多地图绘制师也跟着有样学样，因此“美洲”这个名词就这样广为流传。说来也算是老天有眼，到头来，全球有 1/4 的陆地、七大洲之中的两洲，名字就是来自一个名不见经传的意大利人，而他唯一做的事就只是有勇气说出“我们不知道”。 ...

书评越战，世界上最强大的军队和丛林中的游击队展开了较量。经历了太平洋战争和朝鲜战争的美国航空兵，其多兵种协同作战能力已经非常强大，步兵能直接呼叫己方战机的火力支援，而这一切都是建立在对制空权的掌握基础之上的。 ...

《一个定理的诞生》一书，关于沃沃斯基的部分沃沃斯基没有努力给我讲解自己的工作，而是跟我谈了谈他的梦想。那是一个一直以来让他无比痴迷、不惜全力以赴的研究课题 —-专家系统（langages experts）和自动定理证明。沃沃斯基认为，在不远的将来，计算机软件能够检查卷轶浩繁的数学证明的正确性。他说，其实在法国，人们已经开始利用软件对一些著名的数学结论进行检验了。一开始，我对他的话将信将疑。然而，我面前站着的毕竟不是一个失心疯患者，而是一位顶尖科学家，我应该将他的话当作一个严肃的论断接受下来。我从来没有接触过这类问题，而且基本上没有使用过算法。匹配算法（二分图匹配算法）、单纯形法和拍卖算法在最优输运问题的数值模拟中都扮演着重要角色，而我恰恰是最优输运领域的专家。但是，沃沃斯基跟我谈及的问题却属于一个迥然不同的思维范畴。这里面有如此之多的谜题等待研究，不禁让人兴趣盎然。花朵、语言、四色、融合 ……奇妙的元素构成一首美妙的歌曲。是否已有人谱写过这支歌？现在，不知疲倦的贡捷有了更加雄心勃勃的计划：验证有限单群分类定理，这些定理的证明皆属于 20 世纪最长的证明。 ...

以下是我对《从莎草纸到互联网:社交媒体 2000 年》一书的部分摘录，主要是 16-17 世纪英美两国的图书审查制度。在如下摘录中我觉得这句总结是很到位的：今天，我们只要点几下鼠标就能在网上发表东西，或阅读各种各样互相冲突、未经过滤的意见，对此我们习以为常，认为是天经地义。这个自由植根于近 400 年前社交媒体在英国蓬勃发展的那个成果丰硕的 10 年。 ...