0x7cdac5b2…d194sent to0x12767371…2bca·#25,772,926·view on Etherscan
刚刚刷到了冰雹猜想的科普视频 有说存在不可证明会归一的数字 可能跟存在不可证明的定理类似 突然发现 冰雹猜想 从1开始 构建一颗覆盖几乎所有整数的树 确实感觉和哥德尔不完备定理出发 画出一颗证明树 有不可证明的公理 挺像的 不知道有没有关联 但是哥德尔不完备定理底层是基本符号 定理是可以用基本符号组成被证明为真的命题 “n可以到达1” 算作某个定理 构建一个简单的逻辑系统 不知道能否放进哥德尔不完备定理的框架里面