只能用天才来形容了。他的对角线方法也是图灵用来证明停机问题无解的关键。哥德尔的不完备性定理也用到它。

来源: 2025-06-03 13:36:35 [博客] [旧帖] [给我悄悄话] 本文已被阅读: