从海德沃和 Schrödinger 到 P vs. NP问题

本文提供了关于矩阵力学与波力学之间根本性分歧的认识论性重述。虽然在形式上等价，但这两种理论体现出不同的认识模式：程序化构建与认知验证。这些认识架构在哲学层面上预示了计算复杂性中的P问题与NP问题所表达的逻辑不对称。本文将efficient generation与efficient recognition之间的差异不作为数学分类，而作为理解知识在物理、计算和认知中如何产生和验证的框架。本文通过Heisenberg、Born、Jordan、Dirac、Schrödinger、Ehrenfest和Pauli的原始推导重构量子力学的数学历史，最终导向von Neumann在希尔伯特空间形式化中统一两者的方法。通过对比Heisenberg的算法化形式与Schrödinger的表征形式，本文论证，他们的分歧揭示了科学推理本身的结构特征——即程序化构建与认知验证之间永恒的张力。