对于图灵真🍳🌇☤人第一个站🛫起来,王崎丝毫不😲🅘感到意外。
因为,在地球上,写出《论可计算数及其在判定问题上的应用》的学🞕📾☺者,名字叫做阿兰·图灵图灵💐🐿🅨真人的同位体。
王崎相信,即使自己不发表这一篇论文,那么这位☉♍逍遥修士也会在三五🏎年之后发表出相似的论文。
当然,王崎并不觉得自己这样算是剽窃实际上也很难界定这种情况。两个👙世界的历史虽然存在一定的相似之处,但是图灵真人毕竟不是那个阿兰·图灵。在这个世界的历史上,图灵真人并没有迸发出🄄灵感来解决这个判定性问题。
而且王崎上辈子作为一个物理学家,也没有无聊到将不可判定性的论文背下来。那一篇论文⛶,是王💐🐿🅨崎自己独立推导完成的,绝大部分都是王崎自己的原创内容。
但即便是如此,🂍🍢王崎依旧对图灵😬🄢真人恭敬一礼:“不敢当。若是没有我,真人再过三五年,亦是能够求出这一重道理。
图灵摆摆手:“这可就未必了。我确实是有一点这方面的想法,不过我这个人性子散漫,要么在万仙幻境里消磨时间,要么在扶桑闲晃,在专注上倒是不如诸多道友了。对我来说,你这是省了我数年的苦工啊!而且这不可判定一处,万仙幻境很多在逻辑上的问题就🐶🄚可以绕解决了。再给我一年……不至多半年。我就可以让万仙幻境再更新一代!”
算器,始终是建立在逻辑之上的。
不完备😗🁝,不可判定🏀🖽😊,都是算理逻辑领域的重大突破。🐖
这样的突破🍳🌇☤,又怎么可能会不带动算器🜏的发展?
而算🅳💗器😗🁝的发展意味着什么?万仙😬🄢幻境的全面升级!
万仙幻😗🁝境。乃是仙盟目前最大的倚仗之一。可以说,若大仙盟之所以能够运转有度,这万仙幻境功不可没。
可以说,这🍳🌇☤绝对🂍🍢是最近几十年,实际🕟意义最大的理论之一。
它甚至有可能开启一个时代!
算君表情有些悻悻。他觉得,🈖自己刚刚才说王崎的理论百无一用,结果这边的人就大声称赞。这实在是很不给他面子。只不过。他对算器也📬是颇为感兴趣的。反正在这里也没人敢笑他不知羞,于是他干脆越过人群,直接找图灵真人讨论起来了。
他并非不懂集合论,只是🔽🆇反对将集合论作为算学🕤的根基,讨厌将集合论做成文字游戏。对于算器,他还是很喜欢的。
而更多的人,则将目光投射到王崎身上。
“啪啪啪。”
第一道掌声响起之后。才有第二道、第三道……越来越多的逍遥修士开🏎始鼓掌。稀稀落落的掌声逐渐连成一片。
正如冯😗🁝落🟋🛧🞴衣所说,不管他们承不承认,算学的历史,又翻开了新的🂀一页。
这就像他🟋🛧🞴们的意志无法决定太阳是否从东面出来一样。