
Lux(λ) |光灵|GEB|2025年10月17日 05:42
完备性在多个不同形式逻辑的交互中解决了。
可以举几个用例:
1,希尔伯特空间的完备性解决,用sinx/cosx等非线性函数对无穷级数多项式的覆盖的兼容而得到完备。
2,有理数的逻辑系统 添加无理数逻辑系统而完备。
3 bitcoin 组合 序数逻辑系统(图灵机和神谕机的超穷迭代手艺)和 纳什非合作博弈而完备。 从现象上来解释: 即最重链不存在某个特定的实体,即不可能存在自指的问题。
组合的交互中实现的完备。(Lux(λ) |光灵|GEB)
分享至:
脉络
热门快讯
APP下载
X
Telegram
复制链接