谢谢阅读，我将用心准备下一本书《从康特尔到图灵》。

所有跟帖： 

• 老康给我的第一课就是如何数无理数，他的对角法也不知是如何想出来的：） -JSL2023- ♂ (0 bytes) () 06/03/2025 postreply 10:43:05

• 只能用天才来形容了。他的对角线方法也是图灵用来证明停机问题无解的关键。哥德尔的不完备性定理也用到它。 -朝霞满天- ♂ (0 bytes) () 06/03/2025 postreply 13:36:35