对爱因斯坦布朗运动论文结论的现代理解 2016-12-25

岳东晓博主的《 粘滞阻力、布朗运动、爱因斯坦 》一文介绍了Einstein在1905年发表的关于Brownian motion的论文，并链接了Einstein原文的英文译文。老实地 ...

(6537)次阅读|(4)个评论

玩具模型（toy model）里的严肃问题 2016-12-21

岳东晓博主的 《刻舟求鱼》 问题引起了很多讨论，让我最感兴趣的是马红孺老师的一个评论： 马红孺  2016-12-17 18:01 这个题目确实挺好 ...

(7635)次阅读|(26)个评论

AlphaGo是围棋的终结吗？ 2016-03-11

我觉得即使AlphaGo能完胜李世石，答案也是否定的。 围棋作为一个perfect information game，在理论上是可解的，但在实践上搜索树太大，穷举式的搜索不可能 ...

(2991)次阅读|(3)个评论

波尔兹曼方程的单粒子解 2016-02-26

波尔兹曼方程在统计上描述粒子的运动（transport）。有博主认为该方程有误，但更可能是该博主理解有误。由于这是一个统计力学的问题，单粒子解本身没有太多的物 ...

(2886)次阅读|(0)个评论

有限群理论的机器证明 2015-07-11

今天我刚完成了一个数学定理的机器证明，是有限群理论里的一个重要定理First Sylow Theorem。这个证明花了两个多月时间，因为使用的是一个新型的机器证明工具， ...

(2694)次阅读|(0)个评论

小技巧：如何在博客的评论区使用数学符号？ 2015-04-11

评论区没有正文的符号支持功能，直接把正文中的数学公式拷贝到评论区一般也是行不通的，但是大家可以考虑使用Unicode的数学符号。Wikipedia上的 英文版的数学符 ...

(3865)次阅读|(5)个评论

没有收敛序列的聚点是否存在？（2） 2015-04-07

上一篇 问了这个问题，但只探讨了一种可能性，且答案是否定的。这一篇我们来探讨一个肯定的例子。上一次讲得比较正式，因为我事先也不知道答案是什么，必须使 ...

(5673)次阅读|(7)个评论

没有收敛序列的聚点是否存在？ 2015-04-05

本篇是我自己推导的结果，为了不犯错，写得比较严格，而且对题目中的问题没有找到肯定的答案。关心标题问题的朋友可以先看 下一篇 ，更容易理解一些。当然喜欢 ...

(5368)次阅读|(5)个评论

查看更多