第320章 陆家义的专属尤里卡（1）(4/5)

里，陆家义开始在黑板上画起了在自己房间的卫生间里看到的正方形瓷砖图案，以及在研究楼接待室使用的正六边形瓷砖图案。

    “这两种就是‘周期性密铺’解决‘铺砖问题’。当然了，我画在黑板上的铺砖是非常简单的方法。在我之前，国外有一位华裔数理逻辑学家——王浩教授，在1960年创立了“骨牌游戏理论”这一新的算法理论。他利用这种理论作为工具来解决‘判定问题’。这一理论所研究的问题，是一种直观上非常清楚而简单的问题，也就是我刚提到的‘铺砖问题’。实现非周期性平铺的瓷砖也被称为‘王浩瓷砖’或者‘王氏瓷砖’。”

    “在研究图灵可计算函数的时候，王浩教授发现，某个可判定性命题与非周期密铺密切相关。他一度尝试证明一种猜想：如果对某类瓷砖存在一般意义上的非周期密铺，那么也一定存在周期性的密铺。

    “但是不久后，王浩的学生robert berr构造出了反例，他用种不同的瓷砖构造了本质上的非周期密铺——无论怎么重新铺排，都不会出现周期性结构。

    “此后，数学家对本质非周期密铺给与了持续的关注度。数学界渴望了解，是否可以用更少种数目的瓷砖集构造出非周期密铺。

    “对于该问题在二维平面上的情形下，目前的答案是：牛津大学数学系名誉教授罗杰·彭罗斯（ror penrose）【5】在不久前刚刚简化到了2种完全不同的基本形状。”

    陆家义说到这里，整个大厅里忽然安静到落针可闻。

    紧接着，陆家义在冯琪诺的帮助下，画出了彭罗斯的答案【6】。

    然而，陆家义在画出了“彭罗斯瓷砖”后，他想到了些什么，但却难以捕捉。

    过了近一分钟后，陆家义摇了摇头：“然而，时至今日，我仍旧觉得，即使是在只允许旋转和平移，而不允许镜像对称的条件下，2种也实在太多了。而且，彭罗斯教授给出的还是完全不同的基本图形。如果禁止镜像对称，对现在的我来说，有些苛刻。但是如果把条件调整到允许旋转、平移与镜像对称，或许就存在这样的可能了。”

    随着陆家义确实已经停止发言、开始陷入思考中，冯琪诺在深思熟虑之后，忽然用英语对在场的所有人