双曲平面上的多米诺骨牌问题是不可判定的
The Domino Problem of the Hyperbolic Plane Is Undecidable
摘要：
在本文中，我们证明了一般平铺问题的双曲平面是不可判定的证明一个稍微强的版本，只使用一个正多边形作为基本形状的瓷砖。这个问题是由拉斐尔·罗宾逊在1971年的一篇论文中提出的，在他著名的简化证明中，一般平铺问题对于欧几里得平面是不可判定的，最初由罗伯特·伯杰在1966年证明。
英文摘要：
In this paper, we prove that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael Robinson in 1971, in his famous simplified proof that the general tiling problem is undecidable for the Euclidean plane, initially proved by Robert Berger in 1966.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
