伪Dirac方程无解的机器证明,陈睿,,进一步介绍运用归一原理检验理论物理部分逻辑的方法. 作为重要的例子, 本文证明了来自伪狄拉克方程的线性递归关系组解的不存在性,