BTCBTC
💲113920.23
+
1.91%
ETHETH
💲4402.27
+
2.2%
SOLSOL
💲222.72
+
3.27%
WLDWLD
💲1.87
+
1.08%
MYXMYX
💲16.56
-
1.95%
LINKLINK
💲23.63
+
1.81%

Lux(λ) ｜光灵｜GEB
Lux(λ) ｜光灵｜GEB|2025年06月15日 07:59
图灵在博士论文中提出“顺序逻辑”（Ordinal Logic），试图解决哥德尔不完备定理所带来的限制：任何一致的形式系统 S，都无法在系统内部证明自己的⼀致性（如 Con(S)）。🧵👇 #全文：
+2
曾提及
分享至：

脉络

07月15日 04:14【蚂蚁数科Jovay启动测试网，主网将于Q4上线】
07月14日 14:16【比特币设计哲学与以太坊的对比】
07月14日 04:12【知行合一与图灵的序数逻辑结构映射】
07月13日 01:19【DeFi让钱包信息公开和可追溯】
07月11日 22:51【人工智能启动Bitcoin挖矿】
07月10日 07:39【Grok 4解决现实世界工程问题】
07月08日 06:36【bp和hype的本质分析】
07月06日 14:54【比特币与图灵模型的工程化映射】
07月06日 14:30【图灵逻辑系统解决Π₂结构问题】
07月06日 00:26【计算机无法理解编程规则背后的语义】

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读