关于希尔伯特计划的研究

涛 黄(烘焙设备和涂料有限公司，东约特兰芬斯蓬 61244;)
诺 阿(烘焙设备和涂料有限公司，东约特兰芬斯蓬 61244)
.(烘焙设备和涂料有限公司，东约特兰芬斯蓬 61244)
黄(KL工业有限公司，东约特兰芬斯蓬 61244;)
托斯登 黄(韦姆兰省卡尔斯塔德 65466;)
美羡 吴(西门子能源公司，东约特兰芬斯蓬 61231;)

摘要

希尔伯特的证明论计划能实现么？本文提出哲学方案，用双重性逻辑（二维逻辑）和标准尺度规则解决希尔伯特计划中的数学悖论。并且从理论上证明，在数学中引入二维逻辑具有可行性。

关键词

悖论、双重性原理、二维逻辑、 AI自动化设定

参考

易经

辩证法古典解读之破解悖论

佚名.希尔伯特之梦以及梦的破灭[J].语数外学习：数学教育, 2018(4):58-62.

孟昊.哥德尔可证性逻辑研究[D].河北大学,2024.

王文良.算术命题之真的哲学辨析[D].西北师范大学,2020.

DOI: http://dx.doi.org/10.12345/cai.v4i8.31044