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有无穷无尽的关系，只要有一个适合你，它就是对的，这基本上就是我理解的（ 道还先生的） 道可道。

所有跟帖： 

• 数学圈对Carroll的评价好像不太高。 -dhyang_wxc- ♂ (3595 bytes) () 12/11/2023 postreply 13:51:23

• 这算找对了人，谢解惑。 -JSL2023- ♂ (0 bytes) () 12/11/2023 postreply 14:19:39

• 呵呵，很高兴你能接上。解人难得。 -dhyang_wxc- ♂ (0 bytes) () 12/11/2023 postreply 20:14:05

• Many years back, I once had the insight that -中间小谢- ♂ (195 bytes) () 12/11/2023 postreply 14:31:19

• 是。Reality需要人的浑身解数，脑、心、自己的所有都到齐了，还未必能通过去。就凭一点点儿logic，烧脑、 -dhyang_wxc- ♂ (551 bytes) () 12/11/2023 postreply 20:12:40