c****x
发帖数: 6601 | 1 http://blog.udn.com/MengyuanWang/117490892
两周前，数学家Michael Atiyah宣布他证明了Riemann Hypothesis（黎曼假说）。这两
者都非同小可，只因为数学太过专精，所以并不广为人知。首先Riemann Hypothesis不
但公认是世纪数学难题之一，而且有很多人，包括我在内，认为它是当前人类最重要和
最困难的纯数学问题，没有之一。不过光是它的定义就必须用到复变函数论（Complex
Analysis），这是数学系大二或大三的课程，所以我就不在此详细解释。
至于它的“应用”，在纯数学界牵连甚广；不过这都是纯数学，也就是纯粹为推进逻辑
推理而做推理，和现实人类生活完全无关。但是一般媒体有时吹嘘它能决定质数的分布
，而质数被应用在目前很多加密手段里，所以Riemann Hypothesis的证明可能会引发新
的破密方法。很不幸的是，这又是超弦式的胡扯。 Riemann Hypothesis对质数的分布
，只有很笼统的描述，对于破密基本无用。
而且大多数人认为Riemann Hypothesis是正确的，只不过是很难证明而已（计算机已经
验证了十万亿个例子，它都是正确的）。不论它是否正确，如果Riemann Hypothesis能
帮助破密，这样的工作根本不须要等待它的严格证明，密码学家可以简单假设它的正确
性，然后发展出一套方法，最后在实用上验证是否有效即可。事实上过去和现在都没有
这样的成功，就说明这个所谓的“应用”十分可疑。即使未来真有了这个应用，如前所
述，这和严格证明它的正确性是独立的两回事，所以也不应该混为一谈。
Michael Atiyah虽然在数学界之外少有人知，在本行里却是泰山北斗，任何票选20世纪
十大数学家，他应该都会上榜。不过他已经89岁了，最近几年发表的论文，都让人不知
所云。所以数学界对此就很尴尬：一方面对他极为尊重，另一方面他的这些新作，逻辑
跳度之大，很明显地不满足数学界对严谨度的要求。结果就是没人愿意公开出来评论。
这次他的发表会，照理说应该是惊天动地的话题，然而事前事后，本行里的专家却依旧
守口如瓶。英文里有一个说法：The Silence Is Deafening（如雷贯耳的寂静），就适
用于这个例子。
当然也有少数的例外：有几个物理人还有丘成桐发表了评论（参见
http://tech.sina.com.cn/d/i/2018-09-26/doc-ifxeuwwr8504809.shtml
）。他们都不约而同地提到，Atiyah的论述是基于以往物理数学界对求导Fine
Structure Constant（精细结构常数，这是电动力学里最重要的一个无量纲量，通常写
成α，其数值大约为1/ 137）所做的一些未完成的努力。他们认为，从物理的观点来看
（丘成桐显然自己对此事不熟，而只是引用早先物理界的说法），α并不是一个常数，
而是能级的函数（也就是它随能级而变化）。不过我觉得物理数学界可能只不过指的是
α在能级为零时的极限值。事实上物理界自己也常常混用这两个不同的语义（Semantic
），例如前面提到1/137那个数值，就是能级为零时的极限值。从我读这些评论所得的
印象来看，没有一个作者（包括丘成桐和我自己在内）真正去搞懂求导精细结构常数的
那些论文，所以这一个论点其实没有什么效力。
另外还有两个共通的论点：首先，目前的物理理论（也就是以前讨论过的标准模型），
并不把α视为一个基本常数，而只是其他基本常数的乘积；当然这个批评是很间接的，
没有碰到核心议题，不能用来否定Atiyah的论文。其次，Atiyah自己的逻辑没有清晰的
定义和条理，完全达不到数学界讨论新结果的标准；这就讲到问题的核心了。对旁观者
来说，我想光凴这一点，就可以安全地做结论：Riemann Hypothesis目前仍然是对人类
逻辑思考能力的终极挑战。
不过Atiyah这样把Riemann Hypothesis弄上了新闻，对引发媒体的注意和公众的兴趣，
还是有贡献的。连我还在读高中的儿子前几天都忽然提起这事；他的评论也很有意思。
他说他不懂这些纯数学，但是可以看出它是纯粹的智力挑战，即使是最终极的问题，对
人类社会仍然毫无实际影响。反之，连最普通的生物实验室所做的研究，一旦成功，都
可能救活未来世代的无数病人
我对他的说法，基本上是赞许的，不过也做了反面的补充：科学研究并不一定要有实用
性。这除了应用价值无法事先完全准确地预测之外，还有另外一个原因，就是人类天生
就追求真善美。纯数学和纯科学是求真的努力（所以超弦论者这类在纯科学搞假大空的
人，比起一般的骗子，还要特别可恶），如同艺术是求美的努力一样，在21世纪全球
GDP接近百万亿美元的背景下，做出适当的投入仍然是合理的。
下面就谈谈生医界的一个实用性很强的Hypothesis来做对比。 |
d********m
发帖数: 3662 | |
c****x
发帖数: 6601 | |
d********m
发帖数: 3662 | 4 和矿工比呢？
【在 c****x 的大作中提到】
: 研究数学和物理的，真是TMD苦逼。
|
x****6
发帖数: 4339 | 5 没有研究生物的苦逼
：研究数学和物理的，真是TMD苦逼。 |
h****e
发帖数: 1 | 6 打仗就需要了
。。。。。。
: 研究数学和物理的，真是TMD苦逼。
【在 c****x 的大作中提到】
: 研究数学和物理的，真是TMD苦逼。
|
d********m
发帖数: 3662 | 7 你同源重组怎么样了
【在 x****6 的大作中提到】
: 没有研究生物的苦逼
:
: ：研究数学和物理的，真是TMD苦逼。
|
x****6
发帖数: 4339 | 8 质粒刚刚修改构建完成。要测试了。v不过最近有些精神不振，可能跟我们这下雪了有关
：你同源重组怎么样了
： |
d********m
发帖数: 3662 | 9 最激动人心的时候要到了
我最近做crispr，筛了260个克隆，才弄到一个正确的
有关
【在 x****6 的大作中提到】
: 质粒刚刚修改构建完成。要测试了。v不过最近有些精神不振，可能跟我们这下雪了有关
:
: ：你同源重组怎么样了
: ：
|
x****6
发帖数: 4339 | 10 你260是怎么筛的？ 一个个做表型测试吗？
：最激动人心的时候要到了
： |
d********m
发帖数: 3662 | 11 是的
【在 x****6 的大作中提到】
: 你260是怎么筛的？ 一个个做表型测试吗？
:
: ：最激动人心的时候要到了
: ：
|
x****6
发帖数: 4339 | 12 工作量不小！ 你是研究细胞骨架吧？
：是的
： |
d********m
发帖数: 3662 | 13 嗯
每次我连续几天不上买买提，肯定就是在筛表形了。。。
【在 x****6 的大作中提到】
: 工作量不小！ 你是研究细胞骨架吧？
:
: ：是的
: ：
|
x****6
发帖数: 4339 | |
