概率之前的随机性：从详细数据的客观 Martin-Lof 随机性直接推导量子化气体定律

我们证明，对于 $N$ 个氦原子在 $M$ 个可能能级上的瞬时详细数据列表，其客观 Martin-Lof 随机性和 Kolmogorov 复杂性是直接写出其 Helmholtz 自由能以及因此该气体的全部热力学性质的必要且充分条件。我们证明此类理论在概率和统计的应用之前形式化地成立。当 $N,M$ 形式上定义良好时，列表中的每个数据各不相同，且仅通过恒温变量的被动监测，每个数据都是固有的。在本引言性论文中，我们考虑低密度冷却的非相互作用氦原子气体，涵盖量子和经典区域。详细无序和恒温熵的客观定义随气体自发详细运动而出现，并带来对不可逆过程的新见解以及客观第二定律。算法概率与 Kolmogorov 复杂性严格关联。先验等概率条件自然得出，Fermi-Dirac 量子统计从 Martin-Lof 随机性中推导出来。