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

脈絡

熱門快訊

APP下載

X

Telegram

Facebook

Reddit

複製鏈接

熱門閱讀