摘　要：哈金提出的两种证明观念把握了数学证明的内在特性，并明确地建立起二者对立与互补的态势，从而使得两种证明观念间的张力得以显现。从数学史的视角来看，数学家们从未对证明观念达成完全一致，因此两种证明观念间的张力是数学哲学中不容忽视的议题。从哈金的论述出发，通过对数学史中若干案例的考察，可以将两种证明观念与数学实践中的形式化证明和非形式化证明进行对应，从而加深对两种证明观念及其间张力根源的理解。

关键词：数学证明 数学哲学 形式化证明 非形式化证明

摘　要：随着神经科学与人工智能的快速发展，心灵上传正从单纯设想转变为一个值得严肃对待的问题。乐观派普遍认为，只要成功复制大脑的功能组织，便能实现“自我”的延续。但这一设想依赖于一个未经反思的隐含前提：上传体具有意识。本文引入“可朽计算”理论框架，指出意识的实现依赖于特定物理系统中的耗散过程，其存在方式深度嵌入于具体实现条件，无法通过抽象复制或结构迁移加以重构或延续。因此，心灵上传面临如下悖论：上传若无意识，其延续毫无意义；上传若有意识，其意识只能属于“它”，不再属于“我”。这一悖论揭示出一个根本事实：意识的可朽性不是其局限，而正是其存在的根基。

关键词：心灵上传 人格同一性 神经元替换 可朽计算

摘　要：模型表征的自然主义诠释主张将模型与目标系统之间的表征关系还原为二者之间的同构或相似关系，这种诠释导致了模型表征的逻辑属性问题：模型表征的非对称性、非反身性与同构或相似关系的对称性、相似性之间存在矛盾。一些学者主张在模型表征的自然主义诠释中加入意向性等主观因素以克服该逻辑属性问题，但这种做法只能消解二者的对称性与非对称性矛盾，而无法消解反身性与非反身性矛盾。借助近年来兴起的模型工具主义观点，本文提出了一种综合了同构或相似关系、意向性与工具属性的模型表征诠释方式，以此克服自然主义诠释存在的逻辑属性问题。

关键词：同构 相似 模型表征 非对称性 非反身性

摘    要：自1826年起，不同化学家相继从天然染料靛蓝、工业煤焦油等来源发现苯胺，后由霍夫曼完成其鉴定工作。在此基础上，霍夫曼围绕苯胺开展的一系列研究推动了胺化学的发展，为氨类型学说的理论突破提供有力支持，更为合成染料工业的兴起奠定科学基础。珀金师承霍夫曼进入该领域，在实验中发现具有染色性能的新产物苯胺紫。出于商业动机，他探索出大规模生产苯胺的多步合成路径，继而实现苯胺染料的首次商业化生产，拉开了合成染料工业的序幕。

关键词：苯胺 染料 煤焦油 霍夫曼 珀金

摘　要：普朗特是哥廷根应用力学学派的创始人及核心人物，其学术谱系的传播主要集中在德国、美国和中国。我国诸多力学事业以及航空航天事业的奠基人都出自这一谱系，深受哥廷根应用力学学派的影响。本文梳理普朗特学术谱系在中国的发展脉络和结构特点，探究他们是如何在中国继承并传播哥廷根应用力学学派的学术传统，并形成独有的精神传统的。

关键词：哥廷根应用力学学派 普朗特 学术谱系 学术传统