冯落衣在听了王崎的话,竟陷入了沉思。了一,他一脸认真问:“王崎,你老实回答我一问题——‘逻辑系统越越强,其中不完备就越明显’,你是意思吗?你有新法了?”
王崎本的点头,但随即打了激灵:“不不不,我是在证明一阶完备的候隐约有法——因现在证明一阶完备,所现在认,一阶外是不完备的。”
哥德尔不完备定理在吃透前是不拿比较。抛己有完全理解的东西,少有点找死。
冯落衣皱眉,似乎很不喜欢答案:“你靠什知的?直觉吗?”
王崎一反应就是嗤笑:“直觉?怎……不不不,不是直觉,是我人的,额,不是猜,应该算是一阶段的目标一吧,从完备入手。”
面前位,似乎不喜欢直觉的说法吧……
“你习惯很不,证明的东西怎够,够已知结论使?”冯落衣才神色稍缓,他是训斥了王崎一句,才问:“一吗?有什?”
“我准备薄师妹一搞一搞数律,有,晚辈最近加入了一实证部,说不定搞一搞算理统计系统论了。”
“数律是题目,统计数律应该有结合点,是系……(内容加载失败!)
(ò﹏ò)
抱歉,章节内容不支持该浏览器显示~
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!
谢谢!!!