论文标题
局部规格对称性和对称性破坏的逻辑基础
Logical Foundations of Local Gauge Symmetry and Symmetry Breaking
论文作者
论文摘要
量子场理论已成功产生了许多一般结论。披露这些结论的逻辑形式似乎有意义。本文报告了两个结果。第一个结果显示了局部量规对称性和质量不可定力的逻辑。第二个结果显示了希格斯机制的逻辑和质量的确定性。结果是通过在量子场理论中整合四个组件，即量规对称性和希格斯机制，以及数学逻辑中的不完整定理和不可定力定理。 Godel编号是本文应用算术建模的关键。
Quantum field theory has successfully generated a number of general conclusions. It seems meaningful to disclose the logical forms of these conclusions. The present paper reports two results. The first result shows the logic of local gauge symmetry and indefinability of mass. The second result shows the logic of Higgs mechanism and definability of mass. The results are obtained by integrating four components, namely, gauge symmetry and Higgs mechanism in quantum field theory, and incompleteness theorem and indefinability theorem in mathematical logic. Godel numbering is the key for arithmetic modeling applied in this paper.
