冯落衣在听了王崎的话之后,竟陷入了沉思
过了一会,他一脸认真的问道:“王崎,你老实回答我一个问题——‘逻辑系统越大越强,其中不完备就越明显’,你是这个意思吗?你有新想法了?” 王崎本能的向点头,但随即打了个激灵:“不不不,我只是在证明一阶完备的时候隐约有这么个想法——因为现在只能证明一阶完备,所以现在可以认为,一阶以外都是不完备的
” 哥德尔不完备定理在吃透之前还是不要拿出来比较好
抛出自己没有完全理解的东西,多少有点找死
冯落衣皱眉,似乎很不喜欢这个答案:“你靠什么知道的?直觉吗?” 王崎第一反应就是嗤笑:“直觉?怎么可……不不不,不是直觉,这是我个人的,额,也不是猜想,应该可以算是下一阶段的目标之一吧,从完备性入手
” 面前这位,似乎不喜欢直觉的说法吧…… &n