Lewis Carroll 和 道可道

老卡是 Alice in wonderland 的作者。

在程序员圈里，他的地位是很高的。

有人形容他是被数学耽误的文青。

基本上可算是从没有见过计算机的程序员：）

先把虎皮扯开来

 

GEB引用了老卡的一个悖论: What the Tortoise Said to Achilles

https://en.m.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achilles

 

我理解它是在讲逻辑证明的基本操作过程是无穷无尽的。

 

比如 A B 成立 那么 Z就成立

我们实际上需加上另一个条件 C：

 —— A B成立 那么Z必须成立

想象一下 这个场景可以无限回放：）

 

这个悖论是以乌龟和小阿对话展示的。

书里乌龟总是稍机智一点，我是觉得作者在有意无意的比喻中国 因为一说到乌龟就想到它背的八卦：）

 

又一个俗人的问题 这个悖论是不是在说 在一个开放系统 A和B有无穷无尽的关系，只要有一个适合你，它就是对的，这基本上就是我理解的（ 道还先生的） 道可道。