所有作者:陈睿
作者单位:深圳数学物理研究所
论文摘要:进一步介绍运用归一原理检验理论物理部分逻辑的方法。 作为重要的例子, 本文证明了来自伪狄拉克方程的线性递归关系组解的不存在性, 并用机器的方法证明了这一关键结论的可靠性。 结果表明: 相应的伪狄拉克方程没有任何真实解, 而各种相关文献所给出的形式解实际上不满足原始的狄拉克方程。 进而 我们证明伪狄拉克方程隐含着1=0的最基本数学矛盾。 由此得出结论: 构造任何伪狄拉克方程理论都是需要慎重考虑的。
关键词: 归一原理 伪狄拉克方程 解的存在性和唯一性.
免费下载《伪Dirac方程无解的机器证明》PDF全文(已停止下载)
本站“论文下载”文章收集整理于“中国科技论文在线”,由于各种原因,本站已暂停论文下载!请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载!