尤基挠了挠头:“这就是……你让我记着的东西?”
图灵机。
“这件事,等有机遇我再跟你细说。”向山拍了拍尤基的背:“好了,好孩子现在就回家吧。”
尤基看着向山的劳动。
尤基鼓掌。掌声当中有三分对付,也有三分朴拙:“但是向山,这和我们说的‘内功’……有甚么干系……”
“甚么啊?”从镇子东头的废旧零件回收箱那边分开以后,尤基变得气哼哼的:“阿谁老头儿!”
“‘内功’在陈腐的期间,也被称作‘骇客技术’。但那些原始的骇客不能像现在的侠客一样,用生物脑直观的把持代码与计算资本。他们必须面对叫做‘屏幕’的输出设备,然后用叫做‘键盘’的输入设备干与阿谁天下――这只是凡人的层次罢了。侠客的‘内功’,比阿谁要奇异一百倍。只不过从本源上看,内功确切是骇客技术的演变产品。”
那是一个非常小的星环。
“你传闻过的统统武功,包含你在残奥会上见到的,以及我和那条狗用过的,都不过是外门武学。”向山闭着眼睛:“当然,相对的,还存在‘内家功法’。”
只要把握了元数学,就即是把握了统统数学。
他熟谙这个布局。
向山将那些废旧零件,拼成了一个丑恶至极的简朴机器。它没有能源部分,是齿轮布局的,摩擦力会将使得动能从一个齿轮通报到另一个齿轮上……它乃至另有一个作为动力源的摇杆手柄。
1920年,彼时天下上最巨大的数学家,哥廷根学派的带领者,闻名的“二十三个题目”的提出者,大卫・希尔伯特向着“数学”的本源建议了冲锋。他提出了“元数学”的理念――也就是“研讨数学的数学”。
这个东西蛮丑蛮粗陋的,更别说为了让齿轮能够完成这最后一次运转,向山用上了统统看管人老头送的光滑剂。这使得这东西看上去黑油油的,分外恶心。
但向山倒也不需求甚么太好的零件。
这是充满了“聪明”的布局。
向山手上的活计略微停下几秒。
可计算性,统统的数学证明,能通过一个可行的过程和有限次运算来获得。
他看到玉轮上有一道肉眼可见的线条,很像是面饼上的一道划痕。与此同时,玉轮光晕以内,多出了一条肉眼难以辨识的细线。
但他们却遭受了料想以外的胶葛。
而元数学的核心,则是三个论题――关于完整性、分歧性和可计算性。
“向山……”尤基很不美意义的指出一点:“看上去很像是废铁。”