0x7cdac5b2…d194sent to0x12767371…2bca·#25,772,998·view on Etherscan
刚刚刷到了冰雹猜想的科普视频 有说存在不可证明会归一的数字 可能跟存在不可证明的定理类似 突然发现 冰雹猜想 从1开始 构建一颗覆盖几乎所有整数的树 确实感觉和哥德尔不完备定理出发 画出一颗证明树 有不可证明的公理 挺像的 不知道有没有关联 但是哥德尔不完备定理底层是基本符号 定理是可以用基本符号组成被证明为真的命题 “n可以到达1” 算作某个定理 构建一个简单的逻辑系统 不知道能否放进哥德尔不完备定理的框架里面 换句话说 是否可以具体构建一个简单的逻辑系统 让里面全部的定理都是“n可以到达1” 这样哥德尔不完备定理就可以直接解决冰雹猜想 或者从哥德尔的证明出发 研究“哪些“证明存在不可证明的定理”的逻辑是必要的” 把这些必要的逻辑或者结构抽出来 还有就是 哥德尔不完备定理中应该是存在无数个类似sub（n，n，17）的不可证明的真命题 这些真命题也许可以根据所用到的词汇进行一些分类 比如“n可以到达1” 就是一类特定的命题 我想 这些内容是值得研究的