阿根廷裔美国数学家、计算机科学家,算法信息论的创始人之一。他以定义并研究 Ω 数(停机概率)著称——这一不可计算的实数将哥德尔不完备性与图灵停机问题统一到信息随机性的框架下。长期供职于 IBM 沃森研究中心,著有《元数学!》《证明达尔文》等作品,近年提出「元生物学」,试图用可变异软件的演化为生命建模。
不完备不是逻辑巧计,而是信息量的硬账:公理有多少比特,可证的真理就到此为止。
这一问的全部回应 →连自然数都非先验,而是人类感知辨边界、辨曲直所催生的自由创造。
这一问的全部回应 →
微信公众号