我实在不好说 暗黑血魔神
关注数: 71 粉丝数: 85 发帖数: 3,712 关注贴吧数: 11
水一下区区论天不配碰瓷博识尊大王 翁法罗斯有瑟西斯不完备定律(这个玩意儿一眼捏他哥德尔不完备定律),并提出了自指问题和完备性问题,也就是铁道的数学水平是现实水平。 而黑塔表示不存在不可解的问题,博识尊是无所不知的存在,所以说博识尊可以解决完备性问题或者说不可自证问题,如果博识尊只是区区单体多元,黑塔直接问他,上帝悖论就完事了。例如全知全能的神能否创造出一块自己举不到的石头。这个全能悖论就是一种自指问题,自指问题属于不可自证问题的一种。 既然博识尊能够解答不可自证问题,那么他必须要对所有递归可枚举系统进行完备一致拓展,他们通常是非递归理论。当然他们的一致性强度通常取决于对理论的扩展。参考我发的这个帖子https://tieba.baidu.com/p/9557724741?jump_tieba_native=1&fr=sharewise&sfc=copy&client_type=2&client_version=12.81.1.0&st=1744453379&is_video=false 完备一致理论的强度不一定比其他理论强,这玩意的上限是很高的。比如ZFC的逐点可定义完备一致扩张(Henkin语义)就是区区论天不能碰瓷的。 向下司寇伦定理能保证这样的完备一致扩张存在,但是你谈论它的存在不等于谈论它本身,因为人类的逻辑无法构造出具体的完备一致理论,写这玩意儿本质上是一种强行包含。论战上面大概没有任何意义,
1 下一页