物理学笔记一则（3）：逻辑原子论与物理学公理化运动 物理学在表述中呈现出的形式结构及其意义的重视与探讨是自 I. Newton 创立经典力学体系以来的传统。一般地，物理学的表述所依赖的载体主要分为两种：第一种是自然词汇组成的陈述性语句；第二种是数学符号组成的算术表达式。以前者为主要表述方式的物理学文献集中出现在 Aristotle 到 Newton 时代。大约从 P. Laplace 开始，符号表达式逐渐取代了自然语句成为了物理学的主要表述方式。 无论是自然词汇的陈述语句，还是数学符号表达式，在本质上都可归类于形式逻辑的命题。这些命题依赖相互之间的逻辑关系组成的系统便是物理学在表述中呈现出的形式结构。我们通过这套形式结构逻辑地或数学地刻画物理学的概念，而概念指向了物理世界中的客观实在，如同 A. Einstein 、 B. Podolsky 、 N. Rosen 指出的那样 ：“ 这些概念对应于客观实在，而我们通过它们向自己描绘了实在 。” 历史上，物理学家对形式及其意义的兴趣可以从 J. Maxwell 的一段经典论述中得到验证。在著名的电磁理论文献《论 Faraday 的力线》（ On Faraday ’ s Lines of Force ）中， Maxwell 明确指出了形式（数学表达式）的重要性，他说 ：“ 为了获得不依赖固有理论的物理学新概念，我们必须善用物理类比。所谓物理类比，是指利用科学规律之间的局部相似性，用它们中的一个去说明另一个。因此，所有的数理科学要建立在物理学规律与数学规律之间关系的基础之上，所以精密科学的目的在于将自然界的难题以数的手段还原为量的判断。通过最普遍的类比到极小的局部，我们发现正是两种不同现象相同的数学表达形式催生了光的物理学理论 。” 到了 20 世纪 30 年代，随着分析哲学中逻辑原子论（ logical atomism ）的一度兴盛与数学物理学中物理学公理化运动（ motion of m athematical treatment of the axioms of physics ）的推进，对物理学形式结构的探讨已经取得了长足的进步。 一.逻辑原子论 分析哲学中的逻辑原子论由 B. Russell 与 L. Wittgenstein 创立于一次世界大战前后，其学理基础是世纪之交发展起来的数理逻辑学。在 Russell 之前， G. Frege 与 G. Peano 已经完成了自然算术的公理化以期为算术奠定一个适当的基础。 Russell 在细致地考察了 Frege 与 Peano 的工作后，提出了一个论断 ：“ 我们需要我们的数能计数通常的事物，也就是要求我们的数不仅具有某种形式的性质，还应该具有一种确定的意义。这种确定的意义须以算术的逻辑理论来定义 。”这表明， Russell 相信：建立形式概念与客观实在的联系（即赋予形式概念“确定的意义”）必须通过逻辑理论来实现。更重要的是， Russell 指出了一条建立联系的路线，即回到逻辑上的初始概念。在阐述数学这门学问的两个基本发展方向时，他指出了其中一条是 ：“ 由分析我们所肯定的基本概念和命题，而进入愈来愈高的抽象和逻辑的单纯；取这种方向，我们不问从我们开始所肯定的东西能定义或推演出什么，却追问我们的出发点能从什么更普遍的概念与原理定义或推演出来 。”这一点，他从古希腊几何学家的工作那里寻求了印证。在几何学真正诞生以前，古埃及人已经从陆地测量的实践中获得了大量的经验规则。以 Euclid 为代表的古希腊学者充分吸收了这些规则，并从中分析出了可以证明这些规则的普遍命题，进而由这些普遍命题达到了 Euclid 几何学的公理 （ axiom ） 与公设 (axiom atic hypothesis) 。这个过程实际上已经建立了完备的欧氏几何学，至于对公理或公设的演绎则属于欧氏几何学的应用了。 对 Russell 而言，对自己路线更清晰的、更具有普遍意义的表达是 Wittgenstein 完成的。 1918 年， Wittgenstein 完成了《逻辑哲学论》（ Tractatus Logico-Philosophicus ）的文本写作，这部书已经被公认为是 20 世纪最重要的哲学文献之一。虽然 Wittgenstein 坚持认为 Russell 对《逻辑哲学论》的阐释歪曲了自己的思想，但在当时的历史条件下或许正是这种“歪曲”促成了逻辑原子论的诞生，而《逻辑哲学论》在今天已被视为阐述逻辑原子论的经典文本之一。 《逻辑哲学论》文本由 7 个核心命题展开，其中第一个命题的第一个一级评注是 ：“ 1 世界是事实（ fact ）的集结，而不是事物（ thing ）的组合 。”在逻辑原子论的框架下： 1. 事实被看作是由一系列相互独立的基本单位组成的， Wittgenstein 称之为“事态”（ states of affairs ）， Russell 称之为“原子事实”（ atomic fact ）；对事态或原子事实存在的断言即“原子命题”（ atomic proposition ）。这里使用的“原子”是“逻辑原子”（ logical atom ），它来自 Democritus 的传统，申明了在形式上而非物理上不可分割的性质。 Russell 或 Wittgenstein 在逻辑哲学论中预期：可以借助对任何一个通常的复合命题的分析获得组成它的原子命题（分析的终止），这些原子命题严格地对应于物理世界中的原子事实。这个路线可以作为我们获得有关世界的不容置疑的确定知识的途经，甚至在 Russell 与 Wittgenstein 的早期思想阶段，这是唯一的途经。 2. 我们对事实的表述就是在“逻辑空间”（ logical space ）中构造“图像”（ picture ），“图像”也是一种“事实”；“图像”的“要素”（ element ）以一定方式相关联，对应于“事物”以同样方式相关联，这种相同的关联称为“图像的结构”（ structure of the picture ）；如果这个“结构”存在，则称“图像”具有“图示形式”（ p ictorial form ）。 Wittgenstein 总结说 ：“ 2.1511 图像就是这样依附于实在；它直接触及实在 。” 采纳逻辑原子论的视点，把物理学或经典物理学最基本的规律归类于原子事实，把陈述这些最基本规律的原理或公理归类于原子命题；而整个物理学理论体系就是 Wittgenstein 所定义的一种图像，它的目的或价值在于具有图示形式。这种图示形式表述出来可以是自然语句也可以是数学表达式。 值得注意的是， Wittgenstein 在《逻辑哲学论》中明确了物理学的形式通向客观世界的逻辑途径 ：“ 6.3431 物理规律借助其全部的逻辑机制间接地言说世界中的对象 。”这既可以被视为是对 Russell 路线的回应，又可以看作是 Einstein 物理实在观的先导。 二、物理学公理化运动 20 世纪初才正式进入人们视野的物理学公理化，其实一直是经典物理学的一个潜在的历史传统，它可以追溯到 Newton 在《自然哲学之数学原理》（ Mathematical Principles of Natural Philosophy, 简称《原理》）中对欧氏几何学的“模仿”。比如 K. Gdel 曾经评论道 ：“ 物理学家对公理化方法缺乏兴趣，就像一层伪装：这个方法不是别的，就是清晰的思维。牛顿把物理学公理化，因而把它变成了一门科学 。” 然而，物理学公理化在世纪之交被正式提出来并受到一定程度的重视，完全要得益于一场由数学家或者说数学物理学家发起的物理学公理化运动。 1900 年， D. Hilbert 在第二届国际数学家大会上宣读了题为《数学问题》（ Mathematical Problems ）的著名演讲。在这篇演讲中， Hilbert 向当时的数学界提出了 23 个有待深入研究的基础数学方向或难题，合称“ Hilbert 问题”。其中第 6 个问题，即物理学的公理化， Hilbert 对此的阐述是 ：“ 对几何学基础的探讨暗示了这样一个问题：可以借助公理且运用相同的方法处理数学在其中扮演着重要角色的物理科学；首要解决的便是概率论和力学 。”在给出一些路线上的提示后， Hilbert 进一步强调 ：“ 此外，数学家的责任是在每个实例中严格检验这些新公理是否与旧的相容。物理学家，当理论取得进展时，经常发现自己为实验结果所迫而去构造新的假设，为了使这些新假设与旧的公理相容，他不得不依赖这些实验或某些物理直觉，而这种经验在理论的严格逻辑构建中是不被允许的。对我来说，令人满意地证明所有假设的相容性同样很重要，因为获得每一个证明的努力总会最有效地迫使我们达到一个严格的公理表述 。”虽然， Hilbert 对公理相容性证明的预期最终被 Gdel 证明为不可能，但物理学公理化的号召还是得到了相当可观的积极响应。在随后的 30 多年的时间里，这场运动取得了 4 项重大进展： 1909 年， G. Hamel 在分析力学的基础上实现了力学的公理化。 同年， C. Caratheodory 发表了公理化热力学的基础。 1932 年， von Neumann 出版了《量子力学的数学基础》（ Mathematical Foundations of Quantum Mechanics ）。该文献被普遍视为遵循 Hilbert 路线的一个量子力学公理化范本。 1933 年， A . Kolmogorov 建立了严格的公理化概型，概率论实现了公理化。 前 3 项成果，在物理学中均起到了一定的积极作用，特别是 von Neumann 的量子力学公理化对现行量子力学 Copenhagen 诠释的确立奠定了坚实的数学基础。而 Kolmogorov 的工作则比较特殊，因为正是公理化概型的建立使概率论从物理学过渡到了数学。过渡的关键在于概率的定义。在公理化概型以前，概率定义依托于建立在随机试验基础上的古典概型与建立在几何测度基础上的几何概型。以 Laplace 建立的古典概率定义为例，它在逻辑上依赖一个可观测（基本事件的有限性与等可能性）的试验，由此给出的概率定义实际上是试验中直接观测到的频率在足够多试验次数条件下的极限，这种对实际观测量（频率）的依赖正是物理学作为实验科学的一个特征。在这个层面上， Kolmogorov 的公理化概型使概率脱离了实际试验的限制，达到了“愈来愈高的抽象和逻辑的单纯”。至于具体内容，已不在物理学讨论范畴，不再赘述。 主要参考文献 ： A. Einstein, B. Podolsky, N. Rosen. Can Quantum-Mechanics Description of Physical Reality Be Considered Complete? . Phys Rev, 1935, 47:777; 777. J. Maxwell. On Faraday’s Lines of Force . Transactions of Cambridge Philosophical Society,1855,10:156. B. Russell. 数理哲学导论 .晏成书，译.北京：商务印书馆，2005：15; 7. L. Wittgenstein. Tractatus Logico-Philosophicus . Translated by D. F. Pears and B. F. McGuinness. Routledge, 2002:5;10;83. H. Wang. 逻辑之旅：从哥德尔到哲学 . 邢滔滔、郝兆宽、汪蔚，译.杭州：浙江大学出版社，2008. D. Hilbert. Mathematical Problems . BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY, 2000, 37(4):418;419;419.
不一样的热力学——康斯坦丁·卡拉西奥多里与公理化热力学 按：“二把刀”曾经有段时间不自量力地痴迷“希尔伯特第6问题”——物理学公理化问题，在查阅文献时发现这篇论文，一时技痒（顺便练手），就把它翻译了（ 翻译的不妥之处，请方家指正！ ）。翻译与原文献的PDF附于文末，供有兴趣的朋友查阅。 原文发表于 Journal of Mathematical Chemistry Vol. 28, Nos. 1–3, 2000 如果有朋友需要卡拉西奥多里本人的原始论文，我会稍后贴出（注意原始论文是德文！）。 建议大家注意文中记叙的科学共同体对卡拉西奥多里公理化热力学的不同态度及反应，相信可以发现许多有趣的东西。 郑重申明：本文无任何商业目的，论文Constantin Carathéodory and the axiomatic thermodynamics的一切权利归属论文原作者。 康斯坦丁·卡拉西奥多里与公理化热力学 Lionello Pogliani a Mario N. Berberan-Santos b a 意大利，卡布里亚大学化学系， 8 7030 伦德 (CS ) E-mail: lionp@unical.it b葡萄牙，高等技术研究所，物理化学分子中心， 1049-001 里斯本 E-mail: berberan@ist.utlNaN 2000 年 10 月 17 日收到 本文通过卡拉西奥多里生平的简要回顾，详细地介绍了其创立的公理化热力学作为热力学的一个基础理论的诞生、成长、发展以及命运。公理化热力学是围绕着基于普法夫微分方程组的一些引人注目的性质而展开的，这些性质在公理化热力学中被引人并应用于一些热力学中的常见情形。 关键词：公理化热力学、康斯坦丁·卡拉西奥多里、普法夫方程 数学中不存在这样的分支，无论如何抽象，不可能在将来的某一天被应用于实际世界中的现象。——罗巴切夫斯基 1. 导论 1909 年 ，卡拉西奥多里，一位出自德意志数学学派才华横溢的数学家，发表了他在热力学公理化方向的开创性 著作 ，实际上把全部的课题建立在了全新的基础之上。他的方法 给出了 热力学第二定律（或假设）的结论的一个严格的数学 表述 。在卡拉西奥多里的处理中，热力学被作为一个数学的外延而建立起来。这种公理化处理的数学是以一个 确定的 微分方程的几何意义为中心展开的，也就是普法夫方程及其解。在结果中，他可以给出一个纯粹形式化的热力学，而不借助于 闻名 19 世纪 的汤姆逊（即开尔文——译者注）与克劳修斯关于第二类“永动机”（原文系德文——译者注）不可实现的原理，也不必依靠虚构的热机与虚构的热循环这类离奇的概念。 热力学的几何意义清晰地显现于热力学第零定律的数学表述，该定律实际上定义了温度，并且涉及到了热平衡，它可以被表述为：“t 1 、t 2 与t 3 为三个系统的平衡态，若 t 1 与 t 2 处于热平衡，且 t 2 与 t 3 处于热平衡，则 t 1 与 t 3 处于热平衡 ”。该定律与欧几里德几何学（约公元前 300 年）第一公理十分相似，后者可以被表述为：“同与第三个量相等的两个量相等”。 在加入关于基础的争论前，数学表述与数学推导之间的区别是需要被澄清的。卡拉西奥多里的处理所涉及的是热力学 定律的数学表述而非其数学推导，因为任何一个物理定律都不可能单独从数学中推导出来。 在本文中，我们将不会深入到卡拉西奥多里成就的细节，如我们所见，这方面问题已经由这个世纪以来的许多著名科学家得到十分完美地讨论。此处，我们将试着（ i ）简述卡拉西奥多里的生平，（ ii ） 回顾热力学公理化处理的历史发展，以及（ iii ）阐明作为公理化热力学数学工具的普法夫方程的一些形式，它通常被排斥在热力学教材之外。 2. 康斯坦丁·卡拉西奥多里 2.1 ．生平与事迹 康斯坦丁·卡拉西奥多里（ 1873~1950 ），见图 1 ，生于柏林，是一个希腊血统的土耳其大使的儿子 。 1875 年，他的家庭居住于比利时的布鲁塞尔（原文系法文——译者注）， 1895 年，他结束了在比利时军事学院（原文系法文——译者注）的学习。其后，他迁往希腊的萨摩斯岛，在那里设计公路。在旅居伦敦与埃及之后，他于 1900 年回到柏林深入地学习数学。他关于特殊欧拉——拉格朗日方程的博士论文是在 H. 明可夫斯基的指导下完成的，并于 1904 年在哥廷根大学取得博士学位。 1905 年至 1908 年，他在哥廷根大学担任无薪教授，此后又相继转到波恩（ 1909 ）与汉诺威（ 1910 ）。后来，他开始了一段长途旅行，途经布雷斯劳、哥廷根、柏林、伊兹密尔（现在属土耳其）、雅典（希腊），直到定居于慕尼黑（ 1924 ）。在这期间，他结识了许多著名的数学家，比如 D. 希尔伯特（ 1862~1943 ）与 H. 史瓦西（ 1848~1921 ），并在魏尔斯特拉斯函数论、不定积分学及其在光学中的应用两个领域有所贡献。他是广义度量几何学的奠基人之一，自 1905 年起，他开始深入研究广义函数论与积分概念的代数基础。他的主要数学工作在附录中列出，这些贡献证实了他广泛的数学知识与兴趣。然而，他的盛名主要来自关于热力学的两项研究。这些研究大概被视为他最伟大的科学功绩。 图 1. 康斯坦丁·卡拉西奥多（ 1873~1950 ）（引自文献 ；这本书在封页内提供了一系列在热力学领域有所建树的著名科学家的肖像）。 2.2. 公理化热力学的诞生与起源 在热力学领域，卡拉西奥多里在一部短篇文章的数年后发表了一部相当长篇幅的论文。他的第一篇原始论文设置了公理化热力学的基础，以“ Untersuchungen ü ber die Grundlagen der Thermodynamik ”（《热力学的基础研究》）为题发表于《数学年鉴》 67 （ 1909 ） 355-386 。第二篇更具说服力和决定性的文章题为“ ü ber die Bestimmung der Energie und der absoluten Temperatur mit Hilfe von reversiblen Prozessen ”（《论利用可逆过程计算能量与绝对温度》），发表于 16 年之后 Sitzber. Preuss. Akad. Wiss. Phys. Math. K1(1925)39-47 。在第一篇论文中，他给出了在一个形式框架下不借助于虚构热机或诸如热传递等概念的热力学定律。我们想知道他是如何得到一个公理化热力学的观念的。他治学历程中不经意的一笔可以给我们一些提示。他在军事学院的工程学研究包括了许多热力学的讲授。另一个重要的人生阶段，与他同时代的数学家，稍后的同事与朋友， D. 希尔伯特在 1899 年出版了开创性著作“ Grundlagen der Geometrie ”（《几何学基础》），确立了几何学一个严格的公理化基础。这项工作不久后作为我们这个时代最重要的成就之一得到公认，并对数学物理学的发展形成了极大的冲击。恰好 10 年之后的 1909 年，卡拉西奥多里发表了在热力学领域的第一步著作，置于关注点中心的是确定方程的几何性质，他试图将物理学的这个领域“几何化”（原文系德文——译者注）。这有些类似于 A. 爱因斯坦（ 1879~1955 ） 1905 到 1917 年间在引力领域所作的工作。卡拉西奥多里与 M. 玻恩（ 1882~1917 ）的友谊在新的公理化方法的发展中切实扮演了一个重要角色，我们将在下文阐述之。 2.3. 公理 在第一部开创性著作中，卡拉西奥多里启用了三个相当数学化的定义，包括平衡、态与热力学坐标。之后，他继续引入一个关于多相系统的内能及其变化量的第一公理，包括绝热过程（ U f +U i +W=0 ，下标 f 表示末态， i 表示初态 ）中的外功。这个第一公理可以被视为热力学第一假设的另一种表述。基于此，他陈述了他著名的第二公理，这是他的工作的真正新颖之处所在。这个公理的原始德文表述是：“ In jeder beliebigen Umgebung eins vorgeschriebenen Anfangszustandes gibt es Zustände, die durh adiabatische Zustandsänderungen nicht beliebig approximiert warden können ”，可以译为：“在一个（有任意个数热力学坐标的）系统任意平衡态的相邻态中，存在经由可逆绝热过程不能达到的状态”。从这条公理出发，卡拉西奥多里展示了怎样推导开尔文温标和所有其他在 19 世纪下半叶发展出来的工程方法上的表述。该公理可以与热力学第二定律的开尔文表述“不可能在实际中把全部的热转化为有用功”比较而得到较好的理解。两种表述基于共同的日常经验，不过是一个自然界中被普遍观察到的事实，即功不能被充分地回收利用。例如，单向的熵函数被标记为一个非无穷小且紧邻的两点 1 、 2 表示的箭头， -1-2 (S) ， 则 S 的不对称性不 允许从 2 到 1 的转换 ，但是只有从 1 到 2 ，即 1 不可能从 2 达到，虽然 2 可以从 1 达到。卡拉西奥多里的“数学化”表述利用不可达到的“邻近”平衡态确立了这种不对称性。 值得注意的是，在新方法的公理和定义中没有提及热、温度或熵任何一个。实际上，热量应被视为一个推导结果而非一个基本量，绝热约束一解除它就显现了。这一点可以被视为卡拉西奥多里近似的优点与劣势。其劣势在于，热量通常使系统可以被更容易地测量，但把注意力集中在能量而非热量在物理观点（能量可以储存而热量不行）上十分吸引人。在大量重要的后续工作中，利用两条公理，特别是第二条，以及普法夫方程理论，他发展了新工具，即导入了熵概念及其假设又导入了热力学绝对温度的概念。 3. 科学共同体 卡拉西奥多里的公理化处理起初默默无闻，只是在 1921 年 M. 玻恩撰写的三篇重要文章 中有所提及。之后，公理化热力学获得了那个时代知名物理学家的重视，比如 A. 朗德（ 1888~1975 ） 、 M. 普朗克（ 1858~1947 ） 、 S. 钱德拉塞卡（ 1910~1995 ） 、 W. 泡利（ 1900~1958 ） ，除了承认的以外，其余人在一些场合甚至尖锐地批评了卡拉西奥多里的工作。在工程方法习惯的基础上拒斥热机与热循环的重要尝试主要针对 S. 卡诺（ 1796~1832 ）、 W. 汤姆逊，即卡尔文勋爵（ 1824~1907 ）以及 R. J. E. 克劳修斯（ 1822~1888 ），它很快就得到公认。在这些认可中，值得注意的是在过去的一个世纪里 L. F. H. 赫姆霍兹（ 1821~1894 ）已经指出没有必要调用热循环与理想气体来定义温度和熵 。卡拉西奥多里方法的形式化简练十分引人注意以至于许多试图完善或者演绎它的数学形式使之更完美的人形成了一个跨学科的科学共同体。然而，这些持续的努力没有获得大量物理学家和物理化学家的追捧，他们通常宁愿不张扬地接受卡拉西奥多里的公理化方法或者将之视为一次有趣的探索。因此，并非所有剩余的注意力集中在公理化方法，除了一些特例外 ，它并没有占据广泛应用的物理学、物理化学或者仅仅热力学教科书的主要篇幅。即使在这个领域的一部基础性专著，比如刘易斯与兰德尔的《热力学》 ，都十分轻视这种方法，然而，同样是该书的附录包括了布里奇曼标记法，其表达可以给出任意想得到的偏导数，这些偏导数在 1914 年也就是卡拉西奥多里热力学诞生的不久之后即被提出。即使在被引用的例子 中，公理化方法更多地作为一个纯粹的探索而非热力学普遍的基础出现，文献 是个例外。 如果 M. 玻恩是一战后首位以三项连续研究 将注意力集中于这套新方法的人，其后 M. 普朗克在 1926 年 成为了新方法的首位尖锐批评者。实际上，他断定汤姆逊—克劳修斯的处理要可靠得多。马克斯·普朗克的偏好是由于汤姆逊的定义更接近于实验证据的事实，也就是说，更接近自然界中的实际过程，这些过程在实际中只基于被确立的所有自然规律。重读普朗克在这场争论中的原话是饶有趣味的，他说：“ hat wohl noch niemand jemals Versuch angestellt in der Absicht, alle Nachbarzustände irgendeines bestimmten Zustandes auf adiabatischen Wege zu erreichen , . . . , das Prinzip gibt aber kein Merkmal an, durch welches die erreichbaren Nachbarzustände von den unerrreichbaren Nachbarzustände zu unterscheiden sind ”（到目前为止，没有人试图只通过绝热步骤就达到任意平衡态的所有相邻态并且检验它们是否不可行， ……，这条公理没有给予我们可以区分可能达到与不可能达到的态的暗示 ）。普朗克自己试图在汤姆逊—克劳修斯与卡拉西奥多里近似间寻求拿出一个处理方案。他的处理也是基于普法夫方程的性质。 玻恩之后，在这个主题上第二个积极的反应来自二战方休一位在远方大学工作的科学家，澳大利亚塔斯马尼亚大学的 H. A. 布赫戴尔，他在另外两篇论文 的几年之后随即发表了三部连续的主要研究 。布赫戴尔试图将卡拉西奥多里的处理演绎得更容易为广阔范围内的物理学家所接受，特别是英语背景的物理学家。他大概十分熟悉德语。事实上，他不断地引用 M. 玻恩的原始文献以及其他德国数学家的专著。他确信，不久之后，公理化热力学可以得到美国和英国物理学家的重视。值得注意的是，布赫戴尔不仅出版了一部热力学专著 而且还有一部哈密顿光学专著 ，后者详细地展示了哈密顿处理几何光学的像差理论，许多类光学系统按其所具有的对称性给出了定义。几何学似乎联系了许多对公理化热力学感兴趣地人。 布赫戴尔之后，比如派帕德 、特纳 、希尔斯 以及兰茨伯格 发表了一系列有趣的工作，其初始目标是促进公理化方法的数学形式简单化。但是这些学者很快意识到这是一次没有效果的努力，因此，他们转而去证明卡拉西奥多里公理与热力学第二假设开尔文—普朗克表述的等价性。现在，这两种方法可以被视为是等价的了，而卡拉西奥多里方法唯一优越性在于其聚焦在系统以及它的坐标和态上，这些通常被应用于标准的工程近似中。它没有被排斥于上述作者出版的一些在热力学与物理学理论方面 有趣的著作之外，兰茨伯格于 1956 年 发表的文献有趣并且详细地发展了卡拉西奥多里的公理化方法。这个持续的工作在兰茨伯格从开尔文原理到卡拉西奥多里原理的推导 中确实扮演了十分重要的角色。 这个精致数学方法的历史确实表明，为了在广阔范围内接受卡拉西奥多里的处理， M. 普朗克关于这个方法困难的批判所强制给予熵的物理图像与其数学的“粗糙”恰好形成了今天所面临的主要困难。这两种困难极有可能是等价的，因为若这个强加的物理图像不充分，则数学的“粗糙”就行得通，若数学的“粗糙”可以被理解，则强加的物理图像就不完备。 4. 普法夫方程（ 请见附件 ） 5. 结语 在结束之前，我们注意到随着 20 世纪 70 年代与 80 年代 许多专著的连续发表公理化方法得到进一步发展。在这些著作中，我们可以知道热力学的几何化的一些有趣的表述以及发现公理化方法应用于热力学第三定律 。另一方面，文献 指出一种不利用普法夫方程理论的处理办法，而文献 告诉我们卡拉西奥多里的方法可以应用于一个激光与吸收物质相互作用的“思想”（原文系德文——译者注）实验。鉴于此，对热力学公理化领域甚至物理学的公理化处理（一个也被 D. 希尔伯特感兴趣地课题）的深入研究有兴趣的人，文献 值得精读。最后被提及的工作是对卡拉西奥多里公理化热力学的批评，批评来自对一个公理化物理学基础的观点。这个观点表明，卡拉西奥多里的公理之所以被批评是因为太依赖于实验。 让我们引用一个关于普法夫的有趣材料 来结束本文：“拉普拉斯曾经被问道德国最伟大的数学家是谁，他回答道德国的是普法夫，欧洲的是高斯。” 致谢 感谢克里斯蒂安·克鲁格博士（德国，柏林）为本文提供的宝贵技术性支持。 附录：卡拉西奥多里的主要数学著作 Vorlesungen über reelle Funktionen (Lipsia, 1918) 《 实变函数讲义 》 . Conformal Representation (Cambridge, 1932). Variationsrechnung und partielle Differentialgleichungen erster Ordunung (Lipsia, 1935) 《变量计算与一阶偏微分方程》 . Geometrische Optik (Berlin, 1937) 《几何光学》 . Reelle Funktionen (Lipsia, 1939) 《实变函数》 . Funktionentheorie (Berlin, 1950) 《函数论》 . Gesammelte Mathematische Schriften (München, 1954–1957) 《数学文集》 . Mass und Integral und Ihre Algebriesierung (Basel, 1956) 《集合、积分及其代数形式》 . 参考文献 O. Perron, Constantin Carathéodory, Jahresbericht der Deutschen Mathematikvereinigung 55 (1952)39–41. M. Born, Kritische Betrachtungen zur traditionellen Darstellung der Thermodynamik, Physik Z. 22(1921) 218–224. M. Born, Kritische Betrachtungen zur traditionellen Darstellung der Thermodynamik, Physik Z. 22(1921) 249–254. M. Born, Kritische Betrachtungen zur traditionellen Darstellung der Thermodynamik, Physik Z. 22(1921) 282–286. A. Landé, Handbuch der Physik , Vol. 9 (Springer, Berlin, 1926) chapter 4. M. Planck, über die Begrundung des zweiten Hauptsatzes der Thermodynamik, S.B. Akad. Wiss. 53(1926) 453–463. S. Chandresekhar, An Introduction to Stellar Structure (Chicago, 1939) chapter 1, p. 11. W. Pauli, Termodinamica e Teoria Cinetica dei Gas (Boringhieri, Torino, 1967) pp. 32–41, Italian version of Vorlesungen über Thermodynamik und Kinetische Gastheorie , Lectures of W. Pauli at the ETH of Zürich collected by E. Jucker (1958). M.W. Zemansky and R.H. Dittman, Heat and Thermodynamics (McGraw-Hill, Singapore, 1981)pp. 164–181. H. Margenau and G.M. Murphy, The Mathematics of Physics and Chemistry (Van Nostrand, Princeton,1968) pp. 26–30. H.B. Callen, Thermodynamics and Introduction to Thermostatistics (Wiley, New York, 1985) pp. 27and 48. B. Bamberg and S. Sternberg, A Course in Mathematics for Students of Physics , Vol. 2 (Cambridge University Press, New York, 1996) chapter 22. G.N. Lewis and M. Randall Thermodynamics , revised by K.S. Pitzer and L. Brewer) (McGraw-Hill,New York, 1961). H.A. Buchdahl, On the principle of Carathéodory, Am. J. Phys. 17 (1949) 41–43. H.A. Buchdahl, On the theorem of Carathéodory, Am. J. Phys. 17 (1949) 44–46. H.A. Buchdahl, On the unrestricted theorem of Carathéodory and its applications in the treatment of the second law of thermodynamics, Am. J. Phys. 17 (1949) 212–218. H.A. Buchdahl, Integrability conditions and Carathéodory’s theorem, Am. J. Phys. 22 (1954) 182–183. H.A. Buchdahl, Simplification of a proof of Carathéodory’s theorem, Am. J. Phys. 23 (1955) 65–66. H.A. Buchdahl, The Concepts of Classical Thermodynamics (Cambridge University Press, London,1966). H.A. Buchdahl, An Introduction to Hamiltonian Optics (Dover, New York, 1970). A.B. Pippard, Elements of Classical Thermodynamics (Cambridge University Press, New York, 1957)p. 38. L.A. Turner, Simplification of Carathéodory’s treatment of thermodynamics, Am. J. Phys. 28 (1960)781–786. F.W. Sears, A simplified simplification of Carathéodory’s treatment of thermodynamics, Am. J. Phys.31 (1963) 747–752. P.T. Landsberg, A deduction of Carathéodory’s principle from Kelvin’s principle, Nature 201 (1964)485–486. A.B. Pippard, Response and Stability: An Introduction to the Physical Theory (Cambridge University Press, London, 1985). P.T. Landsberg, A.N. Tikhonov and P.T. Landberg, Thermodynamics and Statistical Mechanics (Dover, New York, 1991). P.T. Landsberg, ed., The Enigma of Time (Hilger, London, 1983). F.W. Sears, An Introduction to Thermodynamics, the Kinetic Theory of Gases, and Statistical Mechanics,2nd edition (Addison-Wesley, Reading, MA, 1953). F.W. Sears and G.L. Salinger, Thermodynamics, Kinetic Theory and Statistical Mechanics, 3rd edition(Addison-Wesley, Reading, MA, 1976). P.T. Landsberg, Foundations of thermodynamics, Rev. Mod. Phys. 28 (1956) 363–392. T.W. Marshall, A simplified version of Carathéodory thermodynamics, Am. J. Phys. 46 (1978) 136–137. P.T. Landsberg, The Born Centenary: Remarks about classical thermodynamics, Am. J. Phys. 51(1983) 842–845. G. Laufer, Work and heat in the light of (thermal and laser) light, Am. J. Phys. 51 (1983) 42–43. R. Giles, Mathematical Foundations of Thermodynamics (Pergamon, New York, 1964). L. Tisza, Generalized Thermodynamics (MIT Press, Cambridge, 1966). L. Tisza, Thermodynamics in a State of Flux. A Search for New Foundations, A Critical Review of Thermodynamics (Mono Book, Baltimore, 1970). O. Redlich, The Basis of Thermodynamics, A Critical Review of Thermodynamics (Mono Book, Baltimore, 1970). J.P. Peixoto, Dualidade em Termodinamica, Memörias da Academia das Ciências de Lisboa 16 (1972)311–372 (in Portuguese). M. Bunge, Philosophy of Physics (Reidel, Dordrecht, 1973). M. Kline, Mathematics and the Physical World (Dover, New York, 1981). M.W. Zemansky, Heat and Thermodynamics (McGraw-Hill/Kogakuscha, Tokyo, 1 968). 附件： 1.翻译版 康斯坦丁·卡拉西奥多里与公理化热力学.pdf 2.原文献 Constantin Carathéodory and the axiomatic.pdf
标签: 物理学公理化
