以下是引用冠冠在2022-6-10 22:02:40的发言:原本世界是一片安静的。
艾伦是第一个“进入”世界的。哦,也许并不是。在艾伦“进入”世界前,这里曾经来往过各种各样的人。只是在艾伦来了之后,世界才逐渐变成了我们现在的样子。
后来,他们将艾伦命名为“零号”,在他之前的人物被称作史前群英,在他的之后的人物按照自然数的序列排序下去。
那时,世界变成一条长长的纸带,这里用“纸带”其实并不准确,因为“纸”这种物品是艾伦逝去后的几万个世纪里,才被发明出来的。
对了,“世纪”这个词也不存在,那也是在很长的“时间”后,才被发现的。
就连“时间”本身,也是在139号出现后才被定义出来的。事实上,这个世界里面“时间”是否存在都是一个问题,这也是当下许多学者们追寻与探索的故事。
好了,错开这些“后话”,我们来看看艾伦所带来的世界。
那是一条可以无限延展纸带,纸带被分成了一个个的小方格,每个方格有着不同的颜色。艾伦将自己变成了一个探头,不时地在纸带上来回的游荡。艾伦每次经过都改变一次格子的颜色。人们并不能理解这样无序地游荡有什么意义,可是艾伦却乐此不疲地在这个纸带上运动。
突然有一天,艾伦停止了这种运动,他在纸带的尽头停了下来,开心地宣告:这个世界上所有可运算的问题都可以由我来计算。
那一天,整个世界都有了光!
对于艾伦的宣告,哲人们一向是半信半疑的。可是时间的车轮滚滚向前,这个宣告一直没有被证实或者证伪。
在艾伦的工作基础上,世界分成了两大流派。一派是艾伦的鉴定信仰者,他们将艾伦当做祖师爷,不停地研究,改善,仿制那个机器。他们被称作计算机学家。他们构建出了庞大的机器,可以在瞬间进行大数值的运算;他们也会将机器袖珍化,一个被握在掌心的玩物也可以进行复杂的运算。
另一派则选择了去探寻可计算的理论,他们想要推断这个世界上是不是所有问题都是可以计算的,如果可以,是不是真的可以由一个机器来完成这样的计算。在这之上,诞生了数理逻辑派,于此之上,他们抽象出了一个学科,名叫数学。
亿万年下来,计算机科学与数学都在各自的领域往前走了很久,世界也变得多姿多彩起来。这里不仅诞生了科学,还诞生了艺术与文学。
世界也不再是空荡荡地一片安静,这里有着各式各样的造物。各种精美的器具,建筑,奇观被建造了出来。
当孩子问起这个世界被怎么建造起来时,家长们会满怀葱白的告诉他们:原来我们这个世界是一片安静的,有一天,上帝说,这个世界要有光,于是这个世界便有了光。然后,上帝就用光创造了万物。
那么这个上帝他有名字吗?
有的,他叫艾伦.麦席森.图灵
--------图灵机的创造与原理----------
图灵机就是我身上这个东西,关于可计算理论,关于数理逻辑,关于数学
上班,这个空了再说。