知乎：永动机在逻辑上已经被证明是无法制造的吗？

群英会

知乎，一个真实的网络问答社区，帮助你寻找答案，分享知识；知乎，帮你发现更大的世界，让你了解更多的知识，知乎，聚集了高质量的问题，让你解答更多网友的问题，从而体现个人知识的渊博，在知乎你的威望就越高，自我实现的需求从而体现，看看知乎有哪些好玩的知识：

北京联通的光纤入户的体验如何？
空调这么大，为什么比吹风机功耗小？
技术支持工程师的主要工作是什么？发展前景如何？
目前最好用的无线路由器有哪些推荐？


问：永动机在逻辑上已经被证明是无法制造的吗？
答：「永动机不存在」并不是数学或逻辑命题，而是物理命题。
这个命题逻辑上是可以证伪的，只要假设永动机存在即可……

我下面简单描述一下论证的逻辑脉路，直到无法用逻辑解释的基本假设为止。第一类永动机不存在，是能量守恒定律的推论，后者是时间平移不变性的推论（诺特定理）。第二类永动机不存在，是熵增定律的推论，后者是H-定理的结论，假设了 Stosszahlansatz。时间平移不变性是指时间参照点的选择不影响物理，
Stosszahlansatz 说两个碰撞微观粒子的速度没有相关性，并与碰撞位置无关。
另外还有统计力学的先验概率基本假设：孤立平衡系统的每个微观状态概率相同。

如果你选择相信这三个假设，那么你就必须相信「永动机不存在」，因为之后的推导都是逻辑上严格的。
如果你试图推翻「永动机不存在」，或者制造永动机，那就必须通过实验证明这三个假设是不合理的。
其中，要验证 Stosszahlansatz，可能需要追到宇宙起源时的初始条件。

全新的知乎 iPhone 客户端 2.0 版本, 让您可以直接注册知乎账号, 加入这个奇妙的社区, 并且在手机上, 以更酷的方式, 随时随地, 享受交流和发现知识的乐趣。通过知乎 iPhone 端, 您能够查看每日热门问答, 获取最酷的知识, 参与最神奇的问答讨论，更多神奇的问答请点击：

传课网有人看好么？
周晓农是谁？
沙梨熊是谁？
中国煤炭大省的煤老板中很富有的能有多有钱？