“阿基里斯和乌龟”与逻辑推理的各向异性
来源:互联网 发布:中国gdp数据为什么造假 编辑:程序博客网 时间:2024/06/11 13:52
有一个很有名的“阿基里斯和乌龟”的故事,说的是古希腊勇士阿基里斯有一天要和一只乌龟赛跑,乌
龟和他打赌说,只要阿基里斯让乌龟先跑一段,然后再追它,那么不管阿基里斯跑得有多快,也永远追
不上乌龟。
阿基里斯当然不信,于是乌龟就用了逻辑推理,来证明它的观点是正确的:
假设阿基里斯让乌龟先跑一段,等乌龟跑到地点A的时候,阿基里斯开始出发追乌龟。经过一段时间后,
阿基里斯跑到了A。但是因为乌龟也没闲着,因此它在这段时间里也一直在向前移动,所以等阿基里斯到
A的时候,乌龟肯定已经到了A前面的某个地点B。于是阿基里斯继续往前追,又过了一段时间后,阿基里
斯到达了B,可是同样的道理,此时乌龟肯定已经不在B了,而是在B前面的某个地点C。于是阿基里斯继
续向C追去......这样经过了N、N、N、N次追逐后,阿基里斯仍然无法追上乌龟。甚至如果时间够长,阿
基里斯花一辈子时间,也不可能追上乌龟了。
然而,实际情况是怎样呢?这个不用我多说了......
那么这里就发生了一个很怪的事情,为什么逻辑推理正推和反推的结果会不一样呢?难道逻辑不完全是
非此即彼,或者说不完全是布尔特性的么?
在上面这个反推过程当中,推理终点必定会遇到一个无穷小分割。情况似乎是,当一个逻辑推理跨越了
一个无穷小点的时候,它就不再具有可逆性了,或者说它出现了各向异性而会产生两种完全不同的结果
。这个有趣的现象,不知道有没有达人更深一步思考过。
- “阿基里斯和乌龟”与逻辑推理的各向异性
- 阿基里斯与乌龟的悖论
- 芝诺悖论2 阿基里斯与乌龟
- 阿基里斯永远追不上乌龟
- 破解芝诺悖论之阿基里斯追乌龟
- 增量日志迭代同步和阿基里斯悖论
- 阿基里斯之踵
- 蛇与乌龟的故事
- 纹理的各向异性采样
- 各向异性
- 捷克,阿基里斯之踵
- 乌龟与刺猬的力量孰大
- [乌龟]佛鳄龟与北美的个人见解
- 标准库——C++的阿基里斯之踵
- 乌龟和兔子赛跑的故事
- 模糊逻辑与逻辑推理
- 关于证明和逻辑推理
- 逻辑推理与判断(谜语博士的难题(1))
- 在WinForm中使用Web Services 来实现 软件 自动升级( Auto Update ) (C#)
- 基础知识----面向对象思想
- 使用iftop查看实时的网络流量
- 奥巴马胜选演说(中英对照):美国的变革
- devtodo —— 在终端中运行的 todo 管理工具
- “阿基里斯和乌龟”与逻辑推理的各向异性
- LAMP 优化 之三 php Allowed memory size of xxx bytes exhausted
- 网格计算入门
- 如何利用SendMessage实现C#进程间通信?收藏
- 初到此地,欢迎朋友来访.
- error BK1506:cannot open file StdAfx.sbr:No such file or directory
- 作业
- Axure RP Pro - 相关问题 - 变长页面的页脚
- IIS 状态代码