关于“无限”问题本版俩 id 对殴的故事# WaterWorld - 未名水世界
t*r
1 楼
I63 哈，俺把这个回帖 copy 过来另开一个话题。。。
http://www.mitbbs.com/article/WaterWorld/2041031_0.html
话说 tidewater 对“无穷”的理解，其实是源于 tidewater 每修理
好一个 bug，tidewater 老板就给 tidewater 一个新的 bug 来修。
这样过了N年，有一天 tidewater 顿悟：对于任何一个老板给的 bug
集合，总是存在更大的一个老板给的 bug 集合。所以 bug 是无限的，
俺的工资单也是有保障的。想到这里，tidewater 咧开了嘴，乐呵呵
地傻笑着修理下一个 bug。
而 I63 对“无穷”的理解，是源于某次在水版跟专业天天修理 bug 的
tidewater 的一次争吵。在那次争吵之后 I63 突然悲催地发现，如果
tidewater 正在修理的所有 bug 这样一个实体是有限的，那 tidewater
在修理完这个实体之后，必然记得这次争吵而冲过来修理 I63 他自己，
那他自己就是一个 bug。但 tidewater 不是要修理完所有 bug 这样一个
实体才会冲过来么？那他 I63 就不应该是一个 bug。正因为这样引起了
I63 是不是 bug 的这样一个悖论，所以 I63 断言：“假设所有 bug 这个
实体有限”是错误的。所以“所有 bug 这个实体”是无限的，这样 I63 自己
就不是 bug，而 tidewater 因为修不完无限的 bug 实体，也
不会跑来修理他 I63。想到这里，I63 会心地笑了。
本来这故事到这里就完事了，但是 I63 吃饱了撑的又在琢磨另一个
问题：“如果存在这个所有 bug 的无限实体，那必然存在某个东东，
能够修理所有 bug 这个无限实体。”但是这样一来，tidewater
又会冲过来把 I63 当成 bug 给修理了（背景响起“大话西游”里
的那句著名的“我为什么说“又””呢？）。这样的话，那个东东就
没有修理所有 bug 这个无限实体。又使用了一次 I63 所钟爱
的反证/归谬法之后，I63 证明了：世上不存在任何能够修理
“所有的 bug 这个无限实体”的东东。
I63 于是证明了，世上存在一个实体，但并不存在一个能触摸（修理）
该实体的东东。但是这样一来，那这个永远不能被触摸的实体究竟是
不是实体呢？。。。I63 正在冥思苦想的时候，忽然咚咚咚有人敲门
“加急电报！”，然后扔进来一个信封。
I63 捡起信封，打开一开，上面赫然一行大字：
To be, or not to be, that is the question。。。
翻过来一看落款：
“莎士比亚”！
（喂，灯光师老头，别光顾着看戏啊。。。编剧喊你回控制室拉电闸！
戏演完啦。。。）
http://www.mitbbs.com/article/WaterWorld/2041031_0.html
话说 tidewater 对“无穷”的理解，其实是源于 tidewater 每修理
好一个 bug，tidewater 老板就给 tidewater 一个新的 bug 来修。
这样过了N年，有一天 tidewater 顿悟：对于任何一个老板给的 bug
集合，总是存在更大的一个老板给的 bug 集合。所以 bug 是无限的，
俺的工资单也是有保障的。想到这里，tidewater 咧开了嘴，乐呵呵
地傻笑着修理下一个 bug。
而 I63 对“无穷”的理解，是源于某次在水版跟专业天天修理 bug 的
tidewater 的一次争吵。在那次争吵之后 I63 突然悲催地发现，如果
tidewater 正在修理的所有 bug 这样一个实体是有限的，那 tidewater
在修理完这个实体之后，必然记得这次争吵而冲过来修理 I63 他自己，
那他自己就是一个 bug。但 tidewater 不是要修理完所有 bug 这样一个
实体才会冲过来么？那他 I63 就不应该是一个 bug。正因为这样引起了
I63 是不是 bug 的这样一个悖论，所以 I63 断言：“假设所有 bug 这个
实体有限”是错误的。所以“所有 bug 这个实体”是无限的，这样 I63 自己
就不是 bug，而 tidewater 因为修不完无限的 bug 实体，也
不会跑来修理他 I63。想到这里，I63 会心地笑了。
本来这故事到这里就完事了，但是 I63 吃饱了撑的又在琢磨另一个
问题：“如果存在这个所有 bug 的无限实体，那必然存在某个东东，
能够修理所有 bug 这个无限实体。”但是这样一来，tidewater
又会冲过来把 I63 当成 bug 给修理了（背景响起“大话西游”里
的那句著名的“我为什么说“又””呢？）。这样的话，那个东东就
没有修理所有 bug 这个无限实体。又使用了一次 I63 所钟爱
的反证/归谬法之后，I63 证明了：世上不存在任何能够修理
“所有的 bug 这个无限实体”的东东。
I63 于是证明了，世上存在一个实体，但并不存在一个能触摸（修理）
该实体的东东。但是这样一来，那这个永远不能被触摸的实体究竟是
不是实体呢？。。。I63 正在冥思苦想的时候，忽然咚咚咚有人敲门
“加急电报！”，然后扔进来一个信封。
I63 捡起信封，打开一开，上面赫然一行大字：
To be, or not to be, that is the question。。。
翻过来一看落款：
“莎士比亚”！
（喂，灯光师老头，别光顾着看戏啊。。。编剧喊你回控制室拉电闸！
戏演完啦。。。）