gu903();“啊？”不仅仅是这个小胖子，后边的一大堆学生也跟着惊呼起来。

他们怎么也想不到，这么小的一段，居然可以与整个宇宙相比较，这也太不可思议了吧？

让这些小孩子露出一惊一乍的表情，感叹宇宙的奥妙，变成了张远的一大乐趣。

张远笑道：“但是无穷大也有大小之分，自然数集合，在数学上被称作是阿列夫0，是一个最小的无穷大。”

“最小的无穷大？”

“线段上点的数量，也即实数形成的无穷集，称之为阿列夫1。”

“……一切可能的数学函数：连续函数和不连续函数的数目，称之为阿列夫2。”

“我知道了，还有阿列夫3，阿列夫4，阿列夫5！”这个小胖子大声叫嚷了起来，又好像发现了什么充满力量的东西。

这个年纪的学生总是那么中二，获得了一点点知识，又能够去同龄人面前炫耀了。

张远笑道:“是啊，可以无穷向上延伸……可是，你很难找到更高维度无穷大，在现实中的具体意义，它也就只能成为纸面上的一串符号。而且，数学上的难点是，是否存在一个数比阿列夫0大、比阿列夫1小的无穷大？这个问题被称作连续统假设。”

“连续统假设虽然是假设，但是它永远不可能被证明，也不可能被否定，就这么孤零零地放在那里，一直存在了将近四千年的时间，到现在也没有被解决。”

“为什么？”王天天又问道，这个世界也太奇怪了吧。

一个问题，居然四千年都没有解决。他内心都有点蠢蠢欲动了

张远再次哈哈大笑起来：“那又是……另外的一段故事了，被称作哥德尔不完备定理！数学史，又是一段波澜壮阔的历程，世界上不可能被解决的问题多得很呢！”

……

时间一天天地过去，随着衰老的持续，身体是一天不如一天了。

甚至去天文台的路程，都会感到非常疲惫，可是他依旧坚持工作，为孩子们解答疑惑，这可以说是朋友一个个凋零后，最大的乐事。

就在这一天，为他专门检查身体的医生，露出了一种非常惋惜的神情，她非常小心翼翼地说道：“老舰长，您的身体状况，已经达到进入虚拟世界的标准了。”

“我会帮您打一份报告，您的妻子也已经达到标准了。就在这个月底，如果您愿意的话……”

“这样么……真的活得够长久的了。”张远点了点头，叹息道：“没什么不愿意的，让我和这个时代告别吧。”

纪元5812年8月29日，昆仑山舰队的第一任舰长，张远，即将离开这个世界。

礼炮在这一片星空中短暂地亮起，又无声的消失。

目前90的人口，正处于冬眠当中，没有特地苏醒的必要。剩余10的清醒人口，全都自发地进行着这一场送别仪式。

昆仑山中的许多生产活动也停止了，学校里还放了一天的假期，而张远也当得起这样的荣誉。

“您还有什么话要说吗？”这位医生说道。

无数送行的后辈正在看着他，期待他说些什么，或者是鼓励，又或者是其他的什么。还有一些老人，正在不停地抹眼泪，这一次，他不是最后一个人走的。

“没有了，大家都挺好的，继续前进吧。”张远笑着说道：“未来还是得靠你们。”

几位工作人员，将他从轮椅中扶起，躺下。

冬眠仓就像一张软软的席梦思，躺起来非常舒服，张远转过头，看着周边。

一位位曾经的好友，同事，正在向他告别。

也好像没有几个了。

这种感觉很微妙，张远并不是一个怕死的人，但此时此刻，还是有一种喘不过气来的感觉。

他忽然回想起了——

在很小很小的时候，明白了死亡是怎么一回事的那一瞬间，他蹲在墙角边嚎啕大哭。

“我能不能不死？”张远泪眼婆娑地问。

“不死是什么意思？”他父亲张启明回答道。

“就是……一直活着啊。”

“哦，你是说……你想永生啊。”面对这个问题，张启明沉思了好久，一脸正经地说道：“我觉得，还是死了比较好。人是没办法永生的。”

年幼的张远一时没办法接收这个答案，虽然父亲的很多回答，都很莫名其妙。

张启明说道：“我觉得，你很可能将永生的时间段，想象地太短暂了。永生意味着无穷大，一百年，一万年，一亿年，乃至一百亿亿年，与无穷大比起来，和零并没有区别。”

“在真正永生者的眼中，宇宙在一秒钟内，可能就热寂了，也就是，你在地球上感受到所有的快乐，只存在了非常短暂的时间。接下来就是漫长的，在茫茫空旷宇宙中孤独存在的时间。没有任何物质，也没有任何陪伴。”

“直到等待着量子大海中，那一点渺茫的宇宙大爆炸，重启一个新的纪元。可是这又需要多少时间？”

“这种孤独，人类可能没办法忍受，又或者思维形态变成另外的物种，又或者停止了思考……我觉得，还是停止思考，选择死亡吧。”张启明看向蔚蓝的天空，摸着张远的脑袋，一本正经地说。

即便，年幼的张远，完全不理解，自己的父亲在说什么……

不知道为什么，张远在离开这个世界前，想起了这一段对话。

或许吧，死掉的英雄才是好英雄。

只是……多么寂寞啊……

花团锦簇当中，张远隐隐约约听到了一阵阵哭声。不知道又是谁在哭泣。

迷迷糊糊的，他很快就失去了意识。

……

一个时代结束了，另一个时代又紧接着开始了。

人类不会因此而停止自己的脚步，这一场伟大的旅程，依旧在继续……

、

gu903();