十一块瓦的逻辑极限

上一站把对称拆掉，这一站把「瓦片」还原成最素的样子：正方块 + 四条彩色边，不许旋转，只要求相邻边的颜色相同。1961 年王浩为研究逻辑判定问题发明了它们，并留下一个惊人的猜想链：拼图游戏居然能问出「程序会不会停机」这种不可判定的问题；而「只铺不重」的非周期瓦片集，从 Berger 的 20426 块一路瘦身为 2015 年 Jeandel–Rao 的 11 块——并用计算机证明了这是极限。本页全部拼片由引擎实时求解生成：白边锁扣、频率不均、无小周期，都能亲手读出。