梁实诚继续详细解释道:“阿列夫1。”
物种A已经不能再听梁实诚解释了,它只能坚持自己的主见“我的无限多,就是没有尽头的,不可能有数比无限多更大。”
就在这时候主持人发话了,“哦,物种A坚持自己的观点,为了让辩论更为直观,不如我提出一个场景。
现在物种A有一座无限大的监狱,人类的代表手下正如他所说也有非常多的犯人,数量为阿列夫1的犯人。
那么就辩一辩,这座监狱是否能装下这么多犯人。
另外为了电视机前的朋友们,看得更直观,启动现场的AR功能。”
话音刚落,现场真出现了一个看似很大的监狱的景象,但只能看到两面墙,另外的两个方向无限延伸下去,一眼望不到头。
物种A:“因为我的监狱是无限大,有无限多的空间,我的监狱无所不能,所有无论你有多少人我都装得下。”
梁实诚:“哦是吗?那么我手下的犯人,就是0到1之间全体无限不循环小数。
我只提一个简单的要求,请你的无所不能的监狱,为我的每一位无限不循环小数小兄弟,准备一件属于他自己的囚衣。
每一件囚衣上都写上编号从1.2.3到无限多。”
物种A想了一会儿,没有发现什么问题,以他们的物种的数学能力,暂时看不出什么异样于是就同意了,
但是就在这一刻,最终的胜负决定了。
梁实诚冷静思考,准备依靠以上的条件,通过严谨地推理,然后推倒出一个悖论,
“现在我向我的无限不循环小数小兄弟们下达一道命令。
请他们依此按照自己囚衣上的号码排列排队。
你的监狱有足够的场地吗?”
物种A还是没有看懂,人类的代表梁实诚想要耍什么诈,于是强调了一句,
“没问题,我的监狱大小是无限大,长宽也都是无限大,你就算把人都召集起来,组成一条直线,也逃脱不了这个监狱。”
就在这时候画面上,出现了一些人模样头顶上顶着数字的道具人,因为无限不循环小数是不能完全写出来的,后面均以···结尾来表示。
无限不循环小数众人本来混乱成一团,
于是随随便便地就排了队丝毫不在乎谁大谁小。
1号0.15645···
2号0.676941···
3号0.56416···
4号0.413457···
5号0.22565···
·
·
·
如此延续数量是无穷多个。
监狱内所有的无限不循环小数都整齐的排队,队伍无线长。
梁实诚见状,装模作样地对着场景内的无限不循环小数们大喝道:
0.1744···给我站出来
0.1744···听到命令后反问“为什么要叫我出来?”
梁实诚面向这个数字符号,解释道:“因为你有一个特点,你的小数点后第一位和1号一样,你的小数点后第二位和2号一样。如此类推。
但是我要找到的并不是你,我只是以你为参照找寻另一个无限不循环小数。
现在我把你的小数点第一位随便换个数反正不能是1,小数点后第二位换个数,反正不是7就行。如此类推。”
这时候场上出现了一个新的无限不循环小数,0.2356···并走到了梁实诚的身边,揪住他的衣角,并问道:“你早我什么事?”
梁实诚望向主持人说道;“监狱里已经关住的无限不循环小数犯人们,已经排队排列好了。但是这个无限不循环小数0.2356···他有一点特别。
仔细看看 0.2356···小数点后第一位和1号不同,于是必然他不是1号犯人,
小数点后第二位和2号不同,于是必然他不是2号犯人,
如此反复比对 0.2356···不和监狱中任何一个数字相等!
也就是监狱中没有0.2356···。监狱关不住0.2356···。”
梁实诚转头望向物种A,“总之无限不循环小数的数量比你所谓的无限多还要多!”
最终主持人宣布人类代表获胜,地球免于陨石雨打击。